Analysis IsSymmetricFunctionTo IsThresholdFunction ToAndOr AbsoluteExpression MinValue ToBinary BCDEx3 ToShannonTree ToTruthTable ToXORP Dimacs Email FeedbackDiagram MantissaToPositiveInteger PositiveDecimalToMantissa RadixToIndex OrAnd To2LayerAndXor To2LayerNand GetExcitationTable Implementation ToDigitalSystem BestVariableOrder ROBDD DontCare Full CreateDummyLogicFunction var Zero