IsBiUnateFunctionTo IsEqual IsNegativeUnateFunctionTo IsOneFunction IsParityFunction IsZeroFunction binary() BCD OneComplement binaryioset ToDualFunction ToShannonTree DigitalSystem Dimacs Eq Equiv ExcitationTable logicvardef() minterm Minus MantissaToPositiveNumber One Save Backwardly To2layerOrAnd HuffmanMealy Balanced FastVerificationData TimingChart Zero