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
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.