PermuteLogicFunction IsLinearFunction IsNegativeUnateFunctionTo AndXor MaxValue BCD BCDEx3 bool() ToNotFunction ToPOS ToVariableInvertedFunction ToXORP FeedbackSystem long() minterm() object() One Or real Save ShortestInputsForDistinguishTwoStates TransitionSeries Compatibility HuffmanMealy Balanced StateTransition string GetSubTable Normalization Zero