IsBiUnateFunction IsBlankFunction IsInverse AndXor List BCDEx3 NineComplement PureBinary Convert ToOrAnd ExcitationTable list() MantissaToPositiveDecimal MantissaToPositiveNumber MostSignificantDigit PositiveIntegerToMantissa ShortestInputsForDistinguishTwoStates StateTransitionBasedly ToStateTransitionTable CreateCompactTable To2layerOrAnd Compatibility ShannonTree Balanced BestVariableOrder TimingChart CreateFromLogicFunctions GetPositiveLogicFunction XORP Zero