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
IsLinearFunction IsPositiveUnateFunctionTo IsSelfDualFunction IsZeroFunction AndOr BDD MaxValue BCDEx3 TwoComplement ToAndXor ToShannonTree ToSOP Equiv ExcitationTable logicvardef() minterm() PermutationMatrix real To2LayerNand MaxSAT ShortestInputsForDistinguishTwoStates ShortestInputsForTransition Forwardly GetExcitationTable StateDeviceName TimingChart GetPositiveLogicFunction RandomGenerate ShannonExpansion Zero