Advanced IsBiUnateFunction IsNegativeUnateFunctionTo IsSelfAntiDualFunction And AndOr BDD PureBinary binaryioset() bool() Convert ToVariableInvertedFunction minterm() MantissaToPositiveNumber object real To2LayerNor Save Forwardly GetExcitationTable Compatibility ROBDD Canonical Full Shannon CreateFromLogicFunctions Utility SemanticEval var Zero