IsParityFunction IsSelfAntiDualFunction IsSymmetricFunctionTo BCD TwoComplement ToAndXor AddXorTerm ToNotFunction ToROBDD ToSOP ToXORP Nand Nor MantissaToPositiveInteger Radixes To2LayerAndOr To2LayerNand TransitionSeries InputVariables ToStateTransitionTable CreateCompactTableWithFullSimplification FullTable Balanced MultiCover Shannon string() GetPositiveLogicFunction AdjustLogicVariableCount SemanticEval Zero