Overview of the Logic Package - Maple Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Programming : Logic : Boolean : Logic Package : Logic

Overview of the Logic Package

Calling Sequence

Logic[command](arguments)]

command(arguments)

Description

• 

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.

List of Logic Package Commands

  

The following is a list of available commands.

&and

&iff

&implies

&nand

&nor

&not

&or

&xor

BooleanSimplify

Canonicalize

Contradiction

Dual

Environment

Equivalent

Export

Implies

Import

Normalize

Random

Satisfy

Tautology

TruthTable

 

 

  

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

See Also

boolean, evalb, logical


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam