Instituto Tecnolgico de Lerma

Electrnica Digital

Investigacin: Mtodo de Quine-McCluskey

Poot Lugo Cecilia Jovana

Ing. Alberto Crdova Broca

6 Semestre

Ingeniera Mecatrnica

San Francisco de Campeche, Campeche 1 de junio 2017

 INTRODUCCIN

El mtodo de minimizacin mediante el mapa de Karnaugh es un mtodo cmodo,

pero tiene el inconveniente de que no se trata de un procedimiento sistemtico y
totalmente objetivo, sobre todo cuando se tratan de funciones de conmutacin de
ms de cuatro variables.

Existe un procedimiento que, aunque es arduo de seguir a mano, tiene la ventaja

de que es sistemtico y fcilmente programable en una computadora. Se trata del
mtodo de Quine-McCluskey (Q-M en adelante).

Simplifica las funciones Booleanas en dos etapas:

1. Obtencin de los implicantes primos.

2. Obtencin de la funcin Booleana simplificada.

 MTODO DE QUINE-McCLUSKEY

El mtodo de Quine McCluskey es til para minimizar expresiones algebraicas

que describen circuitos lgicos electrnicos. La cualidad de este mtodo es que es
un mtodo tabular y grfico, ideal para programarlo y obtener as un algoritmo que
permita la obtencin de expresiones algebraicas minimizadas del circuito en
cuestin. El mtodo de Quine-McCluskey (QM) o mtodo tabular consiste en
obtener de manera sistemtica adyacencias en orden creciente hasta llegar a las
de mayor orden posible, las cuales llamaremos implicantes primarios.

METODOLOGA

Teniendo de ejemplo el siguiente ejercicio procederemos a explicar los pasos a

llevar a cabo el mtodo: Sea la siguiente funcin lgica de 5 variables:

F (X, Y, Z, U, V) = (0,2,3,5,7,8,10,11,13,15,22,29,30)

Primer Paso

Representar los mintrminos en su forma binaria y especificar su ndice (nmero

de unos)

Ilustracin 1 Tabla de Verdad

Segundo Paso
Agrupar los mintrminos segn el nmero de unos que contengan (su ndice).

Ilustracin 2 Agrupamiento como indica el paso 2

Tercer paso

Obtener las adyacencias de primer orden siguiendo los siguientes pasos y reglas:

Comparar cada mintrmino con sus adyacentes (es decir los de ndice
inmediatamente superior)
Un mintrmino slo puede ser adyacente con otro del siguiente grupo
siempre que tenga un valor decimal mayor
Un mintrmino slo puede ser adyacente con otro siempre que su diferencia
sea una potencia de 2.
Montar una tabla donde adems de las parejas de mintrminos que forman
adyacencias de primer orden, aparezca entre parntesis la diferencia entre
sus valores decimales.
Esta diferencia dar la posicin de la coordenada (). Los dos mintrminos
los escribiremos ordenados (a la izquierda el menor).
Los mintrminos que vayamos usando para obtener adyacencias se marcan
en la tabla anterior para saber que han sido cubiertos
 Ilustracin 3 Desarrollo del Paso 3

Cuarto paso

Se deben realizar los siguientes pasos y reglas:

Comparamos las adyacencias de un grupo con las de su siguiente

Para que dos adyacencias de primer orden formen una de segundo orden es
necesario que la posicin de su coordenada vacua (que hemos escrito entre
parntesis) est en la misma posicin.
Una adyacencia de primer orden A1=(m11-m12) slo puede ser adyacente
con otra del siguiente grupo A2=(m21-m22) si su primer mintrmino m11 es
menor que el primer mintrmino m21 de A2.
Dos adyacencias de primer orden A1=(m11-m12) y A2=(m21-m22) slo
podrn formar una de segundo orden si m21-m11 es una potencia de
Escribimos segn esto otra tabla donde adems de las parejas de
adyacencias de primer orden que forman adyacencias de segundo orden,
aparezcan entre parntesis y separados por coma la diferencia anterior y
nueva entre los valores decimales de los mintrminos iniciales.
Estas diferencias darn la posicin de las dos coordenadas vacuas
Los cuatro mintrminos los escribiremos ordenados (a la izquierda el menor).
Podremos formar una adyacencia de segundo orden a travs de dos parejas
diferentes de adyacencias de primer orden, aunque slo las escribiremos una
vez
 Las adyacencias que vayamos usando para obtener adyacencias mayores
las marcaremos en la tabla anterior para saber que han sido cubiertas.

Ilustracin 4 Tabla respectiva al paso 4

Quinto Paso

Se sigue con las adyacencias de tercer orden y superior con el mismo procedimiento
anterior hasta que ya no se obtengan ms adyacencias.

Sexto Paso

Nombramos las adyacencias no cubiertas empezando por las del final (orden
mayor) hacia las del principio (orden menor)

De esta forma se obtiene la siguiente lista:

Ilustracin 5 Lista obtenida al efectuar el paso 6

 IMPLICANTES PRIMARIOS

Definicin: Dadas dos funciones f y g con las mismas variables se dice que f
incluye a g (se representa como f > g) si para cualquier carcter del alfabeto de
entrada cuando g sea uno, f tambin sea uno.

Es decir, si la tabla verdad de f tiene al menos todos los 1 de la tabla

