BDD
Back to table
/*
LogicObject
BDD
[BDD f]=BDD(inputindexes){ nodes; };
Define a combinatorial logic-object in the form of BDD (binary decision diagram)
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
MatchLogicFunction Analysis IsLinearFunction IsParityFunction IsSelfDualFunction AndOr GrayCode binary binaryioset ToDiagram DigitalSystem Count logicvardef() POS To2LayerNand ShortestInputsForDistinguishTwoStates Assign InputVariables Backwardly Forwardly CreateCompactTableWithFullSimplification To2layerOrAnd ShannonTree SimpleCover StateDeviceName ComputeDONTCARE ComputeFunctionOrder EnlargeLogicFunction ShannonExpansion Zero