MatchLogicFunction IsBlankFunction IsCovering IsEqual IsLinearFunction IsSelfDualFunction IsUnateFunction StringToBinaryNumber binary binaryioset ToNotFunction ToXORP DigitalSystem list() Load Nor NumberSystem PositiveDecimalToMantissa Radixes real() Save Backwardly DontCare Shannon ComputeFunctionOrder EnlargeLogicFunction SemanticEval ShrinkLogicFunction XORP Zero