IsBiUnateFunctionTo IsNegativeUnateFunctionTo IsUnateFunctionTo BDD ToAndOr MaxValue StringToBinaryNumber ToDualFunction ToXORP DigitalSystem FeedbackSystem minterm MantissaToPositiveDecimal PositiveIntegerToMantissa PositiveNumberToMantissa Radixes PermutationMatrix real To2LayerNor Save ToStateTransitionTable string() CreateFromLogicFunctions ComputeDONTCARE ComputeFunctionOrder CreateDummyLogicFunction Normalization var XORP Zero