0% found this document useful (0 votes)
115 views

Digital Logic Design 5th Edition Chap 3 Notes

The document provides an overview of Karnaugh maps, which are a method for simplifying Boolean logic functions. Karnaugh maps become more useful than Boolean algebra for functions with 4 or more variables. They represent a truth table as a two-dimensional grid and allow grouping of ones to find minimized logic expressions. Rules for identifying valid blocks in Karnaugh maps that correspond to product terms are described. Examples are provided for constructing Karnaugh maps and extracting minimized logic expressions from identified blocks.

Uploaded by

Helly Bo
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
0% found this document useful (0 votes)
115 views

Digital Logic Design 5th Edition Chap 3 Notes

The document provides an overview of Karnaugh maps, which are a method for simplifying Boolean logic functions. Karnaugh maps become more useful than Boolean algebra for functions with 4 or more variables. They represent a truth table as a two-dimensional grid and allow grouping of ones to find minimized logic expressions. Rules for identifying valid blocks in Karnaugh maps that correspond to product terms are described. Examples are provided for constructing Karnaugh maps and extracting minimized logic expressions from identified blocks.

Uploaded by

Helly Bo
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 32

Lecture 6: Karnaugh Maps

1
Karnaugh Map

• The Karnaugh map, like Boolean algebra, is a


simplification tool applicable to digital logic.

• Boolean simplification is actually faster than


the Karnaugh map for a task involving two or
fewer Boolean variables. It is still quite usable
at three variables, but a bit slower.

2
Karnaugh Map
• At four input variables, Boolean algebra
becomes tedious. Karnaugh maps are both
faster and easier.

• Karnaugh maps work well for up to six input


variables, are usable for up to eight variables.

• For more than six to eight variables,


simplification should be by CAD (Computer-
Aided Design).
3
The Karnaugh Map (K-map) Method

• Recall: a given function has


• A unique representation using a truth table
• A unique representation as a sum of minterms
• Several equivalent representations as algabraic expressions

• Boolean minimization is a bit awkward


• Solution: Karnaugh map method minimization

4
K-map Method
• An alternate approach to representing a Boolean
functions
• Graphical representation of a Boolean function

• Minimization is performed by visual identification of


logic blocks
• The larger the blocks, the fewer literals in a term

• Representation of minterms of a function

5
K-map Method
• All rows in a truth table represented with a square
• Each square represents a minterm
• Number of 1’s  Number of minterms
• Example: A 2-variable map

6
K-map Method
00 X’y’ m0
• 1’s and 0’s represent function in K-maps 01 X’y m1
• 1 is put where F = 1 in the truth table 10 Xy’ m2

• 0’s are typically not shown 11 xy m3

(a) F1 = xy, (b) F2 = x+y = M0=m1+m2+m3


F3(x,y)= Sum (m1+m2)=x’y+xy’
x\y 0 1
0 00 01
X’y’ X’y
m0 m1
1
1 10 11
Xy’ Xy
m2 m3
1
7
Rules for K-maps
• We can reduce functions by circling 1’s in the K-map
• Each circle represents minterm reduction
• Following circling, we can deduce minimized and-or form

• Rules
• Every cell containing a 1 must be included at least once
• Enclose the largest possible “power of 2 rectangle”
• The 1’s must be enclosed in the smallest possible number of
rectangles

8
K-Maps
• In the final figure, we superimpose all three variables,
attempting to clearly label the various regions. The
regions are less obvious without color printing, more
obvious when compared to the other three figures.
• This 3-variable K-Map (Karnaugh map) has 2³ = 8
cells, the small squares within the map. Each
individual cell is uniquely identified by the three
Boolean Variables (A, B, C).
• For example, ABC' uniquely selects the lower right
most cell, A'B'C' selects the upper left most cell

