Advanced Analysis IsNegativeUnateFunctionTo IsOneFunction IsUnateFunctionTo BDD ToBinary ToTruthTable DigitalSystem Count logicvardef() minterm Minus Not PositiveIntegerToMantissa One PermutationMatrix SOP AutoAssignInputAndStateVariables InputVariables Simplification Compatibility FastVerificationData MultiCover TruthTable CreateFromLogicFunctions Normalization SemanticEval Xor Zero