Logic - Maple Programming Help

Online Help

All Products    Maple    MapleSim


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

Logic

  

Normalize

  

normalize a Boolean expression

  

Convert

  

convert a Boolean expression

 

Calling Sequence

Parameters

Options

Description

Examples

Compatibility

Calling Sequence

Normalize(b, form)

Convert(b, form)

Parameters

b

-

Boolean expression

form

-

(optional) expression where form=CNF, DNF, or NNF

Options

• 

The permissible options are described in this section.

  

form=f

  

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.

Description

• 

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.

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)

Normalizea &or `&not`b &or c &and d,form=NNF

a¬b¬c¬d

(4)

Compatibility

• 

The Logic[Normalize] command was updated in Maple 2018.

See Also

expand

Logic

Logic/BooleanSimplify

Logic/Canonicalize