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
IsBlankFunction IsCovering IsPositiveFunction binary() List MaxValue ToBinary BCDEx3 BinaryNumberToString Get MostSignificantDigit PositiveDecimalToMantissa Radixes Realization To2LayerOrAnd To2LayerAndXor Forwardly StateVariables ToDigitalSystem Simplification HuffmanMealy Canonical Full StateDeviceName StateTransition GetDontCareLogicFunction ComputeFunctionOrder IndependentBase var() Zero