Lecture 

16: Minimization using Karnaugh Maps (Part 1)

PROF. INDRANIL SENGUPTA
DEPARTMENT OF COMPUTER SCIENCE AND ENGINEERING
 What are Karnaugh Maps?
• A graphical method for representation and minimization of functions.
– Provides an alternate way of simplifying switching functions.
– Instead of using algebraic simplification techniques, we use a pictorial representation 
of the function, called Karnaugh map or K‐map.
• For an n‐variable function, there are 2n cells in the map (one for each minterm).
– Adjacent 2 cells differ in only 1 variable.
– Adjacent 22 = 4 cells differ in 2 variables.
– Adjacent 2m cells differ in m variables.
• We try to group 2m adjacent cells corresponding to true minterms.
– Try to make the cubes (groups) bigger, ensure all true minterms are covered.

Switching Circuits & Logic Design 2
• How are the cells in a K‐map labelled?
– Such that two adjacent cells differ in the value of only one variable.
– Helps in combining cells into cubes:
A.B.C + A.B’.C  =  A
A.B’.C’ + A.B’.C + A.B.C’ + A.B.C  =  A
• Drawback:
– Since it is a pictorial approach, it is difficult to visualize functions with more than 5 
or 6 variables.
– We shall give examples with up to 4 variables.

Switching Circuits & Logic Design 3
 Basic Approach
1. Fill up the cells of the K‐map with true minterms of the function.
2. Group the true minterms of the function into cubes such that:
– The size of the cubes are maximized.
– Every true minterms is covered by at least one cube.
3. Write down the minimized sum‐of‐products expression for the function by 
creating one product term out of every cube that has been selected.

Switching Circuits & Logic Design 4
 3‐variable Karnaugh Map

BC BC
A 00 01 11 10 A 00 01 11 10
0 0 0 1 3 2

1 1 4 5 7 6

Switching Circuits & Logic Design 5
 Example 1

BC
A 00 01 11 10
0 1 1

1 1 1

Switching Circuits & Logic Design 6
 Example 2

BC
A 00 01 11 10
0 1 1 1 1

1 1

Switching Circuits & Logic Design 7
 Example 3

BC
A 00 01 11 10
0 1 1 1 1

1 1 1

Switching Circuits & Logic Design 8
 Example 4

BC
A 00 01 11 10
0 1 1 1

1 1 1 1

Switching Circuits & Logic Design 9
 Sum and Carry of Full Adder
Sum =  (1, 2, 4, 7) Carry =  (3, 5, 6, 7)

BC BC
A 00 01 11 10 A 00 01 11 10
0 1 1 0 1

1 1 1 1 1 1 1

Switching Circuits & Logic Design 10
END OF LECTURE 16 

Switching Circuits & Logic Design 11