Logic Package Operators - Maple Help

Online Help

All Products    Maple    MapleSim


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

Logic Package Operators

Description

• 

The Logic package uses a two-valued logic system, while standard Maple logic is three-valued.  For this reason, all Boolean expressions used in the Logic package must be expressed in terms of the operators &and, &iff, &implies, &nand, &nor, &not, &or, and &xor.

• 

You may either enter expressions in terms of these operators directly into Maple, or transform expressions of type logical into expressions in terms of these operators with the Logic[Import] command.

Precedence

• 

Note that the Logic package operators do not have the same precedence as corresponding three-valued operators.  In particular, all operators have the same precedence, so a&orb&andc is equivalent to a &or b &and c, not a &or b &and c. Parentheses should be used to correctly specify the precedence.

Examples

withLogic:

Exporta &or b,form=MOD2

1+a+1b+1

(1)

Exporta &nor b &and c &or b

notaorbandcorb

(2)

Importaborc

Logic:-&impliesa,b &or c

(3)

Export`&not`a &or b &xor c &nand b,form=boolean

notnotaorbxorcandb

(4)

See Also

Logic, Logic[Environment], Logic[Export], Logic[Import], type,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