Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
List of Topics
Canonical forms
Product of Sums
Finding the Minterms
Minimization techniques
K Map example problems
Half adder , Full adder, Mux, De Mux
CLC
Min Term:
ANDed product of literals in which each variable appears exactly once, in true or
complemented form.
Canonical Forms
One of the most powerful theorems within Boolean algebra states that any Boolean
function can be expressed as the Sum Of Products (SOP) of all the variables with in
the system .
A+B
= A(1)+B(1)
= A(B+B)+B(A+A)
= AB+AB+AB+AB Min Terms
A
0
0
0
0
1
1
1
1
B
0
0
1
1
0
0
1
1
C
0
1
0
1
0
1
0
1
Minterms
A B C = m0
A B C = m1
A B C = m2
A B C = m3
A B C = m4
A B C = m5
A B C = m6
A B C = m7
F in canonical form:
F(A,B,C) = Sm(3,4,5,6,7)
= m3 + m4 + m5 + m6 + m7
= A' B C+A B' C+A B' C+A B C+A B C
A
0
0
0
0
1
1
1
1
B
0
0
1
1
0
0
1
1
C
0
1
0
1
0
1
0
1
Maxterms
A + B + C = M0
A + B + C = M1
A + B + C = M2
A + B + C = M3
A + B + C = M4
A + B + C = M5
A + B + C = M6
A + B + C = M7
F(A,B,C) = P M(0,1,2)
= (A + B + C) (A + B + C') (A + B' + C)
Maxterms
Minterm Designation
Example: find the minterm designation of ABCD
Copy the term
ABCD
1000
m8
Therefore, ABCD= m8
Minimization Technique
Logic Minimization: reduce complexity of the gate level implementation
TABULATION METHOD
(Quine-McCluskey Method)
2-variable
K-map
0
1
AB
00
CD
2
00
01
11
00
12
13
15
11
14
10
3
01
A
AB
C
3-variable
K-map
00
01
11
11
10
10
0
1
4-variable
K-map
CD 00
01
01
11
10
1
12
8
13
1
3
0 4 05
11
10
1
15
0 9 011
14
010
NAND Implementation
A
B
A
C
A
B
D
F = AB+AC+ABD
Half Adder
Sum = XY+XY
= XY
Carry = XY
X Y = X Y + X Y XOR
X Y = X Y +X Y
XNOR
Full Adder
SUM=
Carry Out=
I0
I1
2:1
mux
A
I0
I1
I2
I3
4:1
mux
A B
I0
I1
I2
I3
I4
I5
I6
I7
8:1
mux
A B C
Demultiplexers /Decoders
Single data input, n control inputs, 2n outputs
Control inputs (called selects (S)) represent binary index of output to which
the input is connected
Data input usually called enable (G)
2:4 Decoder
1:2 Decoder
G
S
O0
O0
O1
O1
1:2 Decoder
O0 = G S
O1 = G S
2:4 Decoder
O0 = G S1 S0
O1 = G S1 S0
O2 = G S1 S0
O3 = G S1 S0
O2
O3
S1 S0