1. Instructor: Alexander Stoytchev
CprE 281: Digital Logic
Instructor: Alexander Stoytchev

2. Karnaugh Maps CprE 281: Digital Logic Iowa State University, Ames, IA
Copyright © Alexander Stoytchev

3. Administrative Stuff
HW3 is due today

4. Administrative Stuff HW4 is out It is due on Monday Feb 10 @ 4 pm
It is posted on the class web page
I also sent you an with the link.

5. Administrative Stuff TA Office Hours: David Johnstonam
Location: TLA (Coover Hall - first floor)
Pratik Mishra
2-4pm
Location: Durham Hall, room 309.

6. Administrative Stuff
Homework Solutions are posted on BlackBoard

7. Quick Review

8. Do You Still Remember This Boolean Algebra Theorem?

9. Let’s prove 14.a

10. Let’s prove 14.a 1

11. Let’s prove 14.a 1 1

12. Let’s prove 14.a 1 1 1

13. Let’s prove 14.a 1 1 1 1

14. Let’s prove 14.a 1 1 1 1
They are equal.

16. Motivation
An approach for simplifying logic expressions How do we guarantee we have reached minimum SOP/POS representation?

17. Two-Variable K-Map

18. Karnaugh Map (K-map) View the function in a visual form
Same information as truth table
Easier to group minterms x x 1 2 x 1 x 2 m 1 1 m m m 1 2 1 m 2 1 m m 1 3 1 1 m 3
(a) Truth table
(b) Karnaugh map
[ Figure 2.49 from the textbook ]

19. Minterms x x x x m m m m m 1 1 m 1 1 1 m 1 1 1 1 m 1 1 1 1 2 1 2 1 2 31 2 3 m 1 1 m 1 1 1 1 m 1 1 2 1 1 m 1 1 1 3

20. Minterm Example x x x x m m m m m + m 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 12 1 2 m m m m m
+ m 1 2 3 1 3 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1

21. Minterm Example _ x1x2 + x1x2 = x2 x x x x m m m m m + m 1 1 1 1 1 1 11 2 3 1 3 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 _
x1x2 + x1x2 = x2

22. Grouping Example x 1 x 1 x 2 x 2 1 1 1 1 1 1 m0 m1

23. Grouping Example + = m0 + m1 = m0 + m1 x x x x x x 1 1 1 1 1 1 1 1 1 12 x 2 x 2 1 1 1 1 1 + = 1 1 1 1 1 m0 + m1 =
m0 + m1

24. Grouping Example + = m0 + m1 = m0 + m1 x x x x x x 1 1 1 1 1 1 1 1 1 12 x 2 x 2 1 1 1 1 1 + = 1 1 1 1 1 m0 + m1 =
m0 + m1

25. Grouping Example + = m0 + m1 = m0 + m1 _ _ _ _ + =2 x 2 x 2 1 1 1 1 1 + = 1 1 1 1 1 m0 + m1 =
m0 + m1 _ _ _ _
x1x2 +
x1x2 = x1
Property 14a (Combining)

26. Grouping Rules Group “1”s with rectangles Both sides a power of 2:
1x1, 1x2, 2x1, 2x2, 1x4, 4x1, 2x4, 4x2, 4x4
Can use the same minterm more than once
Can wrap around the edges of the map
Some rules in selecting groups:
Try to use as few groups as possible to cover all “1”s.
For each group, try to make it as large as you can (i.e., if you can use a 2x2, don’t use a 2x1 even if that is enough).

27. Two-Variable K-map (a) Truth table (b) Karnaugh map x x x x m 1 1 m m2 x 1 x 2 m 1 1 m m m 1 2 1 m 2 1 m m 1 3 1 1 m 3
(a) Truth table
(b) Karnaugh map
[ Figure 2.49 from the textbook ]

28. Step-By-Step Example x x 1 2 1 1 1 1 1 1 1

29. 1. Draw The Map x x 1 2 x 1 x 2 1 1 1 1 1 1 1 1 1

