Analysis IsBiUnateFunctionTo IsCovering IsEqual IsLinearFunction IsSymmetricFunction ToAndOr BCDEx3 BinaryNumberToString AddXorTerm ToXORP DiagramGateName Count logicvardef minterm Nor MantissaToPositiveInteger PositiveDecimalToMantissa object Solve Assign Backwardly OutputAndStateBasedly CreateCompactTableWithFullSimplification ToDigitalSystem SimpleInner TruthTable IndependentBase XORP Zero