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





Advanced IsNegativeUnateFunctionTo AndXor List StringToBinaryNumber bool ToROBDD DiagramGateName Equiv logicvardef long LeastSignificantDigit PositiveIntegerToMantissa RadixToIndex SOP To2LayerAndXor ToFullAnd MaxSAT Sequential Forwardly OutputAndStateBasedly CreateCompactTable To2layerOrAnd HuffmanMealy SimpleInner StateDeviceName ComputeFunctionOrder EnlargeLogicFunction Xor Zero

Search This Website :

 
Buy website traffic cheap