 Logic - Maple Programming Help

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

 > $\mathrm{with}\left(\mathrm{Logic}\right):$
 > $\mathrm{BooleanSimplify}\left(a&ora&andb\right)$
 ${a}$ (1)
 > $\mathrm{BooleanSimplify}\left(a&andb&ora&and\mathrm{¬}\left(b\right)\right)$
 ${a}$ (2)
 > $\mathrm{BooleanSimplify}\left(a&iffa&orb\right)$
 ${a}{\vee }\left({¬}{b}\right)$ (3)
 > $\mathrm{BooleanSimplify}\left(\mathrm{&or}\left(a&andb,\mathrm{¬}\left(a\right)&andc,b&andc\right)\right)$
 $\left({a}{\wedge }{b}\right){\vee }\left({c}{\wedge }\left({¬}{a}\right)\right)$ (4)