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
IsBlankFunction IsPositiveUnateFunctionTo IsSymmetricFunctionTo IsUnateFunctionTo AbsoluteExpression binaryioset Convert ToTruthTable list() logicvardef() long() minterm() minterm Minus PositiveIntegerToMantissa Print To2LayerOrAnd ToFullAnd InputVariables Forwardly FullTable BestVariableOrder RandomGenerate Utility AdjustLogicVariableCount CreateDummyLogicFunction EnlargeLogicFunction Substitute var() Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.