2.3.3.

Algoritmo QuineMcCluskey
El Algoritmo QuineMcCluskey es un mtodo de simplificacin de funciones booleanas
desarrollado por Willard Van Orman Quine y Edward J. McCluskey. Es funcionalmente
idntico a la utilizacin del mapa de Karnaugh, pero su forma tabular lo hace ms
eficiente para su implementacin en lenguajes computacionales, y provee un mtodo
determinstico de conseguir la mnima expresin de una funcin booleana. Aunque
cuando se trata de trabajar con ms de cuatro variables, el tiempo de resolucin del
algoritmo Quine-McCluskey crece de forma exponencial con el aumento del nmero de
variables. Se puede demostrar que para una funcin de n variables el lmite superior del
nmero de implicantes primos es 3n/n. Si n=32 habr ms de 6.5*1015 implicantes
primos. Funciones con un nmero grande de variables tienen que ser minimizadas con
otros mtodos heursticos.
Terminologa para la simplificacin
A continuacin definiremos algunos trminos comnmente utilizados en los procesos de
simplificacin de funciones lgicas.
Implicante: Conjunto de unos en un mapa de Karnaugh que representa un trmino
producto de variables. Se denomina implicante porque cuando este trmino toma el
valor 1, implica que tambin la funcin toma el valor 1. Un mintrmino solo es un
implicante.
Implicante Primo: Implicante que no est incluido completamente dentro de otro
implicante. No puede combinarse con otro implicante para eliminar un literal.
Implicante Primo Esencial: Implicante primo que contiene uno o mas mintrminos que
no estn incluidos en cualquier otro implicante primo.
En el siguiente mapa de Karnaugh:
Los trminos I II y III son implicantes primos
El termino IV no es implicante primo
Los trminos I y III son implicantes primos
esenciales
El termino II no es un implicante primo esenciales
La funcin se obtiene con los trminos I y III

Pasos para la Simplificacin

El algoritmo de Quine-McCluskey consta de dos pasos:
1. Encontrar todos los implicantes primos de la funcin.
2. Usar esos implicantes en una tabla de implicantes primos para encontrar los
implicantes primos esenciales, los cuales son necesarios y suficientes para generar la
funcin.

Ejemplo
Minimice la funcin siguiente utilizando el mtodo de Quine-McCluskey:

Paso 1:
Se colocan en una tabla todos los minitrminos evaluados en la funcin como
agrupndolos respecto a la cantidad de unos que contienen. Los trminos prescindibles
tambin son agregados a la tabla, estos pueden combinarse con los minitrminos:

En este punto, uno puede empezar a combinar los minitrminos entre s. Si dos
minitrminos slo varan en un solo dgito, ese dgito debe reemplazarse por un guin
"-" indicando que ese bit no importa. Los trminos que ya no pueden combinarse ms
son marcados con "*".

Paso 2:
Los trminos marcados con "*" ya no pueden combinarse ms, en este punto ya
tenemos la tabla de implicantes primos. En el costado van los implicantes primos
recientemente generados, y en la parte superior los minitrminos utilizados. Los
minitrminos correspondientes a los prescindibles son omitidos en este paso, no se
colocan en la parte superior.

En esta tabla vemos los minitrminos que "cubre" cada implicante primo. Ninguno de
los implicantes de esta tabla est incluido dentro de otro (esto queda garantizado en el
paso uno), pero si puede estar "cubierto" por dos o ms implicantes. Es el caso de
m(8,9,10,11) que est cubierto por m(8,10,12,14) y m(10,11,14,15) o m(8,10,12,14) que
est cubierto por m(8,9,10,11) y m(4,12). Por este motivo, cada uno de estos dos
implicantes slo son esenciales en ausencia del otro. Un proceso adicional simple para
reducir estos implicantes es prueba y error, pero un proceso ms sistemtico es el
mtodo de Petrick. En el caso que estamos analizando, los dos implicantes primos
m(4,12) y m(10,11,14,15) no llegan a incluir todos los minitrminos por lo que podemos
combinar estos implicantes con cada uno de los implicantes no esenciales para
conseguir dos funciones mnimas: