PermuteLogicFunction IsBiUnateFunction IsCovering IsSelfAntiDualFunction binary() GrayCode NineComplement ToAndXor ToVariableInvertedFunction ExcitationTable Imply Not NumberSystem MantissaToPositiveInteger PositiveIntegerToMantissa Sequential TransitionSeries Assign AutoAssignInputAndStateVariables InputVariables DontCare Shannon StateDeviceName string() GetSubTable ComputeFunctionOrder EnlargeLogicFunction ShannonExpansion XORP Zero