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 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 ¬ fixed, and extending to the remaining Boolean operators by their formulas in terms of &and, &or, and ¬.

Examples

 > $\mathrm{with}\left(\mathrm{Logic}\right):$
 > $\mathrm{Dual}\left(\left(a&and\mathrm{¬}\left(a\right)\right)=\mathrm{false}\right)$
 ${a}{\vee }{¬}{a}{=}{\mathrm{true}}$ (1)
 > $\mathrm{Dual}\left(a&impliesb\right)$
 ${¬}{b}{⇒}{a}$ (2)
 > $\mathrm{Dual}\left(\mathrm{¬}\left(a\right)&norb&iffc\right)$
 ${\mathrm{Logic:-&xor}}{}\left({\mathrm{Logic:-&nand}}{}\left({¬}{a}{,}{b}\right){,}{c}\right)$ (3)

 See Also

## Was this information helpful?

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