Problem Set 3 Solutions: Jon Turner Quiz On
Problem Set 3 Solutions: Jon Turner Quiz On
1. Using DeMorgan’s theorem, express the function F = A′B + A′B′C + BC ′ using (a) only AND
and complement operations and (b) only OR and complement operations.
-1-
5. For each expression shown below, draw a logic diagram using simple gates that
implements the circuit directly. Then simplify the expression algebraically to use the
smallest possible number of binary logic operations and draw a logic diagram
corresponding to the simplified expression.
A B C A B C
A
B
C
A B C
B
A
C
A B C
(c) A′B + A(B + C′) = (A′B + AB) + AC′) = B + AC′
-2-
6. For each expression below, simplify it using the general simplification procedure described
on page 2-29 of the course notes. Show all the steps.
(a) A(B + B ′C) + (A ′B + B ′)C ′
Step 1. Find minterms: A ′B ′C ′, A ′BC ′, AB ′C ′, AB ′C, ABC ′, ABC
Step 2. Find largest covering terms (prime implicants) for each minterm:
minterms AB ′C ′, AB ′C, ABC ′, ABC are all covered by A
minterms A ′B ′C ′, A ′BC ′, AB ′C ′, ABC ′ are all covered by C ′
Step 3. Include essentential prime implicants: A, C ′
Step 4. Add other prime implicants as necessary: none need to be added
So, the simplified expression is A+C ′
(b) A ′B + BC + (A + C ′)B
Step 1. Find minterms: A ′BC ′, A ′BC, ABC ′, ABC
Step 2. Find largest covering terms (prime implicants) for each minterm:
minterms A ′BC ′, A ′BC, ABC ′, ABC are all covered by B
Step 3. Include essentential prime implicants: B
Step 4. Add other prime implicants as necessary: none need to be added
So, the simplified expression is B
-3-
7. (8 points) For each function given below, simplify it using a 3 variable Karnaugh map.
(a) F(A,B,C) = Σm(2,3,5,6,7)
(b) F(A,B,C) = Σm(0,1,4,5,7)
(c) F(W,X,Y) = Σm(1,2,4,5,6)
(d) F(A,B,C) = Σm(0,2,3,4,6)
BC
00 01 11 10
(a) F(A,B,C) = Σm(2,3,5,6,7) 0 0 0 1 1
= AC + B A
1 0 1 1 1
BC
00 01 11 10
(b) F(A,B,C) = Σm(0,1,4,5,7) 0 1 1 0 0
= AC + B′ A
1 1 1 1 0
XY
00 01 11 10
(c) F(W,X,Y ) = Σm(1,2,4,5,6) 0 0 1 0 1
= WX′ +X′Y+XY′ W
1 1 1 0 1
BC
00 01 11 10
(c) F(A,B,C) = Σm(0,2,3,4,6) 0 1 0 1 1
= A′B + C′ A
1 1 0 0 1
-4-