Minimization Techniques in Deld
Minimization Techniques in Deld
Minimization Techniques in Deld
Minimization techniques
By
Prof. Anand N. Gharu
Assistant Professor
Computer Department
Combinational Logic Circuits
Introduction
Standard representation of canonical forms (SOP &
POS), Maxterm and Minterm , Conversion between SOP
and POS forms
K-map reduction techniques upto 4 variables (SOP & POS form),
Design of Half Adder, Full Adder, Half Subtractor & Full Subtractor
using k-Map
Code Converter using K-map: Gray to Binary Binary to Gray Code
Converter (upto 4 bit)
IC 7447 as BCD to 7- Segment decoder driver
IC 7483 as Adder & Subtractor, 1 Digit BCD Adder
Block Schematic of ALU IC 74181 IC 74381
8/29/2017 2
Standard Representation
8/29/2017 3
SOP Form
Sum
8/29/2017 4
POS Form
Y ( A B ).( B C ).( A C )
Sum
8/29/2017 5
Standard or Canonical SOP & POS Forms
8/29/2017 6
Standard SOP
8/29/2017 7
Standard POS
Y ( A B C ).( A B C ).( A B C )
Each sum term
consists all the
literals
8/29/2017 8
Examples
3 Standard POS
Y ( A B).( A B).( A B )
8/29/2017 9
Conversion of SOP form to Standard SOP
Procedure:
1. Write down all the terms.
2. If one or more variables are missing in any
product term, expand the term by
multiplying it with the sum of each one of
the missing variable and its complement .
3. Drop out the redundant terms
8/29/2017 10
Example 1
Convert given expression into its standard SOP form Y AB AC BC
Y AB AC BC
Missing literal is A
Missing literal is B
Missing literal is C
8/29/2017 11
Example 1 Continue.
8/29/2017 12
Conversion of POS form to Standard POS
Procedure:
1. Write down all the terms.
2. If one or more variables are missing in any
sum term, expand the term by adding the
products of each one of the missing variable
and its complement .
3. Drop out the redundant terms
8/29/2017 13
Example 2
Convert given expression into its standard SOP form Y ( A B).( A C ) ( B C )
Y ( A B).( A C ) ( B C )
Missing literal is A
Missing literal is B
Missing literal is C
8/29/2017 14
Example 2 Continue.
Y ( A B C )( A B C )( A B C )( A B C )
Y ( A B C )( A B C )( A B C )( A B C )
8/29/2017 15
Concept of Minterm and Maxterm
8/29/2017 16
The concept of minterm and max term allows
us to introduce a very convenient shorthand
notation to express logic functions
8/29/2017 17
Minterms & Maxterms for 3 variable/literal logic
function
Variables Minterms Maxterms
A B C mi Mi
0 0 0
ABC m0 A B C M 0
0 0 1
ABC m1 A B C M1
0 1 0
ABC m 2 A B C M 2
0 1 1
ABC m3 A B C M3
1 0 0 ABC m 4 A B C M 4
1 0 1
ABC m5 A B C M5
1 1 0
ABC m6 A B C M 6
1 8/29/2017 1 1 Nevase
ABCAmit m7 A B C M 7 18
Minterms and maxterms
8/29/2017 19
Minterms & Maxterms for 2 variable/literal logic
function
A B mi Mi
0 0 AB m0 A B M 0
0 1
AB m1 A B M1
1 0
AB m 2 A B M 2
1 1 AB m3 A B M3
8/29/2017 20
Representation of Logical expression using minterm
m7 m3 m4 m5 Corresponding
minterms
Y m 7 m3 m 4 m5
Y m(3, 4,5, 7) OR
Y f ( A, B, C ) m(3, 4,5, 7)
M2 M0 M6 Corresponding
maxterms
Y M 2.M 0.M 6
Y M (0, 2, 6) OR
Y f ( A, B, C ) M (0, 2, 6)
8/29/2017 22
Conversion from SOP to POS & Vice versa
8/29/2017 23
Conversion from SOP to POS & Vice versa
8/29/2017 25
Combinational Logic Circuits
Introduction
Standard representation of canonical forms (SOP & POS),
Maxterm and Minterm , Conversion between SOP and POS forms
K-map reduction techniques upto 4 variables (SOP &
POS form), Design of Half Adder, Full Adder, Half Subtractor &
Full Subtractor using k-Map
Code Converter using K-map: Gray to Binary, Binary to Gray Code
Converter (upto 4 bit)
IC 7447 as BCD to 7- Segment decoder driver
IC 7483 as Adder & Subtractor, 1 Digit BCD Adder
Block Schematic of ALU IC 74181 IC 74381
8/29/2017 26
Karnaugh Map (K-map)
8/29/2017 27
Karnaugh Map (K-map)
8/29/2017 28
Karnaugh Map (K-map)
A
B 0 1
8/29/2017 29
Karnaugh Map (K-map)
A A
A A
B 0 1 B 0 1
0 AB AB 0 m0 m1
B
B 1 AB AB 1 m2 m3
K-map & its associated minterms
8/29/2017 30
Karnaugh Map (K-map)
Relationship between Truth Table & K-map
A A
A
B 0 1
A B Y 0 0
B 0
0 0 0 1 1 1
B
0 1 1
1 0 0
B B
B
1 1 1 A 0 1
A 0 0 1
A 1 0 1
8/29/2017 31
Karnaugh Map (K-map)
K-map Structure - 3 Variable
A, B & C are variables or inputs
AB 3 variable k-map consists of 8 boxes i.e. 23=8
C A
BC 0 1
0
00
1
01
BC
00 01 11 10 11
A
10
0
8/29/2017 32
Karnaugh Map (K-map)
3 Variable K-map & its associated product
terms
AB
C 00 01 11 10 A
BC 0 1
0 ABC ABC ABC ABC
00 ABC ABC
1 ABC ABC ABC ABC
01 ABC ABC
BC
01 11 10 11 ABC ABC
A 00
8/29/2017 33
Karnaugh Map (K-map)
3 Variable K-map & its associated minterms
AB
00 01 11 10
C A
BC 0 1
0 m0 m 2 m6 m 4
00 m0 m4
1 m1 m3 m7 m5
01 m1 m5
BC
A 00 01 11 10 11 m3 m7
0 m0 m1 m3 m 2 10 m2 m6
1 m 4 m5 m 7 m 6
8/29/2017 34
Karnaugh Map (K-map)
K-map Structure - 4 Variable
A, B, C & D are variables or inputs
4 variable k-map consists of 16 boxes i.e. 24=16
AB CD
CD 00 01 11 10 AB 00 01 11 10
00 00
01 01
11 11
10 10
8/29/2017 35
Karnaugh Map (K-map)
4 Variable K-map and its associated product
terms
AB CD
CD 00 01 11 10 AB 00 01 11 10
8/29/2017 36
Karnaugh Map (K-map)
4 Variable K-map and its associated minterms
AB CD
CD 00 01 11 10 AB 00 01 11 10
m0 m4 m12 m8 m0 m1 m3 m2
00 00
01 m1 m5 m13 m9 01 m4 m5 m7 m6
8/29/2017 37
Representation of Standard SOP form
expression on K-map
For example, SOP equation is given as
Y ABC ABC ABC ABC ABC
The given expression is in the standard SOP form.
Each term represents a minterm.
We have to enter 1 in the boxes corresponding to each
minterm as below ABC ABC
BC BC BC BC BC
A 00 01 11 10
1 1 0 0
A 0
A 1 1 0 1 1
ABC
8/29/2017 39
Simplification of K-map
8/29/2017 40
Grouping
BC BC BC BC BC
A 00 01 11 10
0 0 1 1
A 0 Y ABC ABC
0 0 0 0
A 1 Y AB(C C )
Y AB ( C C 1)
8/29/2017 42
Grouping of Two Adjacent 1s : Pair
BC BC BC BC BC BC BC BC BC BC
A 00 01 11 10 A 00 01 11 10
0 0 0 0 0 1 1 1
A 0 A 0
1 0 0 1 A 1 0 0 1 0
A 1
BC BC BC BC BC B B B
A 00 01 11 10 A 0 1
0 1 0 0 1 1
A 0 A 0
A 1 0 1 0 0 A 1 1 0
8/29/2017 43
Grouping of Two Adjacent 1s : Pair
CD CD CD CD CD
AB 00 01 11 10
0 1 0 0
AB 00
01 0 0 0 0
AB
AB 11 0 0 0 0
0 1 0 0
AB 10
8/29/2017 44
Possible Grouping of Four Adjacent 1s : Quad
01 0 0 0 0 01 0 1 0 0
AB AB
AB 11 0 0 0 0 AB 11 0 1 0 0
1 1 1 1 0 1 0 0
AB 10 AB 10
8/29/2017 45
Possible Grouping of Four Adjacent 1s : Quad
01 1 1 0 0 01 0 0 0 0
AB AB
AB 11 1 1 0 0 AB 11 0 0 0 0
0 0 0 0 0 1 1 0
AB 10 AB 10
8/29/2017 46
Possible Grouping of Four Adjacent 1s : Quad
01 0 0 0 0 01 1 0 0 1
AB AB
AB 11 0 0 0 0 AB 11 1 0 0 1
1 0 0 1 0 0 0 0
AB 10 AB 10
8/29/2017 47
Possible Grouping of Four Adjacent 1s : Quad
01 0 1 1 1 01 0 1 1 0
AB AB
AB 11 0 1 1 1 AB 11 0 1 1 0
0 0 0 0 0 1 1 0
AB 10 AB 10
8/29/2017 48
Possible Grouping of Eight Adjacent 1s : Octet
01 0 0 0 0 01 0 1 1 0
AB AB
AB 11 1 1 1 1 AB 11 0 1 1 0
1 1 1 1 0 1 1 0
AB 10 AB 10
8/29/2017 49
Possible Grouping of Eight Adjacent 1s : Octet
01 0 0 0 0 01 1 0 0 1
AB AB
AB 11 0 0 0 0 AB 11 1 0 0 1
1 1 1 1 1 0 0 1
AB 10 AB 10
8/29/2017 50
Rules for K-map simplification
A
A A A
A A
B 0 1 B 0 1
0 0
B 0 B 0
1 1 1
B 1 B 1
8/29/2017 51
Rules for K-map simplification
A
A A A
A A
B 0 1 B 0 1
0 1 0 1
B 0 B 0
1 0 1 1
B 1 B 1
8/29/2017 52
Rules for K-map simplification
0 1 1 1 0 1 1 1
A 0 A 0
0 0 0 0 A 1 0 0 0 0
A 1
A
A A A
A A
B 0 1 B 0 1
1 1 1 1
B 0 B 0
0 1 0 1
B 1 B 1
8/29/2017
Not Accepted Accepted 53
Rules for K-map simplification
BC BC BC BC BC BC BC BC BC BC
A 00 01 11 10 A 00 01 11 10
1 1 1 1 1 1 1 1
A 0 A 0
0 0 1 1 A 1 0 0 1 1
A 1
8/29/2017 54
Rules for K-map simplification
BC BC BC BC BC
A 00 01 11 10
0 0 0 1
A 0
A 1 0 0 1 0
8/29/2017 55
Rules for K-map simplification
BC BC BC BC BC
A 00 01 11 10
1 1 1 1
A 0
A 1 0 0 1 1
8/29/2017 56
Rules for K-map simplification
CD CD CD CD CD
AB 00 01 11 10
1 1 1 1 BC BC BC BC BC
AB 00 A 00 01 11 10
0 0 0 0 1 0 0 1
AB 01
A 0
AB 11 0 0 0 0 A 1 1 0 0 1
1 1 1 1
AB 10
8/29/2017 57
Rules for K-map simplification
BC BC BC BC BC BC BC BC BC BC
A 00 01 11 10 A 00 01 11 10
1 1 1 1 1 1 1 1
A 0 A 0
0 0 1 1 A 1 0 0 1 1
A 1
8/29/2017 58
Rules for K-map simplification
8/29/2017 59
Example 1
AB AB AB AB AB
C 00 01 11 10
0 1 1 1
C 0
C 1 0 0 1 0
8/29/2017 60
Example 1 continue..
AB AB AB AB AB
C 00 01 11 10
0 1 1 1
C 0 AC
C 1 0 0 1 0
BC AB
8/29/2017 61
Example 2
AB AB AB AB AB
C 00 01 11 10
1 1 0 1
C 0
C 1 1 0 0 1
8/29/2017 62
Example 2 continue..
AB AB AB AB AB
C 00 01 11 10
1 1 0 1
C 0
C 1 1 0 0 1
AC B
8/29/2017 63
Example 3
8/29/2017 64
Example 3 continue
BC BC BC BC BC AB
A 00 01 11 10
1 0 1 1
A 0
A 1 0 1 0 0
AC
ABC
Simplified Boolean
expression
8/29/2017 Y AC AB ABC 65
Example 4
8/29/2017 66
Example 4 continue..
Y m(0,1, 2, 5,13,15)
CD CD CD CD CD
AB 00 01 11 10 ABD
1 0 1 1 0 3 1 2
AB 00
01 0 4 1 5 0 7 0 6
AB
AB 11 0 12 1 13 1 15 0 14
Simplified Boolean
expression
0 8 0 9 0 11 0 10
AB 10
Y ABD ACD ABD
ACD ABD
8/29/2017 67
Example 5
f ( A, B, C , D) m(1,3,5,9,11,13)
8/29/2017 68
Example 5 continue..
f ( A, B, C, D) m(1, 3, 5, 9,11,13)
CD CD CD CD CD
AB 00 01 11 10
0 0 1 1 1 3 0 2
AB 00
01 0 4 1 5 0 7 0 6
AB
AB 11 0 12 1 13 0 15 0 14
Simplified Boolean
expression
0 8 1 9 1 11 0 10
AB 10
f BD CD
f D( B C )
BD CD
8/29/2017 69
Example 6
f ( A, B, C , D) m(4,5,8,9,11,12,13,15)
8/29/2017 70
Example 6 continue..
f ( A, B, C, D) m(4,5,8,9,11,12,13,15)
CD CD CD CD CD
AB 00 01 11 10
BC
0 0 0 1 0 3 0 2
AB 00
01 1 4 1 5 0 7 0 6
AB
AB 11 1 12 1 13 1 15 0 14
Simplified Boolean
expression
1 8 1 9 1 11 0 10
AB 10
f BC AC AD
AC AD
8/29/2017 71
Example 7
f 2( A, B, C , D) m(0,1, 2,3,11,12,14,15)
8/29/2017 72
Example 7 continue..
f 2( A, B, C, D) m(0,1, 2,3,11,12,14,15)
CD CD CD CD CD
AB 00 01 11 10
AB
1 0 1 1 1 3 1 2
AB 00
01 0 4 0 5 0 7 0 6
AB
AB 11 1 12 0 13 1 15 1 14
Simplified Boolean
expression
0 8 0 9 1 11 0 10
AB 10
f 2 AB ABD ACD
ABD ACD
8/29/2017 73
Example 8
1. f 1( A, B, C ) m(0,1,3, 4,5)
2.
f 2( A, B, C ) m(0,1, 2,3, 6, 7)
8/29/2017 74
Example 8 continue
AC
BC BC BC BC BC BC BC BC BC BC
A 00 01 11 10 A 00 01 11 10
1 0 1 1 1 3 0 2 1 0 1 1 1 3 1 2
A 0 A 0
4
1
4
1 5 0 7 0 6 A 1 0 0 5 1 7 1 6
A 1
A B
B
Simplify ;
8/29/2017 76
Example 9 continue..
f ( A, B, C, D) m(0,1, 4,5,7,8,9,12,13,15)
CD CD CD CD CD
AB 00 01 11 10
1 0 1 1 0 3 0 2
AB 00
01 1 4 1 5 1 7 0 6
AB
AB 11 1 12 1 13 1 15 0 14
Simplified Boolean
expression
f C BD
1 8 1 9 0 11 0 10
AB 10
C BD
8/29/2017 77
Example 10
1. f 1( A, B, C , D) m(0,1,3, 4,5, 7)
2.
f 2( A, B, C ) m(0,1,3, 4,5, 7)
8/29/2017 78
Example 10 continue
AB 10 0 8 0 9 0 11 0 10 B C
Simplified Boolean
AC AD
expression
Simplified Boolean f 2 BC
expression f AC AD
8/29/2017
1
79
K-map and dont care conditions
8/29/2017 80
K-map and dont care conditions
8/29/2017 81
K-map and dont care conditions
8/29/2017 82
K-map and dont care conditions - Example
Simplify ;
8/29/2017 83
K-map and dont care conditions - Example
CD CD CD CD CD
AB 00 01 11 10
X 0 1 1 1 3 X 2
AB 00
01 0 4 X 5 1 7 0 6
AB
AB 11 0 12 0 13 1 15 0 14
Simplified Boolean
expression
0 8 0 9 1 11 0 10 f CD AB AD
AB 10
AB AD CD