Logic - Maple Programming Help

Online Help

All Products    Maple    MapleSim


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

Logic

  

BooleanSimplify

  

simplify Boolean expression

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

BooleanSimplify(b)

Parameters

b

-

Boolean expression

Description

• 

The BooleanSimplify command returns a minimal sum of products expansion of the given Boolean expression.

• 

The expression returned is a minimal (irreducible) sum of prime implicants.

  

Note: BooleanSimplify does not guarantee that the returned expansion is a minimum sum of prime implicants.

Examples

withLogic:

BooleanSimplifya&ora&andb

a

(1)

BooleanSimplifya&andb&ora&and&notb

a

(2)

BooleanSimplifya&iffa&orb

a¬b

(3)

BooleanSimplify`&or`a&andb,&nota&andc,b&andc

abc¬a

(4)

See Also

Logic

Logic/Normalize

simplify