TruthTable.ToAndOr
Back to table
/*
Logic-Function-Analysis
TruthTable.ToAndOr
[AndOr() g]=TruthTable.ToAndOr(TruthTable f);
f : a logic function in the TruthTable form
g : a list of logic function in the AndOr form
Convert a TruthTable to a list of the AndOr logic functions.
*/
//-------------------------------------------------------------------
// examples
[table]=TruthTable()
{
2'b00 => 4'b1000;
2'b01 => 4'b0100;
2'b10 => 4'b0010;
2'b11 => 4'b0001;
}
[flist]=TruthTable.ToAndOr(table);
f1=List.Get(flist,1);
f2=List.Get(flist,2);
[f3,f4]=TruthTable.ToAndOr(table);
[glist]=Convert.ToAndOr(table);
Print(flist,f1,f2,f3,f4,glist);
//-------------------------------------------------------------------
// result
MatchLogicFunction PermuteLogicFunction IsBiUnateFunctionTo IsInverse IsPositiveFunction IsSelfAntiDualFunction IsUnateFunctionTo AndXor ToAndOr binary() MinValue BCD binary Convert AddXorTerm ToShannonTree Diagram DiagramGateName FeedbackSystem logicvardef() Minus MostSignificantDigit PositiveDecimalToMantissa Solve StateTransitionBasedly BestVariableOrder GetPositiveLogicFunction CreateDummyLogicFunction EnlargeLogicFunction Zero