Minimización Combinatoria

Luis Parraguez
Sección de Sistemas Digitales y Control
Departamento de Electricidad
Ingeniería, Anzoátegui, UDO
Contenido
Introducción

Mapas de Veitch - Karnaugh

Mapas de 2 variables
Mapas de 3 variables
Mapas de 4 y más variables

Método Tabular de Quine - Mc Kluskey

Algorítmo Básico
Cobertura Mínima

Funciones Incompletamente Especificadas

Sistemas con Salidas Múltiples

Anillos de McCalla
Introducción

I La Minimización persigue: Economía y Rapidez.

I Busca expresiones lógicamente equivalentes, pero con
menor número de:
I Literales,
I Sumas,
I Productos.

I Logrando un menor número de Compuertas y/o Circuitos

Integrados.
Mapas de Veitch - Karnaugh
F(x,y ) = c0 (x y ) + c1 (xy ) + c2 (xy ) + c3 (xy )
= c0 m0 + c1 m1 + c2 m2 + c3 m3

donde:
I mi : Términos mínimos de la función
I ci : Coeficientes (constantes).

y c1 xy c3 xy 1 c1 m1 c3 m3
1 c1 c3
y y
y c0 xy c2 xy 0 c0 m0 c2 m2 0 c0 c2
0 1
x x 0 1 x
x
Mapas de 2 variables

No importa como se disponen inicialmente las variables de la

función F(x,y )

c3 1 c2 c3 y
1 c1
y x 0 1
0 c0 c2 0 c0 c1
0 c0 c1
0 1 0 1 x
y 1 c2 c3
x

el Mapa-VK generado será consistente para nuestros propósitos.

Ejemplo: Mapas de 2 variables

F(x,y ) = 1x y + 1xy + 0xy + 1xy

= x y + xy + xy
= ∑ (0, 1, 3) x y
F(x,y ) = x y + (xy + xy ) 0 1
F(x,y ) = (x y + xy ) + (xy + xy ) 0 1 1
F(x,y ) = x (y + y ) + y (x + x) x
1 0 1
= x (1) + y (1)
F(x,y ) = x + y
y
¿Fácil?. Difícil también se puede.
Aunque los Mapas-VK son un método gráfico para obtener
formas SDP simplificadas, algunas veces proporcionan una
realización PDS directa.

y
0 1
F(x,y ) = 1x y + 1xy + 0xy + 1xy 0 1 1
= x y + xy + xy x
1 0 1
= ∑ (0, 1, 3)
F(x,y ) = ∏ (2)
F(x,y ) = x +y x +y
Mapas de 3 variables

F(x,y ,z) = c0 m0 +c1 m1 +c2 m2 +c3 m3 +c4 m4 +c5 m5 +c6 m6 +c7 m7

z
0 1
00 c0 c1
yz
00 01 11 10 01 c2 c3
xy
0 c0 c1 c3 c2 11 c6 c7
x
1 c4 c5 c7 c6 10 c4 c5
Ejemplo

F(x,y ,z) = Σ (0, 1, 2, 3, 6, 7)

yz
00 01 11 10
0 1 1 1 1 x
x
1 0 0 1 1

F(x,y ,z) = x + y
Mapa de 4 variables

F(w,x,y ,z)
yz
00 01 11 10
00 c0 c1 c3 c2
01 c4 c5 c7 c6
wx
11 c12 c13 c15 c14
10 c8 c9 c10 c11
Ejemplo
F(w,x,y ,z) = ∑ (0, 1, 2, 3, 6, 7, 12)
yz
00 01 11 10
00 1 1 1 1
01 0 0 1 1
wx
11 1 0 0 0
10 0 0 0 0

F(w,x,y ,z) = w x + wy + wxy z

Mapa de 5 variables F(v ,w,x,y ,z)

yz
v = 1 00 01 11 10
yz 00 c16 c17 c19 c18
v = 0 00 01 11 10
01 c20 c21 c23 c22
00 c0 c1 c3 c2 wx
c6 11 c28 c29 c31 c30
01 c4 c5 c7
wx 10 c24 c25 c27 c26
11 c12 c13 c15 c14
10 c8 c9 c11 c10
Método Tabular de Quine - Mc Kluskey
F(a,b,c,d) = Σ (0, 2, 3, 6, 7, 8, 9, 10, 13)
#’s 1 Cubo-0 Cubo-1 Cubo-2
√ √
0 0 0,2(2) 0,2,8,10(2,8)∗
√ √
1 2 0,8(8) 2,3,6,7(1,4)∗
√ √
8 2,3(1)
√ √
2 3 2,6(4)
√ √
6 2,10(8)
√
9 8,9(1)∗
√ √
10 8,10(2)
√ √
3 7 3,7(4)
√ √
13 6,7(1)
9,13(4)∗
Cobertura Mínima
Implicante Primo 0 2 3 6 7 8 9 10 13
√ √ √ √
0,2,8,10(2,8)♣
√ √ √ √
2,3,6,7(1,4)♣
√ √
8,9(1)
√ √
9,13(4)♣
√ √ √ √ √ √ √ √ √

