simplify Boolean expression - Maple 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

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 &or a &and b

a

(1)

BooleanSimplifya &and b &or a &and `&not`b

a

(2)

BooleanSimplifya &iff a &or b

a &or &notb

(3)

BooleanSimplify`&or`a &and b,`&not`a &and c,b &and c

a &and b &or c &and &nota

(4)

See Also

Logic, Logic/Normalize, simplify


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