Logic - Maple Programming Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Logic : Logic/Complement

Logic

  

Complement

  

construct the complement of a Boolean expression

 

Calling Sequence

Parameters

Description

Examples

Compatibility

Calling Sequence

Complement(b)

Parameters

b

-

Boolean expression

Description

• 

The Complement command returns the complement of the Boolean expression b, that is, the expression generated by replacing &and with &or, &or with &and, negating all variable instances, and extending to the remaining Boolean operators by their formulas in terms of &and, &or, and &not.

• 

The resulting expression will be equivalent to not b in truth value.

Examples

withLogic:

Complementa&and&nota=false

¬aa=true

(1)

Complementa&impliesb

¬¬b¬a

(2)

Complement&nota&norb&iffc

a¬b¬c

(3)

Compatibility

• 

The Logic[Complement] command was introduced in Maple 2016.

• 

For more information on Maple 2016 changes, see Updates in Maple 2016.

See Also

Logic

Logic[Dual]