IsBiUnateFunction IsBlankFunction IsEqual IsLinearFunction IsMonotonicFunction IsSelfDualFunction IsSymmetricFunctionTo IsUnateFunctionTo AndOr AndXor binary() Binary PureBinary StringToBinaryNumber binaryioset() AddXorTerm minterm Minus To2LayerNor MaxSAT ToDigitalSystem To2layerOrAnd Simplification HuffmanMealy DontCare TimingChart RandomGenerate Substitute var Zero