construct the dual of a Boolean expression - 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

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 &or &nota=true

(1)

Duala &implies b

Logic:-&implies&nota,&notb

(2)

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

&nota &nand b &xor 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