Overview of the Logic Package
Calling SequenceDescriptionList of Logic Package Commands
<Text-field style="Heading 2" layout="Heading 2" bookmark="usage">Calling Sequence</Text-field>
Logic[command](arguments)]
command(arguments)
<Text-field style="Heading 2" layout="Heading 2" bookmark="info">Description</Text-field>
The Logic package is a collection of commands for inspecting, manipulating and transforming formulae in propositional logic.
In general Maple, commands use ternary (three-valued) logic. The Logic package employs a logical system with only two truth values (true and false).
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.
<Text-field style="Heading 2" layout="Heading 2" bookmark="bkmrk0">List of Logic Package Commands</Text-field>
The following is a list of available commands.&and&iff&implies&nand&nor¬&or&xorBooleanSimplifyCanonicalizeComplementContradictionConvertDualEnvironmentEquivalentExportImpliesImportNormalizeParityRandomSatisfiableSatisfyTautologyTruthTableTseitin
To display the help page for a particular Logic command, see Getting Help with a Command in a Package.
See Alsobooleanevalblogical