IsEqual IsMonotonicFunction IsPositiveFunction IsSelfAntiDualFunction AndXor Binary GrayCode PureBinary ToDiagram ToTruthTable Diagram Dimacs Email long() Radixes RadixFromIndex Or Save ShortestInputsForDistinguishTwoStates Implementation Balanced GetPositiveLogicFunction GetSubTable RandomGenerate Utility ComputeFunctionOrder Normalization Substitute XORP Zero