Advanced IsBiUnateFunctionTo IsUnateFunction Binary AbsoluteExpression BCD StringToBinaryNumber ToSOP DigitalSystem Eq long() minterm() Minus MantissaToPositiveInteger MantissaToPositiveNumber object To2LayerAndXor ShortestInputsForTransition StateVariables StateTransitionBasedly ToStateTransitionTable ShannonTree Balanced FastVerificationData SimpleCover CreateFromLogicFunctions GetPositiveLogicFunction EnlargeLogicFunction XORP Zero