Analysis IsCovering IsEqual IsLinearFunction AndXor binary() PureBinary StringToBinaryNumber binary binaryioset Convert ToAndXor ToNotFunction ToTruthTable DigitalSystem Nor MantissaToPositiveNumber PositiveIntegerToMantissa Or Realization To2LayerNand ToFullAnd ROBDD Canonical SimpleCover string() TruthTable ComputeFunctionOrder Xor Zero