IsInverse IsParityFunction IsSymmetricFunctionTo IsThresholdFunction IsZeroFunction AndOr binary() BCDEx3 TwoComplement bool() ToOrAnd ToPOS DiagramGateName Count logicvardef() PositiveDecimalToMantissa PositiveIntegerToMantissa Radixes object Or ToStateTransitionTable GetExcitationTable ShannonTree ROBDD StateTransition string() TruthTable GetPositiveLogicFunction AdjustLogicVariableCount Zero