Академический Документы
Профессиональный Документы
Культура Документы
=0
7. A + A
=1
2. A. 1
=A
8. A + A
=A
3. A. A
=A
9. A + AB = A
=0
10. A+ A B = A + B
4. A. A
5. A + 0
=A
11. A + B
= B+ A
6. A + 1
=1
12. A . B
=B.A
1. A B
=A +B
13. A ( B C)
= (A B) C
14. (A + B) +C = (A )+(B+ C)
15 A + B C = (A + B) ( A+C)
15.
2. A + B
=A B
f = ABC+ ABC + BC
= ABC + BC ( A + 1)
= ABC + BC
= BC ( A + 1)
= BC
f = XYZ + X Y + XY Z
= XY ( Z + Z ) + X Y
= XY
+ XY
= Y (X + X )
= Y
f = xy + xz + yz
= xy + x z + yz ( x + x )
= xy + x z + xyz + x yz
= xy ( 1 + z ) + x z ( 1 + z )
= xy + x z
EC214 Digital Logic Design
J Ravindranadh , Associ. Prof
f = ( A + B)( A + B )( A + C)
= ( AA + A B + AB + B B )( A + C )
= ( AA A + A A B + AB A + AAC + A B C + ABC )
= AC (1 + B ) + A B C
= AC + A B C
= AC (1 + B )
= AC
f = ( A + B)(A + B + D)D
= ( A A + AB
+ A B + BB
+ A D )D
= AB D + A B D + B D + A D D
= B D ( 1 + A ) + AB D
= B D + AB D
= B D (1 + A )
= B D
EC214 Digital Logic Design
J Ravindranadh , Associ. Prof
f = AB + AB ( A C )
= AB + A B ( A + C )
= AB + AA B + A B C
= AB + A B ( A + C )
= AB + A B + A B C
= AB + A B (1 + C ) = AB + A B
= A(B + B )
= A
f = BC + AC + AB + BCD
= AC + BC
f= A B ( A + C ) + A B ( A + B + C )
= A +B
F = ABC + (B + C )(B + D) + A + C + D
= B+CD
F = ( x + y) x ( y + z ) + xy + xz
=1
Logic Gates
Logic
gate
OR
AND
Boolean
Truth
expression table
Y=A+B
Y A.B
Y=A
AB
00
01
10
11
AB
00
01
10
11
Logic
diagram
IEEE
symbol
Switching logic
Y
0
1
1
1
Y
0
0
0
1
EC214 Digital Logic Design
J Ravindranadh , Associ. Prof
Logic
gate
g
NOT
NOR
Boolean
expression
p
Truth
table
Y=A
Y=A + B
NAND Y=A . B
A
0
1
Logic
diagram
g
IEEE
symbol
y
Switching logic
Y
1
0
AB
00
01
10
11
Y
1
0
0
0
AB
00
01
10
11
Y
1
1
1
0
Logic Gates
Logic
gate
EX-OR
EXEX
NOR
Boolean
expression
Y=A B + A B
Y=A B + A B
Truth
table
Logic
diagram
AB
00
01
10
11
Y
0
1
1
0
AB
00
01
10
11
Y
1
0
0
1
IEEE
symbol
Switching logic
Universal Gates
Advantage of NAND and NOR gates are economical and easier to fabricate
The basic gates NAND and NOR are used in all IC digital logic families.
10
I
Implementing
l
ti
an Inverter
I
t Using
U i
only
l NAND Gate
G t
11
12
I
Implementing
l
ti
an Inverter
I
t Using
U i
only
l NOR Gate
G t
13
14
Minterms
Minterms is a product terms that contain all variable present in either true
or complemented form.
For n variables there 2n minterms
Maxterms
Maxterms is a sum terms that contain all variable present in true or
complemented form.
F n variables
For
i bl
there
h
2n maxterms
EC214 Digital Logic Design
J Ravindranadh , Associ. Prof
15
For Minterms:
1 means the variable is Not Complemented and
0 means the variable is Complemented.
For Maxterms:
0
0 means the variable is Not
Not Complemented
Complemented and
1 means the variable is Complemented.
EC214 Digital Logic Design
J Ravindranadh , Associ. Prof
16
Canonical form
17
18
Y = ( 1, 4, 5, 6, 7)
Y = ( 0, 2, 3 )
Express the following functions in a sum of minterms and product of maxterms
F(A,B,C,D) = D (A + B) + B D
F= (1,3,5,7,9,11,13,15)
F( w, x,y,z) = y z + w x y + w x z + w x z
F= ((1,3,5,9,12,13,14)
, , , , , , )
F= ( 0,2,4,6,8,10,12,14)
F= ( 0,2,4,6,7,8,10,,11,15)
, , , , , , ,, , )
F( A,B,C) = ( A + B ) ( B + C)
F= ( 2,4,5,6)
F= (0,1,3,7)
F = ( x y + z) ( y + x z )
F= (3,5,6,7)
(3 5 6 7)
F= ( 0
0,1,2,4)
1 2 4)
EC214 Digital Logic Design
J Ravindranadh , Associ. Prof
19
Standard forms
Standard form configuration , the terms that form the Boolean function
may contain one, two, or any number of literals.
There are two types of standard forms : the sum of products and product of
sums
Example : Function expressed in sum of products ( S O P)
F1 = y + x y + x y z
Example : Function expressed in product of sum ( P O S )
F2 = x ( y +z) ( x +y + z)
All canonical forms are standard form but standard forms are not
canonical forms
EC214 Digital Logic Design
J Ravindranadh , Associ. Prof
20
Karnaugh Maps
AK
K-map
map : matrix consisting of rows and columns that represent the output
values of a Boolean function
K-map can be of two forms
21
Groups can overlap and wrap around the sides of the K-map
22
AB
AB
AB
AB
m0
m1
m2
m3
AB
Simplify
p y the Boolean expression
p
in S O P Y(A,B)=
( , ) ( 2,, 3))
B
A
0
1
F=A
1
EC214 Digital Logic Design
J Ravindranadh , Associ. Prof
23
B
A
1
Y = A + B
B
A
1
Y = A + B
24
B
A
1
1
Y= A' B + A B'
= (A B)
B
A
1
Y=1
1
EC214 Digital Logic Design
J Ravindranadh , Associ. Prof
25
BC
A
00
01
11
10
m0
m1
m3
m2
m4
m5
m7
m6
yz
00
01
11
10
x
0
1
1
1
Y= y z + x z + x y
26
00
01
0
1
11
10
1
Y= A'
A B+AB
B = (A B)
00
01
11
10
f = x' + y
27
00
0
1
01
11
10
Y= A'
A C + A C'
C =(A C)
00
01
11
10
1
Y= C' + A B
28
00
0
1
01
11
1
1
10
1
Y = A B'
B C
C' + A'
A B
B' C + A B C+ A'B
A B C
C
= (A B C)
00
01
11
10
BC
A
f= (A) (C )
00
01
11
10
f= A C
EC214 Digital Logic Design
J Ravindranadh , Associ. Prof
29
00
01
11
00
10
Y= ( 0, 1, 4, 5, 6)
Y = B ( A
A + C)
f = ( 1, 2, 3, 5, 6, 7 )
01
11
10
f= (B) (C )
30
00
01
11
10
BC
A
0
01
11
10
0
Y = B C + A C
00
Y = (B + C)
C)(A+C)
00
01
11
10
Y= A
A B + C'
C
BC
A
00
01
11
10
Y ( B + C ) ( A + C)
Y=
EC214 Digital Logic Design
J Ravindranadh , Associ. Prof
31
00
01
11
10
0
1
BC
A
0
1
Y = A B
B +AC
00
01
11
10
Y= A ( B + C )
32
CD
AB
00
01
11
10
00
m0
m1
m3
m2
01
m4
m5
m7
m6
11
10
m8
m9
m11 m10
Y= B D + A C D
CD
AB
00
00
01
11
10
01
11
1
1
10
EC214 Digital Logic Design
J Ravindranadh , Associ. Prof
33
CD
AB
00
01
0
11
10
0
00
01
11
10
Y= D + B C
Y= B C+ B D + A B C
CD
AB
00
00
01
11
01
11
10
EC214 Digital Logic Design
J Ravindranadh , Associ. Prof
10
1
34
CD
AB
00
00
01
0
11
11
10
0
1
01
10
Y= B D + B D
Y= ( A + C ) ( A + C) ( A + B) (or) (B + C )
CD
AB
00
01
00
01
11
10
11
10
0
35
Y= ( 0, 1, 4, 5, 6, 8, 9,12, 13,14)
CD
AB
00
01
0
11
00
01
11
10
Y= ( A + C ) ( A + D)
10
0
Y= C ( B + D)
CD
AB
00
01
11
00
01
11
10
10
36
Obtain (a) minimal sum of product (b) product of sum Y= ( 0, 1, 2, 5, 8,9, 10)
CD
AB
00
01
0
00
01
11
10
0
1
Y= B D + A C D + B C
11
10
CD
AB
00
01
00
Y= ( A + B ) ( C + D ) ( B + D )
11
10
01
10
11
0
37
CD
AB
00
00
01
11
10
01
11
10
1
Y= B D + A D + B D +
(or) A B
CD
AB
00
00
01
11
10
01
Y= ( B + D) ( A + B + D )
11
10
0
0
0
38
CD
AB
00
00
01
11
10
01
11
10
CD
AB
00
01
11
00
01
11
10
10
F= (C
(C + D
D )(B+D
D))
F= D + B C
39
A=1
DE
BC
00
01
11
10
DE
BC
00
m0
m1
m3
m2
00
01
m4
m5
m7
m6
01
11
11
10
m8
10
m9
m11 m10
00
01
11
10
40
A=0
DE
BC
00
00
01
01
A=1
11
10
DE
BC
00
01
00
01
11
11
11
10
10
10
F= B E + A D
F
D E + A
A B
B E
E
EC214 Digital Logic Design
J Ravindranadh , Associ. Prof
41
A=0
DE
BC
00
01
00
11
10
DE
BC
00
A=1
01 11
00
01
01
11
10
10
11
1
10
F= C
F
C D + A B
B D
D + A
A B C D
D
EC214 Digital Logic Design
J Ravindranadh , Associ. Prof
42
A=0
DE
BC
00
01
11
10
DE
BC
00
00
00
01
01
11
10
A=1
01 11
1
1
11
1
10
10
F= B C
F
C +A
+A B E +ABD+ A C
C E
E + A B
B C D
D E
EC214 Digital Logic Design
J Ravindranadh , Associ. Prof
43
A=0
DE
BC
00
01
00
01
11
10
11
10
DE
BC
00
A=1
01 11
00
01
0
11
10
0
0
10
F= ( A + D + E) ( B
F
B + C
C +E )) ( B + C + D) (A
(A + C
C + D
D + E
E )
EC214 Digital Logic Design
J Ravindranadh , Associ. Prof
44
A=0
DE
BC
00
01
00
01
11
10
A=1
01 11
10
00
01
DE
BC
11
11
10
10
00
F= ( A + B +D ) ( A
F
A + B + D
D ) ( B +C
+C + D
D + E ) (or) ( A + B + C
C + E)
EC214 Digital Logic Design
J Ravindranadh , Associ. Prof
45
yz
wx
00
01
00
01
11
10
11
10
F= w
w z+yz
46
CD
AB
00
01
0
00
01
10
0
X
1
11
10
11
Y= A B + A B
=AB
CD
AB
00
00
01
11
10
Y= C D + C D + B C ( or) B D
01
11
10
47
YZ
WX
00
01
0
11
10
0
00
01
11
10
F= Z ( W + Y )
CD
AB
00
00
01
11
01
Y= ( C + D) ( B + C + D )
10
11
10
48
CD
AB
00
00
01
11
10
01
11
10
Y= ( C + D) ( A + B) ( B + D )
F= B C + B D + A C D
CD
AB
00
00
01
01
11
10
11
10
0
0
0
49
A=0
DE
BC
00
A=1
01
11
10
00
01
11
11
10
10
DE
BC
00
01
00
01
11
10
F= D
F
D E + B E
EC214 Digital Logic Design
J Ravindranadh , Associ. Prof
50
A=1
A=0
DE
BC
00
01
11
00
10
DE
BC
00
01
11
00
01
01
11
10
10
1
1
11
10
X
1
F= C D + A B C E + B C E + A C E
51
A=1
A=0
DE
BC
00
01
11
00
01
11
10
10
DE
BC
00
01
00
01
11
10
11
10
0
F= ( B + C) ( D + E ) ( A + C ) ( C + D + E ) ( A + B + C + D)
52
Simplify the minimum sum of product and minimum product of sum for given
Boolean function
F(A,B,C,D,E) = ( 0,1,2,6,7,9,10,15,16,18,20,21,27,30) + d ( 3, 4, 11,12,19 )
A=0
DE
BC
00
01
11
10
DE
BC
00
A=1
01 11
00
00
01
01
11
10
10
11
1
10
1
1
F= B
F
B C
C E
E + A
A C
C E + A
A C
C D + C
C D E + A B
B C D
D + A B C D E
E
+ A D E + A B D (or) A B E
EC214 Digital Logic Design
J Ravindranadh , Associ. Prof
53
A=0
DE
BC
00
01
00
11
10
01
11
10
DE
BC
00
00
A=1
01
11
0
01
0
x
x
0
11
10
10
0
0
F= ( A + C + D ) ( B + D + E ) ( A + B + C + E ) ( A+ B + C + E )
( A
A + C + D + E
E ) ( A
A + B + C
C + D
D ) ( A
A + B
B +C+E)
EC214 Digital Logic Design
J Ravindranadh , Associ. Prof
54
(a)
wxyz
0
0000
1
2
8
0001
0010
1000
10
1010
11
14
15
1011
1110
1111
0,1
0,2
0,8
0 0 __ 0
__ 0 0 0
2,10
8,10
10,11
10,14
11,15
14,15
0 0
__ 0
1 0
1 0
1 __
1 __
1 1
((c )
w x
z
__
1 0
__ 0
1 __
1 0
1 1
1 __
0,2,8,10
__ 0 __ 0
0 8 2 10
0,8,2,10
__ 0 __ 0
10,11,14,15
__
1 __
10,14,11,15
1 __
1 __
F= w
w x
x y
y + x
x z
z + w y
55
(b)
(c )
wxyz
0
0000
0001
0010
1000
10
1010
0,1
(1)
0,2
(2)
0,8
(8)
2,10
(8)
8,10
(2)
10,11
(1)
10,14
(4)
11,15
14,15
(4)
(1)
11
1011
14
1110
15
1111
0,2,8,10
( 2, 8)
0,8,2,10
, , ,
( 2,8)
, )
10,11,14,15
(1, 4 )
10,14,11,15
0
(1,
( 4))
F= w x y + x z + w y
56
(b)
(c )
wxyz
1
0001
0100
1000
0110
9
10
1001
1010
1,9
(8)
8,9,10,11
( 1, 2 )
4,6
(2)
8,10,9,11
, , ,
( 2,1)
, )
8,9
(1)
8,10
(2)
67
6,7
(1)
9,11
(2)
10,11
(1)
0111
11
1011
15
1111
7,15
(8)
11,15
(4)
57
The prime implicants consist of all the unchecked terms in the table
The prime implicants are x y z, w x z, w x y, x y z, w y z, and w x
prime-implicant table
1,9
x y z
4,6
w x z
67
6,7
w
w x y
7,15 x y z
10
X
X
X
X
X
X
11,15 w y z
11 15
X
X
89 0
8,9,10,11
w x
The
e prime
p
e implicants
p ca ts tthat
at cover
co e minterms
te s with
t a single
s g e cross
c oss in their
t e
column are called essential prime implicants .
x y z
, w x z and w x
Simplified expression F= x y z + w x z + w x + x y z
EC214 Digital Logic Design
J Ravindranadh , Associ. Prof
58
(a)
ABCDE
00000
00001
00100
00101
6
12
00110
01100
18
7
19
22
28
10010
00111
10011
10110
11100
23
10111
31
11111
(b)
(c )
0,1
,
0,4
(1)
( )
(4)
1,5
,
4,5
4,6
4,12
(4)
(1)
( )
(2)
(8)
P1
5,7
,
(2)
( )
6,7 (1)
6,22 (16)
12,28 (16) P2
18,19 (1)
18,22 (4)
7,23 (16)
19,23
(4)
22,23 (1)
23,31 (8)
0,1,4,5
( 1, 4 )
0,4,1,5 ( 4, 1 )
P4
4,5,6,7
, , ,
4,6,5,7
P5
( 1,, 2))
( 2, 1 )
6,7,22,23
6,22,7,23
( 1, 16 )
( 16, 1 )
P6
18,19,22,23 ( 1, 4 )
18,22,19,23
P7
( 1, 4 )
P3
59
The prime implicants consist of all the unchecked terms in the table
The prime implicants are ACDE , BCDE , ACDE , ABD , ABC , BCD , ABD
prime-implicant table
0 1
23 31 ACDE
23,31
0,1,4,5 ABD
4,12 ACDE
12,28 BCDE
4,5,6,7 ABC
6 22 23 BCD
6,7,22,23
C
18,19,22,23 ABD
12 18 19 22
23 28
31
X
X
X
X
X X X X
X X X X
X X
60
1
2
(a)
ABCDE
00001
00010
12
17
18
01100
10001
10010
20
24
10100
11000
13
19
21
25
01101
10011
10101
11001
15
23
27
29
01111
10111
11011
11101
31
11111
(b)
(c )
1,17 (16)
2 18 (16)
2,18
12,13 (1)
17,19 (2)
17,21 (4)
,
(8)
( )
17,25
18,19 (1)
20,21 (1)
24,25 (1)
13,15
,
13,29
19,23
19,27
21,23
21,29
25,27
25,29
15,31
23,31
27,31
29,31
P1
P2
P3
P5
P6
(2)
( )
(16)
(4)
(8)
(2)
(8)
(2)
(4)
(16)
(8)
(4)
(2)
17,19,21,23
17,19,25,27
17,21,19,23
17,21,25,29
, , ,
17,25,19,27
17,25,21,29
13,15,29,31
19,23,27,31
21 23 29 31
21,23,29,31
25,27,29,31
25,29,27,31
(d)
17 19 21 23
17,19,21,23
25,27,29,31
17,19,25,27
21 23 29 31
21,23,29,31
17,21,25,29
19,23,27,31
( 2, 4 )
( 2, 8 )
( 4, 2)
( 4,, 8 )
( 8, 4 )
( 8, 4 )
( 2, 16 ) P7
( 4, 8 )
( 2,
2 8)
( 2, 4 )
( 4, 2 )
( 2,
2 4 ,8)
8)
P8
( 2, 8 ,4)
( 4, 8,2 )
61
The prime implicants consist of all the unchecked terms in the table
The prime implicants are BCDE, BCDE, ABCD, ABCD, ABCD, ABCD, BCE, AE
prime-inmplicant table
1 2 12 13 15 17 18 19 20 21
1,17 BCDE
2,18 BCDE
12 13 A
12,13
ABCD
BCD
23 24
29
31
X
X
X
X
X
X
20,21 ABCD
X
X
2 2 ABCD
24,25
C
17,19,21,23
25,27,29,31 AE
27
18,19 ABCD
13,15,29,31BCE
25
X
X
62
(b)
(c )
wxyz
1
0001
0100
1000
0011
0101
0110
1001
10 1 0 1 0
11
1011
1,3
(2)
1,5
(4)
P1
1,9
(8)
4,5
(1)
P2
46
4,6
(2)
P3
8,9
(1)
8,10 (2)
3,11 (8)
9,11 (2)
10 11 (1)
10,11
1,3,9,11
( 2, 8)
1,9,3,11
( 8,2)
8,9,10,11 ( 1,2)
8,10,9,11 ( 2,1)
P4
P5
63
The prime implicants consist of all the unchecked terms in the table
The prime implicants are w y z , w x y, w x z, x z, w x
prime-implicant table
1,5
wyz
4,5
w x y
10 11
X
X
4,6
4
6 w
w x z
z
1,3,9,11 x z
X
X
X
X
8,9,10,11 w x
X
X
The
e prime
p
e implicants
p ca ts tthat
at cover
co e minterms
te s with
t a single
s g e cross
c oss in their
t e
column are called essential prime implicants . x z , w x
Simplified expression F = x z + w x + w x y
64
(b)
(c )
wxyz
1
2
4
0001
0010
0100
10 1 0 1 0
12 1 1 0 0
7 0111
11 1 0 1 1
13 1 1 0 1
14 1 1 1 0
15 1 1 1 1
3
9
0011
1001
1,3 (2)
1,9 (8)
2,3
(1)
,
(8)
( )
2,10
4,12 (8)
3,7 (4)
3 11 (8)
3,11
9,11 (2)
9,13 (4)
10,11 (1)
10 14 (4)
10,14
12,13 (1)
12,14 (2)
7,15 (8)
11 15 (4)
11,15
13,15 (2)
14,15 (1)
1,3,9,11
( 2, 8)
1,9,3,11
( 8,2)
2,3,10,11 ( 1,8)
2,10,3,11 ( 8,1)
3,7,11,15 ( 4, 8)
3
3,11,7,15 ( 4, 8)
9,11,13,15 ( 4, 2)
9 13 11 15 ( 4,
9,13,11,15
4 2)
10,11,14,15
( 1, 4)
10,14,11,15
( 1, 4)
12,13,14,15
( 1, 2)
12,14,13,15
( 1, 2)
65
The prime implicants consist of all the unchecked terms in the table
The prime implicants are B C D , BD, BC, CD,AD,AC,AB
prime-implicant table
4,12 B C D
1,3,9,11 BD
2,3,10,11
2
3 10 11 B
BC
C X
3,7,11,15 CD
9,11,13,15 AD
12
13
14
X
X
X
X
X
X
10,11,14,15
10
11 14 15
AC
12,13,14,15
AB
11
66
1
2
8
3
6
12
(a)
ABCDE
00001
00010
01000
00011
00110
01100
18
24
10010
11000
00111
11
13
19
21
22
25
28
01011
01101
10011
10101
10110
11001
11100
31
11111
(b)
1,3
23
2,3
2,6
2,18
8,12
8 24
8,24
(c )
(2)
(1)
(4)
(16)
(4)
(16)
3,7 (4)
3,11 (8)
P1
P2
(1)
(16)
P3
2367
2,3,6,7
( 1,
1 4)
P9
( 1, 16 )
P10
2,3,18,19
2,6,3,7
, , ,
( 4,, 1 )
P4
P5
2,6,18,22 ( 4, 16 )
3,19
,
(16)
( )
2,18,3,19
( 16, 1 )
6,7
6,22
2,18,6,22
( 16, 4 )
8,12,24,28 ( 4, 16 )
12 13 (1)
12,13
P6
12,28 (16)
P7
18,19
18 22
18,,22
24,25
24,28
(1)
(4)
(1)
(4)
P11
8,24,12,28
P12
( 16, 4 )
P8
67
31
21 ABCDE
31 ABCDE
1,3 ABCE
3,7 ABDE
3,11 ACDE
12 13 A
12,13
ABCD
BCD
12,28 BCDE
24,25 ABCD
X
X
2,3,6,7 ABD
2,3,18,19 BCD
2,6,18,22 ,BDE
8,12,24,28 BDE
X X
68
The prime implicants that cover minterms with a single cross in their
column are called essential prime implicants .
Essential prime implicants are ABCDE, ABCDE,ABCD, ABCD,BCD, BDE
p
expression
p
Simplified
ABCDE + ABCDE + ABCD + ABCD+ BCD+ BDE + BDE
69
NAND Implementation
ABC
A +B+C
ABC
A
B
F
C
D
F
C
D
EC214 Digital Logic Design
J Ravindranadh , Associ. Prof
70
x
y
x
y
z
x
y
x
y
F
F
x
y
z
x
y
z
71
72
level 3
level 2
level 1
73
level 4
level 3
level 2
level 1
74
NOR Implementation
Two level NOR Implementation
A NOR gate equivalent logic gate
A+B+C
ABC =
A+B+C
75
level 4
level 3
level 2
level 1
76
level
e e 5
level
e e 4
level 3
level 2
level 1
77