IsInverse IsMonotonicFunction MinValue GrayCode bool ToOrAnd ToNotFunction ToROBDD ToVariableInvertedFunction FeedbackDiagram long minterm() MantissaToPositiveNumber MostSignificantDigit To2LayerAndOr To2LayerAndXor SAT MaxSAT Sequential ShortestInputsForDistinguishTwoStates Assign AutoAssignInputAndStateVariables StateVariables FullTable HuffmanMealy CreateFromLogicFunctions GetNegativeLogicFunction SemanticEval Substitute Zero