0,2,8,10(2,8) āb̄c̄ d̄ X
āb̄c̄Xd̄ b̄d̄
2,3,6,7(1,4) āb̄c d̄ āX
b̄c d̄
X āc
9,13(4) ab̄c̄d aX
b̄c̄d ac̄d

F(a,b,c,d) = b d + ac + acd
Otro Ejemplo

F(a,b,c,d) = Σ (0, 1, 2, 3, 6, 7, 12)

#’s 1 Cubo-0 Cubo-1 Cubo-2

√ √
0 0√ 0,1(1)√ 0,1,2,3(1,2)∗
1 1√ 0,2(2)√ 2,3,6,7(1,4)∗
2√ 1,3(2)√
2 3√ 2,3(1)√
6 2,6(4)√
12♣
√ 3,7(4)√
3 7 6,7(1)
Otro Ejemplo (2)
Implicante Primo 0 1 2 3 6 7 12
√
12♣
√ √ √ √
0,1,2,3(1,2)♣
√ √ √ √
2,3,6,7(1,4)♣
√ √ √ √ √ √ √

12 abc d abc d
0,1,2,3(1,2) a b c d ab
2,3,6,7(1,4) a bcd ac

F(a,b,c,d) = abc d + a b + ac
Ejemplo 3
F(a,b,c,d,e) = Σ (0, 6, 8, 10, 12, 14, 17, 19, 20, 22, 25, 27, 28, 30)
#’s 1 Cubo-0 Cubo-1 Cubo-2
√
0 0√ 0,8(8)∗√ 8,10,12,14(2,4)∗
1 8√ 8,10(2)√ 6,14,22,30(8,16)∗
2 6√ 8,12(4)√ 12,14,28,30(2,16)∗
10√ 6,14(8) √ 17,19,25,27(2,8)∗
12√ 6,22(16)√ 20,22,28,30(2,8)∗
17√ 10,14(4)√
20√ 12,14(2) √
3 14√ 12,28(16)√
19√ 17,19(2)√
22√ 20,22(2)√
25√ 20,28(8) √
28√ 14,30(16)√
4 27√ 19,27(8)√
30 22,30(8)√
25,27(2)√
28,30(2)
Ejemplo 3. Continuación.
Implicante Nombre
8,10,12,14(2,4) IP1
6,14,22,30(8,16) IP2
12,14,28,30(2,16) IP3
17,19,25,27(2,8) IP4
20,22,28,30(2,8) IP5
0,8(8) IP6

IP 0 6
8 10 12 14 17 19 20 22 25 27 28 30
√ √ √ √
IP1 ♣
√ √ √ √
IP2 ♣
√ √ √ √
IP3
√ √ √ √
IP4 ♣
√ √ √ √
IP5 ♣
√ √
IP6 ♣
√ √ √ √ √ √ √ √ √ √ √ √ √ √
Ejemplo 3. Continuación..
16 8 4 2 1
Implicante Nombre Tér. Desa.
a b c d e
8,10,12,14(2,4) IP1 ♣ abc d e abe
6,14,22,30(8,16) IP2 ♣ a bcd e cde
12,14,28,30(2,16) IP3
17,19,25,27(2,8) IP4 ♣ ab c de ace
20,22,28,30(2,8) IP5 ♣ abcd e ace
0,8(8) IP6 ♣ abc d e ac d e

