TruthTable.CreateFromLogicFunctions
Back to table
/*
Logic-Function-Analysis
TruthTable.CreateFromLogicFunctions
[TruthTable table]=TruthTable.CreateFromLogicFunctions(LogicFunction[] flist);
Compose a TruthTable from logic objects.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
MatchLogicFunction IsBiUnateFunction IsSymmetricFunctionTo IsUnateFunction BDD PureBinary binary Convert ToAndXor ToTruthTable Dimacs Email Load Nand Not MantissaToPositiveInteger MantissaToPositiveNumber PositiveIntegerToMantissa POS real() SOP InputVariables ToStateTransitionTable BestVariableOrder Canonical ComputeFunctionOrder Normalization SemanticEval Substitute Zero