normalize a Boolean expression - 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)$
 ${\mathrm{¬}}{}\left({a}\right){&or}{\mathrm{¬}}{}\left({b}\right)$ (1)
 > $\mathrm{Normalize}\left(a&and\left(b&orc\right)\right)$
 ${a}{&and}{b}{&or}{a}{&and}{c}$ (2)
 > $\mathrm{Normalize}\left(\mathrm{¬}\left(a&orb\right),\mathrm{form}=\mathrm{CNF}\right)$
 ${\mathrm{¬}}{}\left({a}\right){&and}{\mathrm{¬}}{}\left({b}\right)$ (3)