|
Logic[Canonicalize] - get a canonical representation of an expression
|
|
Calling Sequence
|
|
Canonicalize(b, alpha, form)
|
|
|
Parameters
|
|
|
b
|
-
|
Boolean expression
|
|
alpha
|
-
|
(optional) set or list of names
|
|
form
|
-
|
(optional) expression of the form form=fname
|
|
|
|
|
|
Description
|
|
|
•
|
The Canonicalize command converts the given boolean expression to a canonical form.
|
|
•
|
The canonical form used is determined by the form=fname option. The default value for this option is DNF.
|
|
•
|
The canonical form is given with respect to the names given in alpha. Note that alpha is necessary when the form chosen is CNF or DNF.
|
|
|
|
Available Canonical Forms
|
|
|
|
The following is a list of available canonical forms.
|
|
•
|
MOD2 - The Boolean expression is converted to its equivalent modulo 2 canonical form.
|
|
•
|
CNF - The conjunctive normal form is returned.
|
|
•
|
DNF - The disjunctive normal form is returned.
|
|
|
|
Examples
|
|
|
>
|
|
|
>
|
|
|
| (1) |
|
>
|
|
|
| (2) |
|
>
|
|
|
| (3) |
|
>
|
|
|
| (4) |
|
|
Download Help Document
Was this information helpful?
