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
1 3 4 5 7 9 10 11 15

A B C D # de UNOS
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

A 0 0 X 0 0 X 0 1 1 X 1

B 0 X 0 1 X 0 1 0 0 1 X

C X 0 0 0 1 1 X X 1 1 1

D 1 1 1 X 1 1 1 1 X 1 1

1-2

2-3

3-4

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

*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 COMBINACIN

A 0 X x

B x 0 x

C x x 1

D 1 1 1

1-2-3 2-3-4

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

*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

9
( )

10

11

15
( )

* * * *

( )

( )

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

sustraendo minuendo

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

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 DIFERENCIA

4 x

1-2

2-3

3-4

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

2 x

x x x x x x x

*e

*d

TABLA 4
NIVEL DE AGRUPASIN COMBINACIN DIFERENCIA

8 x x

1-2-3 2-3-4

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

4 x x

2 x x

1 *c *b *a

Pasando a la tabla de implicantes primos: TABLA 5. Implicantes primos mi

1

* a b c d e a b d e

9
( )

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 mi
3 7 11 15 1 3 9 11 10 11 4 5

A B C D
8 4 2 1

b d e

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 mi 1 2 3 5 9

1 2

# de UNOS

4 TABLA 3
NIVEL DE AGRUPACIN

mi 10 18 20 11 19 21 25 26 23 27

DIFERENCIA COMBINACIN

16

4 x

2 x

1 *h x *g x x x *f *e *d x

1-2

2-3

3-4

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

x x x x x x x x x x x x x x x

TABLA 4
NIVEL DE AGRUPACIN COMBINACIN DIFERENCIA

16

1-2-3

2-3-4

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

x x x x x x x x x

x x x

*c

x x x x

*b

TABLA 5
NIVEL DE AGRUPACIN COMBINACIN DIFERENCIA

16 x

8 x

1 x *a

1-2-3-4

2-3-10-11-18-19-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 2
( )

10
( )

11

18
( )

19
( )

20

21

23

25
( )

26
( )

27

* *

( )

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. 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

T.2

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
0 1 3 4 7 9 10 13 14 15

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

TABLA 2
# de UNOS

0 1

mi 0 1 2 4

3 4

3 9 10 7 13 14 15

TABLA 3
NIVEL DE AGRUPACIN DIFERENCIA COMBINACIN

2 x

1 x

0-1

1-2

2-3

3-4

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

x x x x x x x x x x x

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

TABLA 4
NIVEL DE AGRUPACIN COMBINACIN DIFERENCIA

0-1-2

0-1-2-3

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

*
a b c d e f g h i

mi 3

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 x 1 x 0 0

B x 0 x 0 x x

C 1 1 0 0 1 0

D 0 0 1 1 1 0

ACD BCD AC D 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)