MatchLogicFunction PermuteLogicFunction IsInverse IsLinearFunction IsOneFunction GrayCode binary bool() ToVariableInvertedFunction ToXORP Equiv PositiveDecimalToMantissa RadixFromIndex object() Or POS real() Realization ToFullAnd Solve TransitionSeries Assign StateVariables To2layerOrAnd ShannonTree Fast string ComputeDONTCARE ShannonExpansion Zero