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 PermuteLogicFunction IsParityFunction AndXor FromBinary BCDEx3 BinaryNumberToString StringToBinaryNumber TwoComplement ToTruthTable Email ExcitationTable minterm() LeastSignificantDigit Or OrAnd real() real To2LayerAndXor Solve To2layerOrAnd FastVerificationData Canonical SimpleCover StateDeviceName string() GetPositiveLogicFunction AdjustLogicVariableCount var Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.