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 IsEqual IsSelfDualFunction IsSymmetricFunctionTo binary() MaxValue ToOrAnd ToDiagram ToPOS Diagram ExcitationTable FeedbackSystem Get long Nand NumberSystem MostSignificantDigit RadixToIndex real() To2LayerNand Solve Save StateTransitionBasedly GetExcitationTable SimpleInner string() AdjustLogicVariableCount SemanticEval var Zero

搜索本網站 :

 
Buy website traffic cheap