IsPositiveUnateFunctionTo IsSelfAntiDualFunction And AndOr BCD TwoComplement Equiv FeedbackDiagram long minterm Minus Not LeastSignificantDigit MantissaToPositiveDecimal PositiveDecimalToMantissa ShortestInputsForDistinguishTwoStates StateVariables CreateCompactTableWithFullSimplification Implementation Balanced FastVerificationData Canonical string GetNegativeLogicFunction Utility ComputeDONTCARE CreateDummyLogicFunction EnlargeLogicFunction Normalization Zero