Logic - Maple Help

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

Logic

 Normalize
 normalize a Boolean expression

 Calling Sequence Normalize(b, form)

Parameters

 b - Boolean expression form - (optional) expression where form=DNF or form=CNF

Description

 • The Normalize command transforms a given Boolean expression into a specific normal form.
 • The normal form used is determined by the form option. The value of form may be DNF (disjunctive normal form) or CNF (conjunctive normal form). If no such option is given, disjunctive normal form is used.
 • The transformation is performed by applying the distributive law and De Morgan's law to the given expression.  The resulting expression is not guaranteed to be unique, minimized or in a canonical form.

Examples

 > $\mathrm{with}\left(\mathrm{Logic}\right):$
 > $\mathrm{Normalize}\left(\mathrm{¬}\left(a&andb\right)\right)$
 ${¬}{a}{\vee }{¬}{b}$ (1)
 > $\mathrm{Normalize}\left(a&and\left(b&orc\right)\right)$
 $\left({a}{\wedge }{b}\right){\vee }\left({a}{\wedge }{c}\right)$ (2)
 > $\mathrm{Normalize}\left(\mathrm{¬}\left(a&orb\right),\mathrm{form}=\mathrm{CNF}\right)$
 ${¬}{a}{\wedge }{¬}{b}$ (3)