IsOneFunction IsPositiveUnateFunctionTo IsUnateFunction binary() Binary MaxValue ToTruthTable Diagram Get logicvardef() long minterm() LeastSignificantDigit MantissaToPositiveNumber PositiveDecimalToMantissa Radixes object() PermutationMatrix Print ToFullAnd ShortestInputsForTransition Assign CreateCompactTableWithFullSimplification HuffmanMealy Canonical StateTransition EnlargeLogicFunction IndependentBase var Zero