|
Logic[BooleanSimplify] - simplify Boolean expression
|
|
Calling Sequence
|
|
BooleanSimplify(b)
|
|
|
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
|
|
|
>
|
|
|
>
|
|
|
| (1) |
|
>
|
|
|
| (2) |
|
>
|
|
|
| (3) |
|
>
|
|
|
| (4) |
|
|
