The Logic package is a collection of commands for manipulating and transforming expressions using two-valued Boolean logic.

The Logic package uses its own set of logical operators. For information on using these operators, see Logic,operators.

Each command in the Logic package can be accessed by using either the long form or the short form of the command name in the command calling sequence.

The following is a list of available commands.

To display the help page for a particular Logic command, see Getting Help with a Command in a Package.