normalize a Boolean expression
convert a Boolean expression
(optional) expression where form=CNF, DNF, or NNF
The permissible options are described in this section.
The normal form used is determined by the form option. The value of form may be CNF (conjunctive normal form), DNF (disjunctive normal form), or NNF (negation normal form) If no such option is given, disjunctive normal form is used.
The Normalize command transforms a given Boolean expression into a specific normal form.
The Convert command is a synonym for Normalize and behaves identically.
The transformation is performed by applying associativity and De Morgan's law to the given expression. Normalization to CNF or DNF additionally makes use of distributivity.
The resulting expression is not guaranteed to be unique or minimized.
Normalize⁡`¬`⁡a &and b
Normalize⁡a &and b &or c
Normalize⁡`¬`⁡a &or b,form=CNF
Normalize⁡a &or `¬`⁡b &or c &and d,form=NNF
The Logic[Normalize] command was updated in Maple 2018.
Download Help Document