Convert.ToAndOr
Back to table
/*
Logic-Function-Analysis
Convert.ToAndOr
[AndOr g]=Convert.ToAndOr(LogicFunction f);
f : a logic function
g : a logic function in the AndOr form.
Convert the first sub logic function to the AndOr form
*/
//-------------------------------------------------------------------
// examples
[table]=TruthTable()
{
2'b00 => 4'b1000;
2'b01 => 4'b0100;
2'b10 => 4'b0010;
2'b11 => 4'b0001;
}
[glist]=Convert.ToAndOr(table);
Print(table,glist);
//-------------------------------------------------------------------
// result
IsZeroFunction ToAndOr Binary BCD GrayCode StringToBinaryNumber ToDiagram ToPOS ToROBDD ToVariableInvertedFunction ToXORP minterm Nand object() One To2LayerOrAnd Save Assign OutputAndStateBasedly StateTransitionBasedly ToFeedbackSystem FastVerificationData GetPositiveLogicFunction AdjustLogicVariableCount EnlargeLogicFunction IndependentBase Normalization SemanticEval XORP Zero