30. 2. Fill The Map x x 1 2 x 1 x 2 m 1 3 2 1 1 1 1 m m 2 1 1 m m 1 3 1 1 1

31. 2. Fill The Map x x 1 2 x 1 x 2 m 1 3 2 1 1 1 1 1 1 1 1 1 1 1 1

32. 3. Group x x 1 2 x 1 x 2 m 1 3 2 1 1 1 1 1 1 1 1 1 1 1 1

33. 3. Group x x 1 2 x 1 x 2 m 1 3 2 1 1 1 1 1 1 1 1 1 1 1 1

34. 3. Group x x 1 2 x 1 x 2 m 1 3 2 1 1 1 1 1 1 1 1 1 1 1 1

35. 4. Write The Expression x x 1 2 x 1 x 2 1 1 1 1 1 1 1 1 1 1 1 1

36. 4. Write The Expression _ x1 + x2 x x x x 1 1 1 1 1 1 1 1 1 1 1 1 1 21 1 1 1 1 1 1 1 1 1 1 1 _
x1 + x2

37. Writing The Expression
Find which variable is constant x 1 x 2 _ 1
x1 is constant 1 1 1

38. Writing The Expression
Find which variable is constant x 1 x 2 1
x1 is constant 1 1 1

40. These are all valid groupings

41. These are also valid
But try to use larger rectangles if possible.

42. Why are these two not valid?

43. Let’s Find Out x 1 x 1 x 2 x 2 1 1 1 1 1 1 m0 m3

44. Let’s Find Out + = m0 + m3 = m0 + m3 x x x x x x 1 1 1 1 1 1 1 1 1 1 12 x 2 x 2 1 1 1 1 1 + = 1 1 1 1 1 m0 + m3 =
m0 + m3

45. Let’s Find Out + = m0 + m3 = m0 + m3 x x x x x x 1 1 1 1 1 1 1 1 1 1 12 x 2 x 2 1 1 1 1 1 + = 1 1 1 1 1 m0 + m3 =
m0 + m3

46. Let’s Find Out + = m0 + m3 = m0 + m3 _ _ = + _ _ +x 1 x 1 x 1 x 2 x 2 x 2 1 1 1 1 1 + = 1 1 1 1 1 m0 + m3 =
m0 + m3 _ _ =
x1x2 + _ _
x1x2 +
x1x2
We can’t use Property 14a here. This can’t be simplified.

47. Three-Variable K-Map

48. Location of three-variable minterms
[ Figure 2.51 from the textbook ]

49. Location of three-variable minterms
Notice the placement of
Variables
Binary pair values
Minterms

50. Gray Code Sequence of binary codes Vary by only 1 bit 000 001 011 010
110
111
101
100 00 01 11 10

51. Adjacency Rules
adjacent
columns

52. These are valid groupings

53. These are valid groupings

54. These are valid groupings

55. These are valid groupings

56. These are valid groupings

57. Some invalid groupings

58. Examples of three-variable Karnaugh maps
[ Figure 2.52 from the textbook ]

59. Four-Variable K-Map

60. A four-variable Karnaugh map
[ Figure 2.53 from the textbook ]

61. A four-variable Karnaugh mapx1 x2 x3 x4 m0 1 m1 m2 m3 m4 m5 m6 m7 m8 m9
m10
m11
m12
m13
m14
m15

62. Adjacency Rules
adjacent
rows
adjacent
columns
adjacent
columns

63. Example of a four-variable Karnaugh map
[ Figure 2.54 from the textbook ]

64. Example of a four-variable Karnaugh map
[ Figure 2.54 from the textbook ]

65. Example of a four-variable Karnaugh map
[ Figure 2.54 from the textbook ]

66. Example of a four-variable Karnaugh map
[ Figure 2.54 from the textbook ]

67. Five-Variable K-Map

68. A five-variable Karnaugh map
[ Figure 2.55 from the textbook ]

69. Questions?

70. THE END