IsBiUnateFunctionTo IsCovering IsEqual AbsoluteExpression FromBinary MinValue NineComplement StringToBinaryNumber TwoComplement ToAndXor Get logicvardef() long Minus Nand PositiveIntegerToMantissa OrAnd Realization ShortestInputsForDistinguishTwoStates CreateCompactTable GetExcitationTable Canonical MultiCover SimpleCover TruthTable AdjustLogicVariableCount ComputeDONTCARE EnlargeLogicFunction ShrinkLogicFunction Zero