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
IsBiUnateFunction IsInverse IsThresholdFunction ToBinary GrayCode binaryioset ToOrAnd ToDualFunction ToPOS DiagramGateName list() logicvardef long() minterm Nand Print real Realization SOP StateTransitionBasedly Compatibility FastVerificationData Full MultiCover Shannon TruthTable RandomGenerate AdjustLogicVariableCount ShrinkLogicFunction Zero