MatchLogicFunction IsBiUnateFunctionTo IsCovering IsInverse List GrayCode TwoComplement Convert ToSOP ToXORP Dimacs Email Minus PositiveIntegerToMantissa object One real Save AutoAssignInputAndStateVariables Forwardly OutputAndStateBasedly Implementation Simplification Compatibility string() TruthTable AdjustLogicVariableCount Normalization var() Zero