Chapter 12
Chapter 12
1
Two important Boolean algebra problems
3
Constructing Boolean Expressions that
represent a Boolean Function
Example: Find Boolean expressions that represent the
functions F(x, y, z) and G(x, y, z), which are given in the table.
Solution:
• An expression that has the value 1 when x = z = 1 and
y = 0, and the value 0 otherwise, is needed for F. It can
be formed by taking the Boolean product of x, 𝑦,
ത and z
i.e. x𝑦z.
ത
• For G, we need an expression that equals 1 when x =
y = 1 and z = 0, or x = z = 0 and y = 1. It can be formed
by taking the Boolean sum of two different Boolean
products. The expression: xy𝑧ҧ + 𝑥yҧ 𝑧ҧ represents G.
4
Comments on the previous example
5
Definitions: Literals, Minterms, Maxterms
6
Examples on minterms
1. Find a minterm that equals 1 if x1 = x3 = 0 and x2 = x4 =
x5 = 1, and equals 0 otherwise.
Solution:
The minterm: 𝑥ҧ1 𝑥2 𝑥ҧ3 𝑥4 𝑥5
9
Disjunctive Normal Form (DNF)
Sum-of-Products (SOP)
10
SOP Example – Solution (1)
◎ Find the sum-of-products expansion for the function
𝐹 𝑥, 𝑦, 𝑧 = (𝑥 + 𝑦)𝑧.ҧ
Solution (1):
11
SOP Example – Solution (2)
12
Product-of-Sums (POS) Expansion
◎ It is also possible to find a Boolean expression that represents
a Boolean function by taking a Boolean product of Boolean
sums.
◎ The resulting expansion is called the conjunctive normal form
or product-of-sums expansion of the function.
◎ The Conjunctive Normal Form (CNF) of Boolean function f, of a
degree-n, is the unique product of maxterms of the variables
x1,…,xn that represents f.
◎ A CNF is a product-of-sums representation.
◎ These expansions can be found from SOP expansions by
taking duals.
13
POS Example
Find the POS expansion of the Boolean function:
𝐹 𝑥, 𝑦, 𝑧 = 𝑥 𝑦.
ത
Solution: 𝒙 𝒚 𝒛 ഥ 𝒙ഥ
𝒚 𝒚
14
Convert DNF (SOP) to CNF (POS) representation
To get the CNF representation for f,
• take the DNF (SOP) representation for complement 𝑓,ҧ 𝒙 𝒚 𝒛 ഥ
𝒙 𝑥ҧ + 𝑦
• and then complement both sides (apply De Morgan’s 0 0 0 1 1
laws) to get the CNF (POS) representation of f. 0 0 1 1 1
Example: Using the above procedure find the POS expansion 0 1 0 1 1
of the Boolean function: 0 1 1 1 1
1 0 0 0 0
𝐹 𝑥, 𝑦, 𝑧 = 𝑥𝑦. ത
Solution: 1 0 1 0 0
• 𝐹(𝑥, 𝑦, 𝑧) = 𝑥ҧ 𝑦ത𝑧ҧ + 𝑥ҧ 𝑦𝑧
ത + 𝑥𝑦
ҧ 𝑧ҧ + 𝑥𝑦𝑧
ҧ + 𝑥𝑦𝑧ҧ + 𝑥𝑦𝑧 1 1 1 0 1
17
Functional Completeness x y x|y x y xy