MatchLogicFunction IsBiUnateFunction IsSymmetricFunctionTo IsUnateFunction BDD PureBinary binary Convert ToAndXor ToTruthTable Dimacs Email Load Nand Not MantissaToPositiveInteger MantissaToPositiveNumber PositiveIntegerToMantissa POS real() SOP InputVariables ToStateTransitionTable BestVariableOrder Canonical ComputeFunctionOrder Normalization SemanticEval Substitute Zero