IsMonotonicFunction IsNegativeUnateFunctionTo IsSelfAntiDualFunction GrayCode TwoComplement binary binaryioset() ToDualFunction ToROBDD ToTruthTable ToXORP Diagram Eq LogicScript Minus Nand NumberSystem MantissaToPositiveDecimal RadixFromIndex One To2LayerOrAnd Solve Assign InputVariables CreateCompactTable Simplification ShannonTree ROBDD IndependentBase Zero