Advanced IsPositiveUnateFunctionTo BDD ToAndOr Binary AbsoluteExpression OneComplement bool ToDiagram ToSOP Eq list() long() Nor MantissaToPositiveDecimal MantissaToPositiveInteger Solve Save ShortestInputsForTransition Backwardly Forwardly ToFeedbackSystem Compatibility BestVariableOrder SimpleCover GetSubTable AdjustLogicVariableCount SemanticEval var() Zero