Advanced IsBiUnateFunctionTo IsThresholdFunction AndOr AndXor BDD MaxValue BCD OneComplement TwoComplement ToShannonTree FeedbackSystem LogicScript long() MostSignificantDigit PositiveDecimalToMantissa Print SAT StateVariables CreateCompactTable CreateCompactTableWithFullSimplification Implementation ToDigitalSystem SimpleCover GetNegativeLogicFunction AdjustLogicVariableCount ComputeDONTCARE SemanticEval ShrinkLogicFunction Zero