Minimizacin por el mtodo de QUINE-McCLUSKEY

Se tienen dos formas de desarrollar el mtodo de Quine-McCluskey: con una

combinacin binaria y una combinacin decimal. Ambas formas se desarrollarn mediante dos
ejemplos, respectivamente.

Combinacin BINARIA.
Sea la funcin:
F(A, B, C, D) = m (1, 3, 4, 5, 7, 9, 10, 11, 15)
La TABLA 1 presenta la lista de los minitrminos, expresados en forma binaria e
indica el nmero de UNOS que estos contienen:

TABLA 1
mi

A B C D # de UNOS

1
3
4
5
7
9
10
11
15

0
0
0
0
0
1
1
1
1

0
0
1
1
1
0
0
0
1

0
1
0
0
1
0
1
1
1

1
1
0
1
1
1
0
1
1

1
2
1
2
3
2
2
3
4

En la TABLA 2, se agrupan los minitrminos con el mismo nmero de UNOS.

TABLA 2
# de UNOS mi
1
2
3
4

1
4
3
5
9
10
7
11
15

A B C D
0
0
0
0
1
1
0
1
1

0
1
0
1
0
0
1
0
1

0
0
1
0
0
1
1
1
1

1
0
1
1
1
0
1
1
1

De la TABLA 2, se combinan los trminos que tienen un solo UNO con los que tienen
dos UNOS, los que tienen dos UNOS con los que tienen tres UNOS y as sucesivamente.
Dos trminos se podrn combinar siempre y cuando exista un solo cambio entre ellos;
es decir, cuando el lugar en que estn colocados los UNOS coincidan.
Por ejemplo, los trminos 1 y 3 se combinan debido a lo siguiente:
ABCD + ABCD = ABD(C + C) = ABXD
0 0 01

0 0 11

00X1

O sea que entre los trminos 1 y 3 se elimin la variable C. Haciendo lo mismo con los
dems trminos, se obtiene la TABLA 3.

TABLA 3
NIVEL
DE AGRUPACIN

COMBINACIN

1-3
1-5
1-9
4-5
3-7
3-11
5-7
9-11
10-11
7-15
11-15

0
0
X
0
0
X
0
1
1
X
1

0
X
0
1
X
0
1
0
0
1
X

X
0
0
0
1
1
X
X
1
1
1

1
1
1
X
1
1
1
1
X
1
1

1-2

2-3

3-4

*e

*d

Los trminos que en su fila tienen , son los que se combinaron. Los trminos con *, son
los que no pudieron combinarse; es decir, aquellos que en su fila no tienen . A estos trminos
se les denomina IMPLICANTES PRIMOS.
Para la TABLA 4, se combinan los niveles de agrupacin 1-2 con 2-3 y 2-3 con 3-4,
tomando en cuenta que coincidan tanto las x como los UNOS.

TABLA 4
NIVEL
DE AGRUPACIN

1-2-3
2-3-4

COMBINACIN

1-3-5-7
1-3-9-11
3-7-11-15

0
X
x

x
0
x

x
x
1

1
1
1

*c
*b
*a

Como ya se indic, los implicantes primos son trminos que no se combinan con
ningn otro, por tanto pueden formar parte de la funcin reducida. Para determinar cules de
los implicantes primos forman parte de la funcin reducida, se hace la siguiente tabla, llamada
de implicantes primos.

TABLA 5. Implicantes primos

*
a
b
c
d
e
a
b
c
d

mi
1

10

(
)

*
*
*
*

(
)

15

(
)

(
)

11

Obsrvese que en la tabla anterior, se encerraron entre parntesis las que se

encontraron solas en una columna y su fila se proyect en la parte inferior de la tabla.
Si en los cuatro penltimos renglones se llenan todas las columnas (ltima fila),
entonces se ha llegado a la solucin mnima.
Ntese que c no tuvo ninguna sola dentro de sus columnas, lo que significa que este
implicante primo est contenido en los dems; es decir, no forma parte de la funcin
reducida.
Por tanto, la funcin reducida es:
F(A, B, C, D) = a + b + d + e
Donde:
a = XX11 = CD
b = X0X1 = BD
d = 101X = ABC
e = 010X = ABC
Finalmente, la funcin reducida es:
F(A, B, C, D) = CD + BD + ABC + ABC

Combinacin DECIMAL
Retomando el problema anterior:
F(A, B, C, D) = m (1, 3, 4, 5, 7, 9, 10, 11, 15)
La TABLA 1 de la combinacin decimal es idntica a la combinacin binaria. En la
TABLA 2 se agrupan los minitrminos por su nmero de UNOS:

TABLA 2
# de UNOS

1
2
3
4

mi
1
4
3
5
9
10
7
11
15

sustraendo

minuendo

sustraendo

minuendo

