Logic - Maple Help

Online Help

All Products    Maple    MapleSim


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

Logic

  

Dual

  

construct the dual of a Boolean expression

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

Dual(b)

Parameters

b

-

Boolean expression

Description

• 

The Dual command returns the dual of the Boolean expression b, that is, the expression generated by replacing &and with &or, &or with &and, leaving &not fixed, and extending to the remaining Boolean operators by their formulas in terms of &and, &or, and &not.

Examples

withLogic:

Duala &and `&not`a=false

a¬a=true

(1)

Duala &implies b

¬ba

(2)

Dual`&not`a &nor b &iff c

Logic:-&xorLogic:-&nand¬a,b,c

(3)

See Also

Logic

simplex/dual

 


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