|
|
|
|
|
|
|
|
|
|
|
Algebraic Manipulation
|
|
|
|
|
|
|
|
|
Minterms and Maxterms
|
|
|
|
|
|
Any boolean expression may be expressed in terms of either minterms or maxterms. To do this we must first define the concept of a literal. A literal is a single variable within a term which may or may not be complemented. For an expression with N variables, minterms and maxterms are defined as follows : |
|
|
- A minterm is the product of N distinct literals where each literal occurs exactly once.
- A maxterm is the sum of N distinct literals where each literal occurs exactly once.
|
|
|
For a two-variable expression, the minterms and maxterms are as follows |
|
|
|
|
|
X
|
Y
|
Minterm
|
Maxterm
|
0
|
0
|
X'.Y'
|
X+Y
|
0
|
1
|
X'.Y
|
X+Y'
|
1
|
0
|
X.Y'
|
X'+Y
|
1
|
1
|
X.Y
|
X'+Y'
|
|
|
|
|
|
|
For a three-variable expression, the minterms and maxterms are as follows |
|
|
|
|
|
X
|
Y
|
Z
|
Minterm
|
Maxterm
|
0
|
0
|
0
|
X'.Y'.Z'
|
X+Y+Z
|
0
|
0
|
1
|
X'.Y'.Z
|
X+Y+Z'
|
0
|
1
|
0
|
X'.Y.Z'
|
X+Y'+Z
|
0
|
1
|
1
|
X'.Y.Z
|
X+Y'+Z'
|
1
|
0
|
0
|
X.Y'.Z'
|
X'+Y+Z
|
1
|
0
|
1
|
X.Y'.Z
|
X'+Y+Z'
|
1
|
1
|
0
|
X.Y.Z'
|
X'+Y'+Z
|
1
|
1
|
1
|
X.Y.Z
|
X'+Y'+Z'
|
|
|
|
|
|
|
This allows us to represent expressions in either Sum of Products or Product of Sums forms |
|
|
|
|
|
Sum Of Products (SOP)
|
|
|
|
|
|
The Sum of Products form represents an expression as a sum of minterms. |
|
|
|
|
|
F(X, Y, ...) = Sum (ak.mk) |
|
|
|
|
|
where ak is 0 or 1 and mk is a minterm. |
|
|
|
|
|
To derive the Sum of Products form from a truth table, OR together all of the minterms which give a value of 1. |
|
|
|
|
|
Example - SOP
|
|
|
|
|
|
Consider the truth table |
|
|
|
|
|
X
|
Y
|
F
|
Minterm
|
0
|
0
|
0
|
X'.Y'
|
0
|
1
|
0
|
X'Y
|
1
|
0
|
1
|
X.Y'
|
1
|
1
|
1
|
X.Y
|
|
|
|
Here SOP is f(X.Y) = X.Y' + X.Y |
|
|
|
|
|
Product Of Sum (POS)
|
|
|
|
|
|
The Product of Sums form represents an expression as a product of maxterms. |
|
|
|
|
|
F(X, Y, .......) = Product (bk + Mk), where bk is 0 or 1 and Mk is a maxterm. |
|
|
|
|
|
To derive the Product of Sums form from a truth table, AND together all of the maxterms which give a value of 0. |
|
|
|
|
|
|
|
|
|
|
|
Example - POS
|
|
|
|
|
|
Consider the truth table from the previous example. |
|
|
|
|
|
X
|
Y
|
F
|
Maxterm
|
0
|
0
|
1
|
X+Y
|
0
|
1
|
0
|
X+Y'
|
1
|
0
|
1
|
X'+Y
|
1
|
1
|
1
|
X'+Y'
|
|
|
|
Here POS is F(X,Y) = (X+Y') |
|
|
|
|
|
Exercise
|
|
|
|
|
|
Give the expression represented by the following truth table in both Sum of Products and Product of Sums forms. |
|
|
|
|
|
X
|
Y
|
Z
|
F(X,Y,X)
|
0
|
0
|
0
|
1
|
0
|
0
|
1
|
0
|
0
|
1
|
0
|
0
|
0
|
1
|
1
|
1
|
1
|
0
|
0
|
0
|
1
|
0
|
1
|
1
|
1
|
1
|
0
|
1
|
1
|
1
|
1
|
0
|
|
|
|
|
|
|
Conversion between POS and SOP
|
|
|
|
|
|
Conversion between the two forms is done by application of DeMorgans Laws. |
|
|
|
|
|
Simplification
|
|
|
As with any other form of algebra you have encountered, simplification of expressions can be performed with Boolean algebra. |
|
|
|
|
|
Example
|
|
|
|
|
|
Show that X.Y.Z' + X'.Y.Z' + Y.Z = Y |
|
|
|
|
|
X.Y.Z' + X'.Y.Z' + Y.Z = Y.Z' + Y.Z = Y |
|
|
|
|
|
Example
|
|
|
|
|
|
Show that (X.Y' + Z).(X + Y).Z = X.Z + Y.Z |
|
|
|
|
|
(X.Y' + Z).(X + Y).Z |
|
|
= (X.Y' + Z.X + Y'.Z).Z |
|
|
= X.Y'Z + Z.X + Y'.Z |
|
|
= Z.(X.Y' + X + Y') |
|
|
= Z.(X+Y') |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|