get a canonical representation of an expression - Maple Help

Online Help

All Products    Maple    MapleSim

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

Logic[Canonicalize] - get a canonical representation of an expression

Calling Sequence

Canonicalize(b, alpha, form)




Boolean expression



(optional) set or list of names



(optional) expression of the form form=fname



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.



Canonicalizea &and b,a,b,c

a &and b &and c &or a &and b &and &notc


Canonicalizea &xor b,form=MOD2



Canonicalizea &xor b,a,b,form=CNF

a &or b &and &nota &or &notb


Canonicalizea &xor b,a,b,form=DNF

a &and &notb &or b &and &nota


See Also

Logic, Logic/BooleanSimplify, Logic/Normalize

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