Método Quine McCluskey para simplificar

Instituto Tecnológico de Saltillo, Saltillo Coahuila México

Departamento de Ingeniería Eléctrica-Electrónica
Materia: Electró nica Digital
Nombre: Javier Andres Romo Moya

Saltillo, Coahuila 17 de octubre

7
 INTRODUCCION:
Tras que el entendimiento de las compuertas se fue desarrollando, para posterior a su
creació n se llevaran a cabo circuitos cada vez mas complejos se desarrollaron, como ya se
vio en temas anteriores, maneras de reducir los mismos circuitos, terminando en métodos
como “leyes y teoremas de algebra booleana” y “mapas de Karnaugh”, sin embargo así como
se agilizo la manera de crear complejos circuitos para ahorrar tiempo y material, también
eran necesarios ahorrar tiempo en el método de simplificació n, es aquí donde entran
Willard Van Quine y Edward J. McCluskey que diseñ aron un método mas eficiente para la
reducció n, este métodos si bien es muy parecido al de “mapas de karnaught” es su forma de
tabular lo que la hace una mejor opció n pues provee un método determinista de conseguir
la mínima expresió n de una funció n booleana.

7
 DESARROLLO
VARIABLE DE CONMUTACION
Esta es una variable la cual solo puede asumir 2 valores, la representació n grafica de esta
variable se puede ver como 2 puntos en los extremos de un solo segmento

A su vez estas dos variables poseen 4 valores posibles lo cual hace que su representació n
grafica sea la de un cubo pues con 3 variables de conmutació n existen 4 vertices.
Los cuatro valores posibles de dos variables de conmutació n se pueden representar
mediante

Ilustración 1 Representación de variables de conmutación.

Los vértices correspondientes a mO, m2, m3, y m7 se indican por medio de puntos negro.
Estos vértices se denominan cubos - O de la funció n.
Dos cubos - O forman un cubo - 1, si difieren solo en una coordenada en el ejemplo anterior
se tiene tres cubos - 1, que está n marcados en rojo, (01X, 0X0, X11), los cubos - 1 se
designan colocando una "X" en la coordenada que tienen diferentes valores.
Un conjunto de cuatro cubos O, cuyos valores de coordenada son iguales en todas las
variables excepto en dos, forma un cubo - 2 que se representa grá ficamente como un plano
sombreado.

Cuando todos los vértices de un cubo - k está en el conjunto de vértices que componen un
cubo - k mayor, se dice que el cubo má s pequeñ o está contenido en/o cubierto por el cubo
mayor.
Resumiendo, un cubo - O se representa con un punto, un cubo - 1 se representa con un
segmento, un cubo - 2 con un plano, un cubo 3 con un volumen, para un cubo - k en espacios
- n mayores que 4 no hay representació n geométrica, pero el principio de agrupació n de
productos fundamentales es el mismo.

7
 Ilustración 2 Representación de un cubo.

Entre la representació n cú bica y el mapa de Kamaugh existe una correspondencia, Los

cubos - O corresponden a los cuadrados del mapa K, los cubos - 1 corresponden a los pares
de cuadrados adyacentes, los cubos - 2 corresponden a los cuá druples de cuatro cuadrados
adyacentes, etc.

Obtención de los implicantes primos.

Que es un implicante primo? Esto se refiere a cualquier cubo de una funció n y que el mismo
no esta contenido en su totalidad por otro cubo mayor de dicha funció n.

Este método esta organizado para la bú squeda de todas las combinaciones de cubos -O y
sus posibles combinaciones para posteriormente seleccionar la combinació n mínima de
cubos requerida para realizar la funció n.

Este método empieza en la tabla de mimniterminos

Ilustración 3 Ejemplo 1

7
 En la tabla de productos fundamentales de la fincion es donde encontramos la
representació n binaria de las combinaciones de la variable de entrada las cuales ya estan
definidos como ló gicamente adyacentes 2 terminos cuyas combinaciones de variable son
idénticas excepto una sola de ellas.

Se separan ú nicamente los mintérminos que tienen un "UNO" asignado a la funció n, y se los
ordena de acuerdo al nú mero de "UNOS" existentes en las combinaciones de entrada,
posteriormente se separan los mintérminos en grupos que tengan el mismo nú mero de
unos por medio de las lineas horizontales. Esta agrupació n de miniterminos se hace para
disminuir las comparaciones que se tendrían que hace para determinar los cubos “UNO”.

Posteriormente se realiza una comparació n de cada grupo con las combinaciones del grupo
que le sigue, en caso de existir una variable diferente entre las dos combinaciones
comparadas se remplazara por una sola poniendo en el lugar una variable diferente con una
“X” y se anota el minitermino que se combina.

No hay que olvidar que se deben anotar los enteros correspondiente a los miniterminos que
se combinaron. En el caso de nuestro ejemplo mo se combina con m2 para formar el cubo -
1 (XOOO) esta combinació n es equivalente a la operació n algebraica A'B'C'D' + A'B'CD' =
A'B'D'(C + CJ) = A'B'D'.

El mintérmino m0 se combina también con ms para formar el cubo - 1 (XOOO). Esto

completa la comparació n entre los mintérminos de los dos primeros grupos, de manera que
se traza una línea por debajo de los cubos - 1 resultantes. A continuació n, se comparan en la
misma forma los mintérminos del segundo y tercer grupo. Esta comparació n produce cinco
cubos - 1 má s, formados de rr}2 y ms, ms y mg, etc. Se traza una recta debajo de estos cinco
cubos 1 para indicar la terminació n de las comparaciones entre el segundo y tercer grupos.
Cada mintérmino de un grupo se debe comparar con cada mintérmino del otro grupo,
incluso si cualquiera o ambos ya han sido marcados, y han formado un cubo - 1, se debe
encontrar cada cubo - 1.
Este proceso de comparació n se repite entre los grupos sucesivos hasta que se agote la lista
de mintérminos.

Tabla 1 Combinaciones. Tabla 2

Tras obtener esta tabls se debe seguir el mismo proceso para obtener la tabla de cubos 2 sin
embargo, aquí se observa interactuar un nuevo elemento “X”. De nuevo los cubos de cada

7
 grupo se deben comparar con los del siguiente grupo y nada mas. En el ejemplo nuestro el
cubo - 1 (0,2) se combina con el cubo -1 (8,10) y se obtienen el cubo 2 (O, 2, 8, 10) (XOXO),
los dos cubos - 1 usados se marcan para indicar que se han usado para formar cubos - 2.

Una explicació n algebraica de esta combinació n es la siguiente.

mO + m2 + m8 + m10 = A'B'C'D1 + A'B'CD' + AB'C'D' + AB'CD'

= A'B'D'(C + C') + AB'D'(C+ C1)
= A'B'D' + AB'D'
=B'D'(AÍ + A)
=B'D'.

Se realiza el mismo proceso hasta que no haya elementos que se puedan combinar (la tabla
de grupos de mayor orden)

Algunas combinaciones no está n marcadas y por esta razó n no está n en los cubos de mayor
orden y a estas se les denomina como implicantes primos.

BIBLIOGRAFIA
1. López Medina, L. E. (2003). Método didáctico de simplificación de funciones
booleanas (Bachelor's thesis, QUITO/EPN/2003).
2. Holguín, M., Mejía, A. E., & Holguín, G. A. (2008). Implementación en lenguaje gráfico de un
algoritmo basado en quine-mccluskey y petrick para minimización global. Scientia et
technica, 2(39).
3. García-Lagos, F., & Joya, G. (1970). SimpFunLogQM: Una herramienta para el entrenamiento en
la simplificación e implementación de funciones lógicas.