IsBiUnateFunction IsCovering IsInverse IsLinearFunction IsUnateFunctionTo AndXor FromBinary BinaryNumberToString GrayCode bool() bool ExcitationTable Get Load LogicScript long MantissaToPositiveInteger OrAnd Realization ShortestInputsForDistinguishTwoStates StateTransitionBasedly FullTable BestVariableOrder FastVerificationData SimpleCover SimpleInner CreateFromLogicFunctions GetNegativeLogicFunction XORP Zero