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 IsInverse IsPositiveUnateFunctionTo IsSelfDualFunction IsSymmetricFunctionTo binary() MinValue Convert ToDiagram ToDualFunction DigitalSystem Email Equiv Count Nor MantissaToPositiveInteger To2LayerAndXor ToFullAnd Solve Save Simplification FullTable ShannonTree Balanced SimpleCover SimpleInner RandomGenerate ComputeDONTCARE var Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.