Chapter 3 Karnaugh Map Adjacent Squares Number of
Chapter 3:
Karnaugh Map « Adjacent Squares ● Number of squares = number of combinations ♦ Each square represents a minterm ♦ 2 Variables 4 squares ♦ 3 Variables 8 squares ♦ 4 Variables 16 squares ● Each two adjacent squares differ in one variable ♦ Two adjacent minterms can be combined together Example: F = x y + x y’ = x ( y + y’ ) =x 1 / 50
Two-variable Map x y Minterm 0 0 0 m 0 1 m 1 2 1 0 m 2 3 1 1 m 3 m 1 m 2 m 3 0 1 y x Note: adjacent squares horizontally and vertically NOT diagonally m 0 0 1 2 / 50
Two-variable Map « Example x y F Minterm 0 0 m 0 1 0 m 1 2 1 0 0 m 2 3 1 1 1 m 3 m 0 m 1 m 2 m 3 0 1 y y x x 0 0 1 1 3 / 50
Two-variable Map « Example x y F Minterm 0 0 m 0 1 1 m 1 2 1 0 1 m 2 3 1 1 1 m 3 m 0 m 1 m 2 m 3 y y x x 0 0 1 1 1 1 4 / 50
Three-variable Map x y z Minterm 0 0 m 0 1 0 0 1 m 1 2 0 1 0 m 2 3 0 1 1 m 3 4 1 0 0 m 4 5 1 0 1 m 5 6 1 1 0 m 6 7 1 1 1 m 7 m 0 m 1 m 3 m 2 m 4 m 5 m 7 m 6 00 01 11 10 yz x 0 1 5 / 50
Three-variable Map « Example x y z F Minterm m 0 m 4 m 1 m 5 m 3 m 7 m 2 m 6 00 01 11 10 yz 0 0 0 m 0 1 0 m 1 0 2 0 1 m 2 3 0 1 1 1 m 3 1 4 1 0 0 1 m 4 5 1 0 1 1 m 5 6 1 1 0 0 m 6 7 1 1 1 0 m 7 x y x 0 0 1 1 0 0 z 6 / 50
Three-variable Map « Example x y z F Minterm m 0 m 4 m 1 m 5 m 3 m 7 m 2 m 6 00 01 11 10 yz 0 0 0 m 0 1 0 m 1 0 2 0 1 0 0 m 2 3 0 1 1 1 m 3 1 4 1 0 0 1 m 4 5 1 0 m 5 6 1 1 0 1 m 6 7 1 1 m 7 x y x 0 0 1 0 1 1 z Extra 7 / 50
Three-variable Map y « Example x y z F Minterm 0 0 0 m 0 1 0 0 1 1 m 1 2 0 1 0 0 m 2 3 0 1 1 1 m 3 4 1 0 0 0 m 4 5 1 0 1 1 m 5 6 1 1 0 0 m 6 7 1 1 m 7 x 0 1 1 0 z y x 0 1 1 0 z 8 / 50
Three-variable Map « Example x y z F Minterm m 0 m 4 m 1 m 5 m 3 m 7 m 2 m 6 00 01 11 10 yz 0 0 1 m 0 1 0 m 1 0 2 0 1 m 2 3 0 1 1 0 m 3 1 4 1 0 0 1 m 4 5 1 0 1 1 m 5 6 1 1 0 1 m 6 7 1 1 1 0 m 7 x y x 1 0 0 1 1 1 0 1 z 9 / 50
Four-variable Map 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 w 0 0 0 0 1 1 1 1 x 0 0 0 0 1 1 1 1 y 0 0 1 1 z 0 1 0 1 m 0 m 1 m 3 m 2 m 4 m 5 m 7 m 6 m 12 m 13 m 15 m 14 m 8 m 9 m 11 m 10 Minterm m 0 m 1 m 2 m 3 m 4 m 5 m 6 m 7 m 8 m 9 m 10 m 11 m 12 m 13 m 14 m 15 yz wx 00 01 11 10 10 / 50
Four-variable Map yz « Example 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 w 0 0 0 0 1 1 1 1 x 0 0 0 0 1 1 1 1 y 0 0 1 1 z 0 1 0 1 wx F 1 1 1 0 0 1 1 1 0 Minterm m 0 m 1 m 2 m 3 m 4 m 5 m 6 m 7 m 8 m 9 m 10 m 11 m 12 m 13 m 14 m 15 00 01 11 10 y w 1 1 1 1 0 0 1 1 1 0 x z 11 / 50
Four-variable Map «Example Simplify: F = A’ B’ C’ + B’ C D’ + A’ B C D’ + A B’ C’ C B A D 12 / 50
Four-variable Map «Example Simplify: F = A’ B’ C’ + B’ C D’ + A’ B C D’ + A B’ C’ C 1 1 B A D 13 / 50
Four-variable Map «Example Simplify: F = A’ B’ C’ + B’ C D’ + A’ B C D’ + A B’ C’ C 1 B A 1 D 14 / 50
Four-variable Map «Example Simplify: F = A’ B’ C’ + B’ C D’ + A’ B C D’ + A B’ C’ C 1 B A D 15 / 50
Four-variable Map «Example Simplify: F = A’ B’ C’ + B’ C D’ + A’ B C D’ + A B’ C’ C B A 1 1 D 16 / 50
Four-variable Map «Example Simplify: F = A’ B’ C’ + B’ C D’ + A’ B C D’ + A B’ C’ C 1 A 1 1 1 B 1 D 17 / 50
Five-variable Map DE BC 00 01 11 10 00 m 1 m 3 m 2 00 m 16 m 17 m 19 m 18 01 m 4 m 5 m 7 m 6 01 m 20 m 21 m 23 m 22 11 m 12 m 13 m 15 m 14 10 m 8 m 10 B D m 9 m 11 DE BC 00 C B D 01 11 10 11 m 28 m 29 m 31 m 30 C 10 m 24 m 25 m 27 m 26 E E A=0 A=1 18 / 50
Five-variable Map A=0 A=1 19 / 50
Implicants Implicant: Gives F = 1 C 1 1 A 1 1 1 B 1 D 20 / 50
Prime Implicants Prime Implicant: Can’t grow beyond this size C 1 1 A 1 1 1 B 1 D 21 / 50
Essential Prime Implicants Not essential Essential Prime Implicant: No other choice C 1 1 A 1 1 1 B 1 D 8 Implicants 5 Prime implicants 4 Essential prime implicants 22 / 50
Product of Sums Simplification 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 w 0 0 0 0 1 1 1 1 x 0 0 0 0 1 1 1 1 y 0 0 1 1 z 0 1 0 1 y F F 1 1 1 0 0 1 1 1 0 0 0 1 1 0 0 0 1 w 1 1 1 1 0 0 1 1 1 0 x z y w 1 1 1 1 0 0 z 23 / 50
Don’t-Care Condition «Example A 0 0 1 1 B 0 0 1 1 C 0 1 0 1 $ Value $ 0. 00 $ 0. 05 $ 0. 10 Not possible $ 0. 25 Not possible You can only drop one coin at a time. Used as “don’t care” 24 / 50
Don’t-Care Condition «Example A B Logic Circuit F C A 0 0 1 1 B 0 0 1 1 C 0 1 0 1 F 0 1 0 x 1 x x x Don’t care what value F may take 25 / 50
Don’t-Care Condition «Example A F B C B A 0 1 x x x C 26 / 50
Don’t-Care Condition « Example F (w, x, y, z) = ∑(1, 3, 7, 11, 15) d (w, x, y, z) = ∑(0, 2, 5) x=0 y x x=1 1 1 x 1 1 w 1 z x x x w x=0 y x 0 0 0 0 x z 27 / 50
Universal Gates « One Type ● Use as many as you need (quantity), but one type only. « Perform Basic Operations ● AND, OR, and NOT « NAND Gate ● NOT-AND functions ● OR function can be obtained from AND by Demorgan’s « NOR Gate ● NOT-OR functions (AND by Demorgan’s) 28 / 50
Universal Gates « NAND Gate ● NOT: ● AND: ● OR: De. Morgan’s 29 / 50
Universal Gates « NOR Gate ● NOT: ● OR: ● AND: De. Morgan’s 30 / 50
NAND & NOR Implementation « Two-Level Implementation 31 / 50
NAND & NOR Implementation « Two-Level Implementation 32 / 50
NAND & NOR Implementation « Multilevel NAND Implementation 33 / 50
NAND & NOR Implementation « Multilevel NOR Implementation 34 / 50
Gate Shapes « AND « OR « NAND « NOR 35 / 50
Other Implementations « AND-OR-Invert « OR-AND-Invert 36 / 50
Implementations Summary « Sum Of Products: ● AND-OR-Invert = AND-NOR = NAND-AND « Products Of Sums ● OR-AND-Invert = OR-NAND = NOR--OR 37 / 50
Exclusive-OR « XOR F=x y=xy+xy « XNOR F = x y = x y + x y 38 / 50
Exclusive-OR « Identities ●x 0=x ●x 1=x ●x x=0 ●x x=1 x 0 0 1 1 y 0 1 XOR 0 1 1 0 ●x y=x y « Commutative & Associative ●x y=y x ●(x y) z=x (y z)=x y z 39 / 50
Exclusive-OR Functions « Odd Function F=x y z F = ∑(1, 2, 4, 7) « Even Function F=x y z F = ∑(0, 3, 5, 6) x y z XOR XNOR 0 0 1 1 0 1 0 1 0 1 1 0 0 1 1 0 yz x 00 01 11 10 0 0 1 1 1 0 40 / 50
Parity 1 1 0 0 1 1 0 0 0 1 Parity Generator 0 1 Parity Checker 41 / 50
Parity Generator « Odd Parity 1 0 1 0 1 Odd number of ‘ 1’s « Even Parity 1 0 1 0 0 Even number of ‘ 1’s 42 / 50
Parity Checker « Odd Parity 1 0 1 Error Check « Even Parity 1 0 0 Error Check 43 / 50
Homework « Mano ● Chapter 3 ♦ 3 -1 ♦ 3 -3 ♦ 3 -5 ♦ 3 -7 ♦ 3 -9 ♦ 3 -15 ♦ 3 -16 ♦ 3 -18 ♦ 3 -22 44 / 50
Homework « Mano 3 -1 Simplify the following Boolean functions, using threevariable maps: (a) F (x, y, z) = ∑(0, 2, 6, 7) (b) F (A, B, C) = ∑(0, 2, 3, 4, 6) (c) F (a, b, c) = ∑(0, 1, 2, 3, 7) (d) F (x, y, z) = ∑(3, 5, 6, 7) 45 / 50
Homework 3 -3 Simplify the following Boolean functions, using threevariable maps: (a) xy + x’y’z’ + x’yz’ (b) x’y’ + xz + x’yz’ (c) A’B + BC’ + B’C’ 3 -5 Simplify the following Boolean functions, using fourvariable maps : (a) F (w, x, y, z) = ∑(1, 4, 5, 6, 12, 14, 15) (b) F (A, B, C, D) = ∑(0, 1, 2, 4, 5, 7, 11, 15) (c) F (w, x, y, z) = ∑(2, 3, 10, 11, 12, 13, 14, 15) (d) F (A, B, C, D) = ∑(0, 2, 4, 5, 6, 7, 8, 10, 13, 15) 46 / 50
Homework 3 -7 Simplify the following Boolean functions, using fourvariable maps: (a) w’z + x’y + wx’z (b) B’D + A’BC’ + AB’C + ABC’ (c) AB’C + B’C’D’ + BCD + ACD’ + A’B’C + A’BC’D (d) wxy + yz + xy’z + x’y 3 -9 Find the prime implicants for the following Boolean functions, and determine which are essential: (a) F (w, x, y, z) = ∑(0, 2, 4, 5, 6, 7, 8, 10, 13, 15) (b) F (A, B, C, D) = ∑(0, 2, 3, 5, 7, 8, 10, 11, 14, 15) (c) F (A, B, C, D) = ∑(1, 3, 4, 5, 10, 11, 12, 13, 14, 15) 47 / 50
Homework 3 -15 Simplify the following Boolean function F, together with the don’t-care conditions d, and then express the simplified function in sum of products: (a) F (x, y, z) = ∑(0, 1, 2, 4, 5) d (x, y, z) = ∑(3, 6, 7) (b) F (A, B, C, D) = ∑(0, 6, 8, 13, 14) d (A, B, C, D) = ∑(2, 4, 10) (c) F (A, B, C, D) = ∑(1, 3, 5, 7, 9, 15) d (A, B, C, D) = ∑(4, 6, 12, 13) 48 / 50
Homework 3 -16 Simplify the following expressions, and implement them with two-level NAND gate circuits: (a) AB’ + ABD’ + A’C’D’ + A’BC’ (b) BD + BCD’ + AB’C’D’ 3 -18 Draw a logic diagram using only two-input NAND gates to implement the following expression: (AB + A’B’) (CD’ + C’D) 49 / 50
Homework 3 -22 Convert the logic diagram of the circuit shown in Fig. 4 -4 into a multiple-level NAND circuit. 50 / 50
- Slides: 51