9
K-Map Simplification of SOPs
1 1 1
• Grouping the 1s
• Can group the 1s in the adjacent cells.
• Rules
1. A group must contain either 1, 2, 4, 8, or 16 cells, which are all powers
of two. For a 3-variable map, total cells are 8.
2. Each cell in a group must be adjacent to one or more cells in that same
group, but all cells in the group do not have to be adjacent to each
other.
3. Always include the largest possible number of 1s in a group in
accordance with rule 1.
4. Each 1 on the map must be included in at least one group. The 1s
already in a group can be included in another group
5. The 1’s must be enclosed in the smallest possible number of rectangles
6. .
10
K-Map Simplification of SOPs
• Determining the minimum SOP expression from the
Map
• Each group of cells containing 1s creates one product term
composed of all variables that occur in only one form (either
complemented or uncomplemented) within the group.
• Determine the minimum product term for each group.
• For a 3-variable map
• A 1-cell group yields a 3-variable product term
• A 2-cell group yields a 2-variable product term
• A 4-cell group yields a 1-variable term
• An 8-cell group yields a value of 1 for the expression
• When all the minterms are derived, they are summed to form
the minimum SOP expression.
11
3-Variable Karnaugh Maps
• Two variables on one side, one on the other
• Gray codes are used to represent blocks
• Only 1 bit changes in adjacent blocks
F(x,y,z)= sum(m0+m1+m4+m5)

12
K-map Blocks
• Identifying blocks in Karnaugh maps
• Neighboring minterms can be combined
• Example

13
K-map Blocks
• Identifying blocks in Karnaugh maps
• Neighboring minterms can be combined
• Example
F = x’y’z’ + x’y’z = x’y’
• Resulting expression has 2 literals

14
K-map Blocks
• Example:
F ( x, y, z )   (2,3,4,5)  xyz  xyz  xyz  xyz
• Corresponding K-map

15
K-map Blocks
• Example:
F ( x, y, z )   (2,3,4,5)  xyz  xyz  xyz  xyz
• Corresponding K-map

• 2 blocks of size 2  F  xy  xy 

16
K-map Blocks

• Exercise
• What is the K-map minimized form of the following expression?
F ( x, y, z )   (3,4,6,7)

17
K-map Blocks

• Exercise
• What is the K-map minimized form of the following expression?
F ( x, y, z )   (3,4,6,7)

• Blocks continue across borders of K-maps (wrap around)


• F=xz’+yz
18
K-map Blocks
• We have learnt how to combine 2 minterms
• Can we combine more than 2?
• Yes
F  xyz   xyz  xyz   xyz

• Any block of “power of 2 size” can be reduced


• Larger the block, simpler the expression
19
K-map Blocks
• We have learnt how to combine 2 minterms
• Can we combine more than 2?
• Yes
F  xyz   xyz  xyz   xyz  ( x  x). y.( z  z )  y

• Any block of “power of 2 size” can be reduced


• Larger the block, simpler the expression
20
K-map Blocks
• Can blocks overlap? Yes
• Example:
F ( A, B, C )   (1,2,3,5,7)

• The largest power-2 block may have an overlap

21
K-map Blocks
• Can blocks overlap? Yes
• Example:
F ( A, B, C )   (1,2,3,5,7)

• The largest power-2 block may have an overlap

22
Converting Blocks into Expressions
• Rule of thumb
• Write down the variables that do not change

F(A,B,C) = C+A’B

23
Example 1 & 2
• Simplify A’B’C’ + A’B’C

• Simplify A’B’C’ + A’B’C + A’BC + A’BC’

24
Example 3
• A’B’C + A’BC + AB’C + ABC

• Mapping the four p-terms yields a group of four,


which is covered by one variable C.
25
Example 4
• A’B’C’ + A’B’C + A’BC + A’BC’ + ABC + ABC’

• After mapping the six p-terms above, identify the upper group of four, pick
up the lower two cells as a group of four by sharing the two with two more
from the other group. Covering these two with a group of four gives a
simpler result. Since there are two groups, there will be two p-terms in the
Sum-of-Products result A'+B
26
Example 5
• A’B’C’ + AB’C’ + A’BC’ + ABC’

• Mapping the four p-terms above yields a group of four. Visualize the group
of four by rolling up the ends of the map to form a cylinder, then the cells
are adjacent. We normally mark the group of four as above left. Out of the
variables A, B, C, there is a common variable: C'. C' is a 0 over all four
cells. Final result is C'.
27
Example 6
• A’B’C’ + A’B’C + A’BC + A’BC’ + AB’C’ + ABC’

• The six cells above from the un simplified equation can be organized into
two groups of four. These two groups should give us two p-terms in our
simplified result of A' + C'

28
Function Simplification
• Consider the function f = A′BC + AB′C + ABC′ + ABC

29
30
31
32

You might also like