MatchLogicFunction IsBiUnateFunction IsBiUnateFunctionTo IsPositiveUnateFunctionTo IsSelfDualFunction MinValue binary ToDualFunction Eq ExcitationTable logicvardef long() minterm() NumberSystem MantissaToPositiveInteger PositiveDecimalToMantissa Radixes real() Solve Backwardly OutputAndStateBasedly CreateCompactTableWithFullSimplification GetExcitationTable HuffmanMealy SimpleCover RandomGenerate EnlargeLogicFunction SemanticEval var() Zero