Logic - 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

Parameters

Description

Examples

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

¬a¬b

(1)

Normalizea &and b &or c

abac

(2)

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

¬a¬b

(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