TruthTable
Back to table
/*
LogicObject
TruthTable
[TruthTable f]=TruthTable(inputindexes){ rows; };
Define a combinatorial logic-object in the form of truth-table
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
Advanced Analysis IsMonotonicFunction And List binary AddXorTerm ToPOS ToROBDD ToVariableInvertedFunction DiagramGateName Dimacs Load long Nor Not PositiveDecimalToMantissa RadixFromIndex OrAnd POS To2LayerAndOr ToFullAnd InputVariables Backwardly FastVerificationData SimpleCover StateTransition RandomGenerate ComputeDONTCARE Zero