F(a,b,c,d,e) = Σ (0, 6, 8, 10, 12, 14, 17, 19, 20, 22, 25, 27, 28, 30)
= abe + cde + ace + ace + a c d e
Ejemplo 4
F(a,b,c,d,e) = Σ (1, 2, 3, 5, 9, 10, 11, 18, 19, 20, 21, 23, 25, 26, 27)
#’s 1 Cubo-0 Cubo-1 Cubo-2 Cubo-3
√ √
1 1√ 1,3(2) 1,3,9,11(1,8)∗√ 2,3,10,11,18.19,26,27(1,8,16)∗
2√ 1,5(4)∗
√ 2,3,10,11(1,8) √
2 3√ 1,9(8)√ 2,3,18,19(1,16) √
5√ 2,3(1) √ 2,10,18,26(8,16)√
9√ 2,10(8) √ 3,11,19,27(8,16)
10√ 2,18(16)√ 9,11,25,27(2,16)∗√
18√ 3,11(8) √ 10,11,26,27(1,16)√
20√ 3,19(16) 18,19,26,27(1,8)
3 11√ 5,21(16)∗
√
19√ 9,11(2) √
21√ 9,25(16)√
25√ 10,11(1) √
26√ 10,26(16)√
4 23√ 18,19(1)√
27 18,26(8)
20,21(1)∗√
11,27(16)
19,23(4)∗
21,23(2)∗√
25,27(2)√
26,27(1)
Ejemplo 4. Continuación.
Implicante Nombre
2,3,10,11,18.19,26,27(1,8,16) IP1
9,11,25,27(2,16) IP2
1,3,9,11(1,8) IP3
1,5(4) IP4
5,21(16) IP5
20,21(1) IP6
19,23(4) IP7
21,23(2) IP8

IP 1 2 3 5 9 10 11 18 19 20 21 23 25 26 27
√ √ √ √ √ √ √ √
IP1 ♣
√ √ √ √
IP2 ♣
√ √ √ √
IP3
√ √
IP4
√ √
IP5
√ √
IP6 ♣
√ √
IP7
√ √
IP8
√ √ √ √ √ √ √ √ √ √ √
Ejemplo 4. Continuación..

IP 1 5 23
√ IP 1 5 23
IP3 √ IP 1 5
√ √ IP3 √
IP4 √ √ IP3
√ IP4 √ √
IP5 IP7 ≡ IP8 √ IP4 ♣
√ IP5 √
IP7 √ IP5
√ IP7 ♣ √ √
IP8 √
Ejemplo 4. Continuación...

16 8 4 2 1
Implicante Nombre a bcd e Tér. Desa.
2,3,10,11,18.19,26,27(1,8,16) IP1 ♣ abc d e cd
9,11,25,27(2,16) IP2 ♣ abc d e bce
1,5(4) IP4 ♣ abc d e abd e
20,21(1) IP6 ♣ abc d e abc d
19,23(4) IP7 ♣ abc d e abd e

F(a,b,c,d,e) = Σ (1, 2, 3, 5, 9, 10, 11, 18, 19, 20, 21, 23, 25, 26, 27)
= c d +bc e +abd e +abc d +abd e
Convertidor BCD-7seg
BCD
wx yz wxyz a b c d e f g
0 0000 1 1 1 1 1 1 0
1 0001 0 1 1 0 0 0 0
BCD
2 0010 1 1 0 1 1 0 1
a
3 0011 1 1 1 1 0 0 1
7 seg.
4 0100 0 1 1 0 0 1 1
a g
5 0101 1 0 1 1 0 1 1
a 6 0110 0 0 1 1 1 1 1
7 0111 1 1 1 0 0 0 0
f b 8 1000 1 1 1 1 1 1 1
g 9 1001 1 1 1 0 0 1 1
...
e c

d
Segmento e
BCD
wx yz
wxyz a b c d e f g
0 0000 1 1 1 1 1 1 0
BCD
1 0001 0 1 1 0 0 0 0
a
2 0010 1 1 0 1 1 0 1
7 seg.
3 0011 1 1 1 1 0 0 1
a g 4 0100 0 1 1 0 0 1 1
a 5 0101 1 0 1 1 0 1 1
6 0110 0 0 1 1 1 1 1
f b 7 0111 1 1 1 0 0 0 0
g 8 1000 1 1 1 1 1 1 1
9 1001 1 1 1 0 0 1 1
e c ...
e(w,x,y ,z) = ∑ (0, 2, 6, 8)
d
Segmento e(w,x,y ,z) = ∑ (0, 2, 6, 8)
yz yz
00 01 11 10 00 01 11 10
00 1 1 00 1 1

01 1 01 1
wx wx
11 11

10 1 10 1