Las TABLAS 3 y 4 se obtienen aplicando las siguientes reglas:

sustraendo
minuendo

REGLA 1:
REGLA 2:
REGLA 3:

La diferencia entre dos minitrminos de dos niveles contiguos, debe seguir la

regla de formacin binaria (1, 2, 4, 8, etc.).
El sustraendo debe ser menor que el minuendo.
Los trminos de un nivel se combinan con los del inmediato superior si las
diferencias son iguales y adems se cumplen las REGLAS 1 y 2.

Aplicando estas reglas se obtienen las TABLAS 3 y 4.

TABLA 3
NIVEL
DE AGRUPASIN

COMBINACIN

1-3
1-5
1-9
4-5
3-7
3-11
5-7
9-11
10-11
7-11
11-15

1-2

2-3

3-4

DIFERENCIA

2
x

*e

x
x

*d

x
x

TABLA 4
NIVEL
DE AGRUPASIN

DIFERENCIA

COMBINACIN

1-3-5-7
1-3-9-11
1-3-11-15

1-2-3
2-3-4

x
x

4
x

2
x
x

1
*c
*b
*a

Pasando a la tabla de implicantes primos:

*
a
b
c
d
e
a
b
d
e

TABLA 5. Implicantes primos

mi
1

10

11

15

(
)

(
)

(
)

Como la tabla se complet, la funcin reducida es:

F(A, B, C, D) = a + b + c + d

*
*

*
*

(
)

Los implicantes primos, en funcin de A, B, C y D, se obtienen de los minitrminos

que los forman eliminando los lugares donde ocurren las diferencias.
*
a

b
d
e

mi

A B C D
8

3
7
11
15
1
3
9
11
10
11
4
5

0
0
1
1
0
0
1
1
1
1
0
0

0
1
0
1
0
0
0
0
0
0
1
1

1
1
1
1
0
1
0
1
1
1
0
0

1
1
1
1
1
1
1
1
0
1
0
1

xx11
xx11
xx11
xx11
x0x1
x0x1
x0x1
x0x1
101x
101x
010x
010x

a = CD

b = BD

d = A BCA

e = AB C

Por lo tanto, la funcin reducida es:

F(A, B, C, D) = CD + BD + ABC + ABC
EJEMPLO 1. Determine la expresin mnima, como una suma de productos, la siguiente
funcin de conmutacin, utilizando el mtodo de Quine-McCluskey.
F(A, B, C, D) = m (1 3,5,9 11,18 21,23,25 27)
SOLUCIN

TABLA 1
mi
1
2
3
5
9
10
11
18
19
20
21
23
25
26
27

A
0
0
0
0
0
0
0
1
1
1
1
1
1
1
1

B
0
0
0
0
1
1
1
0
0
0
0
0
1
1
1

C
0
0
0
1
0
0
0
0
0
1
1
1
0
0
0

D
0
1
1
0
0
1
1
1
1
0
0
1
0
1
1

E
1
0
1
1
1
0
1
0
1
0
1
1
1
0
1

# de UNOS
1
1
2
2
2
2
3
2
3
2
3
4
3
3
4

TABLA 2
# de UNOS

1
2

mi
1
2
3
5
9

# de UNOS

mi
10
18
20
11
19
21
25
26
23
27

TABLA 3
NIVEL
DE AGRUPACIN

1-2

2-3

3-4

DIFERENCIA
COMBINACIN

1-3
1-5
1-9
2-3
2-10
2-18
3-11
3-19
5-21
9-11
9-25
10-11
10-26
18-19
18-26
20-21
11-27
19-23
19-27
21-23
25-27
26-27

16

x
x

*h

x
x

*g

x
x

*f

*e

x
x

*d

TABLA 4
NIVEL
DE AGRUPACIN

1-2-3

2-3-4

COMBINACIN

1-3-9-11
2-3-10-11
2-3-18-19
2-10-18-26
3-11-19-27
9-11-25-27
10-11-26-27
18-19-26-27

DIFERENCIA

16

x
x
x
x
x
x
x

*c
x
x

x
x
x
x

*b
x
x

TABLA 5
NIVEL
DE AGRUPACIN

COMBINACIN

1-2-3-4

2-3-10-11-18-19-26-27

DIFERENCIA

16

1
x

*a

25

26

27

(
)

Pasando a la tabla de implicantes primos:

TABLA 6 (Implicantes primos)

*
a
b
c
d
e
f
g
h
a
b
f

mi
1

(
)

10

11

18

19

(
)

(
)

(
)

20

21

(
)

(
)

23

*
*

De la TABLA 6, se observa que la ltima fila no est completa, ya que los minitrminos
1, 5 y 23 no estn considerados. Adems, los implicantes primos c, d, e, g y h, no fueron
tomados en cuenta en las 3 penltimas filas.
Tanto los minitrminos como los implicantes primos mencionados, sirven de base
para obtener la TABLA 7.