verdad de g.
Una funcin lgica se puede expresar como una suma de mintrminos; en
caso de que dos mintrminos formen una adyacencia de primer orden las
expresiones de los dos mintrminos se transformaran una una nica
expresin (de una variable menos). As seguiramos sucesivamente hasta
llegar a las adyacencias de mayor orden posible.
Todas estas expresiones (mintrminos, adyacencias de 1er orden
adyacencias de 2 orden, etc.) se llaman implicantes ya que el que una de
ellas valga uno, implica que la funcin lgica valga tambin uno
(independientemente del valor del resto de trminos).
Cuando tenemos una adyacencia (implicante) que ya no puede ser incluida
en otra de orden superior decimos que tenemos un implicante primario.
La lista de adyacencias obtenida en el apartado anterior est formada por los
implicantes primarios de la funcin lgica del ejemplo.

Teorema: Cualquier realizacin mnima en la forma de suma de productos ha de

incluir slo implicantes primarios.

Segn el teorema anterior cualquier realizacin mnima ha de estar formada slo

por implicantes primarios. Sin embargo, cualquier realizacin que incluya slo
implicantes primarios no quiere decir que sea mnima.

A partir de la siguiente tabla se eliminan los implicantes primarios no necesarios y

quedan los implicantes primarios esenciales. En las filas se colocan los implicantes
primarios encontrados y en las columnas los mintrminos de la funcin.
En las intersecciones se coloca una x en caso de que el implicante contenga al
mintrmino en cuestin.

En primer lugar, se obtienen los implicantes primarios esenciales examinando la

tabla por columnas. Aquella columna que tenga una nica x convertir al
implicante que la contenga en esencial. En este caso se obtienen los implicantes
primarios esenciales son {a, d, e, f}. En segundo lugar, una vez determinados los
implicantes primarios esenciales marcamos () los mintrminos cubiertos por ellos,
as como los implicantes primarios esenciales. En este caso quedan todos los
mintrminos marcados excepto {3,11}.

Ilustracin 6 Tabla de Implicantes

En tercer lugar, hay que escoger implicantes primarios que cubran los mintrminos
no cubiertos. Este paso suele ser sencillo y normalmente puede hacerse por simple
inspeccin. En este caso cualquiera de los dos implicantes b y c cubre los
mintrminos por cubrir (3 y 11) por lo que dado que ambos son del mismo costo
(mismo nmero de entradas) elegiremos cualquiera de los dos indistintamente.

Se tiene por tanto que la funcin lgica simplificada puede expresarse de la

siguiente forma: F = a + b + d + e + f F = a + c + d + e + f

donde a, b, c, d, e, f son (en funcin de las variables lgicas x, y, z, u, v)

IMPLICANTES REDUCIDOS
El procedimiento para obtener los implicantes primarios que cubran los mintrminos
pendientes es el de ir eliminando filas basndonos en los conceptos de equivalencia
y dominancia.
 Definicin: Decimos que dos filas de una tabla de implicantes reducida son
equivalentes si cubren los mismos mintrminos (tienen las mismas marcas).
Definicin: Decimos que una fila de una tabla de implicantes reducida domina
a otra si cubre todos sus mintrminos y algunos ms.
En este ltimo ejemplo las filas h e i son equivalentes ya que ambas cubren
nicamente al mismo mintrmino (el 1). Si volvemos a la tabla de implicantes
de la que proceden vemos que adems ambos implicantes primarios son del
mismo costo (mismo nmero de compuertas), por lo que escogeremos
cualquiera de ellos.
Por otro lado, vemos que el implicante primario d est dominado por el c, por
lo que el d puede descartarse.
Igualmente, el implicante f est tambin dominado por el c, por lo que para
cubrir los mintrminos 12 y 13 utilizamos el implicante primario dominante c.
Las dos posibles combinaciones de implicantes primarios no esenciales para
cubrir los mintrminos no cubiertos 1, 12 y 13 son entonces c + h o c + i.

Ilustracin 7 Tabla de Implicantes Reducidos

 CONCLUSIN

Dependiendo de la cantidad de variables que se manejen se recomienda un mtodo

de solucin, si estamos trabajando con dos o tres variables en el problema se puede
simplificar a travs de las leyes y teoremas del algebra de Boole. Cuando ya
tenemos tres o cuatro variables se recomienda trabajar con mapas de Karnaugh
siempre y cuando se sigan las reglas bsicas para lograr una buena simplificacin.

Po otro lado, cuando queremos programar un mtodo de simplificacin o tenemos

ms de cuatro variables, aunque se pueda trabajar con cualquiera de los dos
mtodos anteriores, se recomienda evolucionar a mtodos que nos permita detectar
errores ms fcilmente a medida que crece la complejidad del sistema, uno de ellos
seria Quine-McCluskey.
 BIBLIOGRAFA

Garca Daz, J. A. (2010). Obtenido de Instituto Tecnologico de Costa Rica:

http://www.ie.itcr.ac.cr/jdiaz/licenciatura/DISENO_LOGICO/MATERIALES/P
RESENTACIONES/McCLUSKEY.pdf

Tocci, R. J., Widmer, N. S., & Moss, G. L. (2007). Sistemas Digitales. Principios y
Aplicaciones. Mxico: Pearson Educacin .