MatchLogicFunction PermuteLogicFunction IsBiUnateFunction IsCovering IsNegativeUnateFunctionTo IsPositiveUnateFunctionTo IsSymmetricFunctionTo IsUnateFunction IsZeroFunction MaxValue GrayCode NineComplement DiagramGateName Email FeedbackDiagram MantissaToPositiveInteger PositiveIntegerToMantissa PositiveNumberToMantissa Radixes To2LayerAndOr To2LayerAndXor To2layerOrAnd FastVerificationData StateDeviceName GetNegativeLogicFunction Normalization SemanticEval Substitute var() Zero