Está en la página 1de 9

UNIVERSIDAD NACIONAL DEL CENTRO DEL PERU

SISTEMAS DIGITALES

Mtodo de Quine-McCluskey Es una tcnica tabular que garantiza encontrar la expresin mnima en forma cannica para una funcin, por medio de un conjunto de pasos especficos, superando la limitante del mapa K (respecto al nmero de variables con las que puede trabajar) y su mayor ventaja es que puede ser programado de manera sencilla. El mtodo consta de dos partes, la primera es hallar los trminos candidatos para la reduccin, stos se denominan implicantes primos. La segunda fase consiste en elegir de entre los implicantes primos, a aquellos que puedan dar la expresin con el menor nmero de variables.

m 0 1 2 3 4 5 6 7 8

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

N de unos

0 1 1 2 1 2 2 3 1

9
10 11 12 13 14 15

1
1 1 1 1 1 1

0
0 0 1 1 1 1

0
1 1 0 0 1 1

1
0 1 0 1 0 1

2
2 3 2 3 3 4

Sea la funcin: F = m(1, 5, 6, 7, 11, 12, 13, 15). La tabla presenta la lista de los minitrminos, expresados en forma binaria e indica el nmero de unos que estos contienen:
m 1 5 6 7 11 12 13 15 A B C D 0 0 0 0 1 1 1 1 0 1 1 1 0 1 1 1 0 0 1 1 1 0 0 1 1 1 0 1 1 0 1 1
N de unos

1 2 2 3 3 2 3 4

Lo primero que se tiene que hacer es construir una tabla en la que cada fila es un mintrmino. Los mintrminos son agrupados de acuerdo al nmero de variables complementadas. Es decir, se comenzar con el mintrmino que est formado por n variables complementadas (m0), claro, si existe. Se continuar con el mintrmino con n1 variables complementadas (m1), y as sucesivamente hasta llegar al mintrmino mn1. La tabla muestra lo anterior.

N de unos

m 1

A B C D 0 0 0 1

2
2 2 3 3 3 4

5
6 12 7 11 13 15

0
0 1 0 1 1 1

1
1 1 1 0 1 1

0
1 0 1 1 0 1

1
0 0 1 1 1 1

El siguiente paso consiste en comparar el implicante primo de un bloque con todos los del siguiente bloque, y elegir aquellos que solo difieren en una variable y con esos trminos generar otra tabla, los trminos usados son marcados. La tabla lo ejemplifica.
Nivel Combinacin

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

1-2

1-5 5-7 5-13 6-7 12-13

2-3

7-15
3-4 11-15 13-15

1 1

1
1

1
1 -

1
1 1

Se repite la seleccin de mintrminos que solo difieran en un solo valor, generando la tabla
Nivel Combinacin

A B C D 1 1 1 1

1-2-3 2-3-4

5-7-13-15 5-13-7-15

Como se puede observar ya no es posible reducir ms (los trminos que quedan difieren entre de si por ms de un elemento), lo que se hace es escribir en una tabla los trminos que no fueron marcados para la simplificacin
Combinacin

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

Trmino ACB ABC ACD ABC BD

1-5 6-7 11-15 12-13 5-7-13-15

El segundo paso consiste en elegir de entre los implicantes primos, a aquellos que puedan dar la expresin con el menor nmero de variables, as que para tal efecto se construye una matriz como la que muestra la tabla, donde cada columna corresponde a un mintrmino, y cada rengln contiene a todos los implicantes primos encontrados.

Trmino
ACB ABC ACD ABC

Combinacin

1
X

5
X

6
X

7
X

11

12

13

15

1-5 6-7 11-15 12-13

X X X

BD

5-7-13-15

Se seleccionan a todas aquellas columnas que solo tengan un elemento en ellas, as se tiene la certeza de que estos valores son representados por la funcin, en este caso es m1, m6, m11 y m12, como estos por rengln cubren a m5, m7, m13 y m15, el trmino que los representa es innecesario y se obtiene la siguiente funcin: F = ACD + ABC + ACD + ABC.
Trmino ACB ABC ACD ABC BD
Combinacin

1 X

5 X

6 X

7 X

11

12

13

15

1-5 6-7 11-15 12-13 5-7-13-15

X X X X X X

X X