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

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

a

(1)

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

a

(2)

BooleanSimplifya &iff a &or b

a¬b

(3)

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

abc¬a

(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