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





Analysis IsCovering IsInverse IsNegativeUnateFunctionTo IsPositiveUnateFunctionTo IsSelfAntiDualFunction IsSelfDualFunction IsSymmetricFunction BinaryNumberToString TwoComplement ToDualFunction ToShannonTree Load minterm() Nand MostSignificantDigit PositiveNumberToMantissa Radixes MaxSAT Assign Simplification FullTable HuffmanMealy Full TruthTable CreateFromLogicFunctions GetNegativeLogicFunction AdjustLogicVariableCount ShrinkLogicFunction Zero

搜索本網站 :

 
Buy website traffic cheap