normalize a Boolean expression - Maple Help

Online Help

All Products    Maple    MapleSim


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

withLogic:

Normalize`&not`a &and b

&nota &or &notb

(1)

Normalizea &and b &or c

a &and b &or a &and c

(2)

Normalize`&not`a &or b,form=CNF

&nota &and &notb

(3)

See Also

expand, Logic, Logic/BooleanSimplify, Logic/Canonicalize


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