|
Logic[Dual] - construct the dual of a 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
|
|
|
>
|
|
|
>
|
|
|
| (1) |
|
>
|
|
|
| (2) |
|
>
|
|
|
| (3) |
|
|
Download Help Document
Was this information helpful?