TABLA 7
*
c
d
e
g
h

mi
1

23

En la TABLA 7, se observa que en ninguna de las 3 columnas existe una encerrada

en parntesis, por lo que no se puede hacer ninguna simplificacin. Cuando esto ocurre, se
aplican los dos teoremas siguientes:
T.1

En la tabla reducida de implicantes primos, cuando la fila A contiene los mismos

minitrminos que la fila B, se dice que A = B y son intercambiables; es decir, se puede
tomar a cualesquiera de ellas como implicante primo que entra a formar parte de la
funcin reducida.

T.2

En la tabla reducida de implicantes primos, si la fila A contiene los mismos

minitrminos que la fila B, pero adems A contiene otros minitrminos distintos a los de

B, se dice que A domina a B, o que B . A Por tanto, A forma parte de la funcin

reducida.
De la TABLA 7, se observa que d y e contienen el mismo minitrmino (23), por tanto:
d=e
Asimismo, se observa que h domina a c y a g, es decir:
h cyh g
Finalmente, la funcin reducida est dada por:
F(A, B, C, D, E) = a + b + d + f + h
Siguiendo el mismo procedimiento que en el ejemplo anterior, los implicantes primos
resultante quedan finalmente:
a = CD , b = BCE , d = ABCE , f = ABCD , h = ABDE
EJEMPLO 2. Determine la expresin mnima, como una suma de productos, de la siguiente
funcin de conmutacin, utilizando el mtodo de Quine-McCluskey.
F(A, B, C, D) = m (3,4,7,9,1 0) + x (0 2,13 15)
SOLUCIN
Obsrvese que la funcin contiene trminos indiferentes o irrelevantes. Sin embargo,
el proceso de reduccin es igual al seguido en el ejemplo 1, con excepcin de la tabla de
implicantes primos, en la cual no deben intervenir los trminos indiferentes.
La TABLA 1 se forma con los minitrminos y los trminos indiferentes y se contina
en las tablas sucesivas con el proceso de reduccin, siguiendo los pasos y reglas de ejemplo 1.

TABLA 1
mi

# de UNOS

0
1
3
4
7
9
10
13
14
15

0
1
2
1
3
2
2
3
3
4

TABLA 2
# de UNOS

0
1

mi
0
1
2
4

3
9
10
7
13
14
15

3
4

TABLA 3
NIVEL
DE AGRUPACIN

DIFERENCIA
COMBINACIN

0-1
0-2
0-4
1-3
1-9
2-3
2-10
3-7
9-13
10-14
7-15
13-15
14-15

0-1

1-2

2-3

3-4

1
x

x
x

*j

x
x

*i
x

*h
*g
*f
*e
*d
*c
*b

x
x
x
x
x
x

TABLA 4
NIVEL
DE AGRUPACIN

COMBINACIN

0-1-2

0-1-2-3

DIFERENCIA

2
x

1
x

*a

Como se indic, para la tabla de implicantes primos slo se consideran los

minitrminos, ya que estos son los que deben generarse, excluyendo los trminos
indiferentes.

TABLA 5
*
a
b
c
d
e
f
g
h
i
j

mi
3

10

(
)

De la TABLA 5, se observa que los minitrminos que no fueron cubiertos son 3, 7, 9 y

10 y los implicantes primos que no han sido considerados son a, d, e, f, g, h e i. Los

implicantes primos b y c no se incluyen puesto que son combinaciones de trminos

indiferentes.
La TABLA 6 se obtiene con los minitrminos e implicantes primos que no fueron
considerados.
TABLA 6

mi
3

a
b
c
d
e
f
g
h
i

10

De la tabla anterior se observa que g contiene a a y d, por lo que debe formar parte de
la funcin reducida. Asimismo, f e i contienen al minitrmino 9, por lo que puede tomarse a
cualquiera de los dos; en forma similar e y h contienen al minitrmino 10, pudiendo elegirse a
alguno de los dos.
Finalmente, la funcin reducida queda en la forma:
F(A, B, C, D) = (e o h) + (f o i) + g + j

La determinacin de los implicante primos (en funcin de A, B, C y D) resultantes, se

obtienen de la TABLA 7.

TABLA 7
*

e
h
f
i
g
j

A
1

B
x

C
1

D
0

x
1

0
x

1
0

0
1

ACD
BCD
ACD
BCD
ACD
ACD

F(A, B, C, D) = (AB D o BCD) + (ACD o BCD) + ACD + ACD

F(A, B, C, D) puede tomar otra forma al combinar sus trminos e, f, g y j
algebraicamente y suponiendo que se cuenta con compuertas O EXCLUSIVA, en la siguiente
forma:
F(A, B, C, D) = A(CD + CD) + A(CD + CD) = A(C D) + A(C D) = A (C D)