F(w,x,y ,z) = x y z + wy z
Costo: (1 Or 2E) + (2 And 3E) + (4 Not)
Segmento e completamente específicado
wxyz a b c d e f g
0 0000 1 1 1 1 1 1 0
1 0001 0 1 1 0 0 0 0
2 0010 1 1 0 1 1 0 1
3 0011 1 1 1 1 0 0 1
4 0100 0 1 1 0 0 1 1
5 0101 1 0 1 1 0 1 1
6 0110 0 0 1 1 1 1 1
7 0111 1 1 1 0 0 0 0
8 1000 1 1 1 1 1 1 1
9 1001 1 1 1 0 0 1 1
A 1010 X X X X X X X
B 1011 X X X X X X X
C 1100 X X X X X X X
D 1101 X X X X X X X
E 1110 X X X X X X X
F 1111 X X X X X X X
e(w,x,y ,z) =
∑ (0, 2, 6, 8) + X (10, 11, 12, 13, 14, 15)
yz
yz 00 01 11 10
00 01 11 10
00 1 1
00 1 1
01 1
01 1 wx
wx 11 X X X X
11 X X X X
10 1 X X
10 1 X X
F(w,x,y ,z) = x z + y z
Costo: (1 Or 2E) + (2 And 2E) + (2 Not)
Comparación del comportamiento
wxyz eie(w,x,y ,z) = x y z + wy z ece(w,x,y ,z) = x z + y z
0 0000 1 1
1 0001 0 0
2 0010 1 1
3 0011 0 0
4 0100 0 0
5 0101 0 0
6 0110 1 1
7 0111 0 0
8 1000 1 1
9 1001 0 0
A 1010 0 1
B 1011 0 0
C 1100 0 0
D 1101 0 0
E 1110 0 1
F 1111 0 0
Salidas Múltiples
wxyz a b c d e f g
0 0000 1 1 1 1 1 1 0
1 0001 0 1 1 0 0 0 0
2 0010 1 1 0 1 1 0 1
3 0011 1 1 1 1 0 0 1
4 0100 0 1 1 0 0 1 1
5 0101 1 0 1 1 0 1 1
6 0110 0 0 1 1 1 1 1
7 0111 1 1 1 0 0 0 0
8 1000 1 1 1 1 1 1 1
9 1001 1 1 1 0 0 1 1
A 1010 X X X X X X X
B 1011 X X X X X X X
C 1100 X X X X X X X
D 1101 X X X X X X X
E 1110 X X X X X X X
F 1111 X X X X X X X
Salidas Múltiples..
d = Σ (0, 2, 3, 5, 6, 8) e = Σ (0, 2, 6, 8) f = Σ (0, 4, 5, 6, 8, 9)
yz yz yz
00011110 00011110 00011110
00 1 1 1 00 1 1 00 1
01 1 1 01 1 01 1 1 1
wx

wx

wx
11 x x x x 11 x x x x 11 x x x x
10 1 x x 10 1 x x 10 1 1 x x

d ∗e d ∗f e∗f d ∗e∗f
yz yz yz yz
00011110 00011110 00011110 00011110
00 1 1 00 1 00 1 00 1
01 1 01 1 1 01 1 01 1
wx

wx

wx

wx
11 x x x x 11 x x x x 11 x x x x 11 x x x x
10 1 x x 10 1 x x 10 1 x x 10 1 x x
Salidas Múltiples...
d ∗e∗f e∗f d ∗f d ∗e
yz yz yz yz
00011110 00011110 00011110 00011110
00 1 00 t1 00 t1 00 t1 1
01 1 01 t1 01 1 t1 01 t1
wx

wx

wx

wx
11 x x x x 11 x x x t1 11 x x x t1 11 x x t2 t1
10 1 x x 10 t1 x x 10 t1 x x 10 t1 x x
t1 = x y z + x y z t2 = 0 t3 = x y z t4 = w x y z
d = Σ (0, 2, 3, 5, 6, 8) e = Σ (0, 2, 6, 8) f = Σ (0, 4, 5, 6, 8, 9)
yz yz yz
00011110 00011110 00011110
00 t1 1 t4 00 t1 t4 00 t1
01 t3 t1 01 t1 01 1 t3 t1
wx

wx

wx
11 x t 3 x t1 11 x x x t1 11 x t 3 x t1
10 t1 x x 10 t1 x x 10 t1 1 x x
d =w x y z + t1 + t3 + e = t1 + t4 f = w x y z + t1 + t3
t4
Salidas Múltiples...Más elaboradas

d = Σ (0, 2, 3, 5, 6, 8) e = Σ (0, 2, 6, 8) f = Σ (0, 4, 5, 6, 8, 9)

yz yz yz
00011110 00011110 00011110
00 t1 1 t4 00 t1 t4 00 t1
01 t3 t1 01 t1 01 1 t3 t1

wx
wx

wx
11 x t3 x t1 11 x x x t1 11 x t3 x t1
10 t1 x x 10 t1 x x 10 t1 1 x x
d =x y + t1 + t3 e = t1 + t4 f = y z + t1 + t3
Anillos de McCalla

¡Asignación para la casa!