Método de minimización de Quine

Quine-McCluskey

El método de Quine-McCluskey
McCluskey (Q-M) es un método de tabular para la minimización de
una función booleana. Básicamente este método tiene dos ventajas sobre el mapa de
Karnaugh. La primera es que se trata de un método directo y sistemático para determinar
una función mínima que depende menos de la habilidad del diseñador para reconocer
patrones que el método de mapa de Karnaugh, limitado en la práctica a cinco o seis
variables. En general el método QQ-M realiza una búsqueda
ueda lineal ordenada sobre los
mintérminos de la función para determinar todas las combinaciones de mintérminos
adyacentes lógicamente.

Paso 1: Enumerar en una columna todos los mintérminos de la función por minimizar, en
su representación binaria. Separar los grupos según el número de unos en su representación
binaria. Esta partición facilitara la identificación de los mintérminos adyacentes
lógicamente que para serlo, dos mintérminos deben diferir exactamente en una literal y, por
tanto, la representación binaria de un mintérmin
mintérminoo debe tener un bit 1 menos o más
má que el
otro.

Paso 2: Realizar una búsqueda exhaustiva de los mintérminos adyacentes entre grupos
vecinos e incluirlos en una columna de implicantes de ((n-1) 1) variables, marcando cada
término ya incluido.
ido. La representación binaria de cada nuevo implicante tiene un guion en
la posición de la variable eliminada. Este procedimiento se repite para cada columna,
cambiando los implicantes de (n (n-1)
1) variables para obtener implicantes de (n-2)
(n variables,
etc., hasta que no se puedan unir más implicantes. Cualquier término no eliminado
representara un implicante primo de la función, pues no queda cubierto por un implicante
mayor. El resultado final es una lista de implicantes primos de la función de conmutación.

Paso 3: Construir una tabla de implicantes primos que enumere los mintérminos en sentido
horizontal y los implicantes primos en sentido vertical, escribiendo una entrada × cuando
cierto implicante primo (fila) cubra un mintérmino (columna).

Paso 4: Seleccionar un número mínimo de implicantes primos que cubran a todos los
mintérminos de la función de conmutación.

En el siguiente ejemplo se describen cada uno de los pasos.

Ejemplo: Minimizar
inimizar la siguiente función utilizando el método de Quine
Quine-McCluskey
McCluskey.

f(A,B,C,D) = ∑m(2,3,4,5,7,8,10,13,15)
m(2,3,4,5,7,8,10,13,15)

Paso 1: Debemos
ebemos representar los mintérminos en su forma binaria, la cual se muestra a
continuación.

Instituto Tecnológico de Culiacán

Electrónica Digital II
Héctor Manuel Monroy García
Garc
 Mintérminos A B C D
2 0 0 1 0
3 0 0 1 1
4 0 1 0 0
5 0 1 0 1
7 0 1 1 1
8 1 0 0 0
10 1 0 1 0
13 1 1 0 1
15 1 1 1 1

En la tabla 2 agrupamos los mintérminos según el número

mero de unos en su representación.

Mintérminos A B C D
2 0 0 1 0
4 0 1 0 0 Grupo 1 (un solo uno)
8 1 0 0 0

3 0 0 1 1
5 0 1 0 1 Grupo 2 (dos unos)
10 1 0 1 0

7 0 1 1 1 Grupo 3 (tres unos)

13 1 1 0 1

15 1 1 1 1 Grupo 4 (cuatro unos)

Tabla 2

Paso 2: Realizamosmos la búsqueda exhaustiva de los mintérminos adyacentes entre grupos

vecinos e incluirlos en una nueva lista, marcando con • cada mintérmino ya incluido. Hay
que recordar que paraara que un mintérmino sea adyacente con otro, solo deben diferir en una
sola literal, por ejemplo: el mintérmino 2 (0010) es adyacente al mintérmino 3 (0011) ya
que solo difieren en la literal
teral D. L
Los mintérminos adyacentes los anotamos en una nueva
columna colocando un “ - “ en lugar de la literal que difiere. La tabla 3 muestra los
términos que son adyacentes.

Instituto Tecnológico de Culiacán

Electrónica Digital II
Héctor Manuel Monroy García
Garc
 Mintérminos A B C D Mintérminos A B C D
2 0 0 1 0 • 2,3 0 0 1 -
4 0 1 0 0 • 2,10 - 0 1 0
8 1 0 0 0 • 4,5 0 1 0 -
8,10 1 0 - 0
3 0 0 1 1 •
5 0 1 0 1 • 3,7 0 - 1 1
10 1 0 1 0 • 5,7 0 1 - 1
5,13 - 1 0 1
7 0 1 1 1 •
13 1 1 0 1 • 7,15 - 1 1 1
13,15 1 1 - 1
15 1 1 1 1 •
Tabla 3

Se puede observar que no es necesario comparar cada uno de los mintérminos ya que solo
son adyacentes los que se encuentran en grupos vvecinos,
ecinos, es decir, los del grupo uno con los
del grupo dos, los del grupo tres con los grupos dos y cuatro, etc.

Ahora realizamos la búsqueda exhaustiva en los mintérminos de la segunda columna, aquí

resulta evidente porque es importante marcar las va
variabless que han sido eliminadas, ya que
como antes, podemos combinar dos términos de la segunda columna solo si difieren en una
única literal, solo podríamos combinar los términos a los cuales les falta la misma literal
(un guión en la misma posición
posición).

La tabla 4 nos muestra que solo son adyacentes los mintérminos 5,7 y 13,5, se observa que
los mintérminos 5,13 y 7, 15 también son adyacentes pero como ya están contenidos en el
mintérmino anterior, no es necesario anotarlos.

Una forma conveniente de verificar los errores en las listas de los mintérminos adyacentes
es realizar la siguiente prueba de entrada: restamos los números de los mintérminos para
verificar que hemos omitido las variables adecuadas. Por ejemplo, la entrada (2,10 - 0 1 0)
de la segunda columna de mintérminos indica que debemos eliminar la variable con peso
10 – 2 = 8.. En este ejemplo los posibles pesos son 8, 4, 2, 1.

Para la entrada de la tercera columna de mintérminos (5, 7, 13 ,15 -1-1):

7–5=2 15 – 7 = 8

15 – 13 = 2 13 – 5 = 8

Instituto Tecnológico de Culiacán

Electrónica Digital II
Héctor Manuel Monroy García
Garc
 Mintérminos A B C D Mintérminos A B C D Mintérminos A B C D
2 0 0 1 0 • 2,3 0 0 1 - PI2 5,7,13,15 - 1 - 1 PI1
4 0 1 0 0 • 2,10 - 0 1 0 PI3 5,13,7,15 - 1 - 1
8 1 0 0 0 • 4,5 0 1 0 - PI4
8,10 1 0 - 0 PI5
3 0 0 1 1 •
5 0 1 0 1 • 3,7 0 - 1 1 PI6
10 1 0 1 0 • 5,7 0 1 - 1 •
5,13 - 1 0 1 •
7 0 1 1 1 •
13 1 1 0 1 • 7,15 - 1 1 1 •
13,15 1 1 - 1 •
15 1 1 1 1 •

Tabla 4

Como ya no see pueden combinar otros términos,, por tanto los términos no marcados en
toda la tabla son implicantes (PI) primos y los llamamos PI1 … PI6 .

Paso 3: Formar la tabla de implicantes primos mos para determinar el mínimo número
nú de
implicantes primos necesarios par
para realizar la función.

En las filas colocamos los mintérminos y en las columnas los implicantes primos,
primos además
colocamos una × en los mintérminos que cubre cada implicante primo. Ver tabla 5.

• • •
2 3 4 5 7 8 10 13 15
×× PI1 × × © ©
PI2 × ×
PI3 ×
×× PI4 © ×
×× PI5 © ×
PI6 × ×
Tabla 5

Se observa que los mintérminos 4,8,13,15 (marcados por ©) quedan cubiertos cada uno por
un solo implicante primo PI1 , PI4 , PI5 por tanto debemos elegir los implicantes primos PI1,
PI4 , PI5 , que entonces son implicantes primos esenciales (indicados con ×× ).
) Observe que
al elegir estos tres implicantes primos también hemos cubierto a los mintérminos 5,7 y 10,
los marcamos en la tabla con una • sobre los números de los mintérminos.

Instituto Tecnológico de Culiacán

Electrónica Digital II
Héctor Manuel Monroy García
Garc
El problema siguiente es seleccionar el menor número de implicantes primos (no
esenciales) adicionales necesarios para cubrir los mintérminos 2 y 3. Realizamos esto
formando una tabla reducida de implicante
implicantess primos, misma que se muestra a continuación.

Observe que la tabla solo contiene los mintérminos que faltan por cubrir y los candidatos a
implicantes primos restantes para su inclusión en la cubierta.

• •
2 3
×× PI2 × ×
PI3 ×
PI6 ×

Observe
rve que la mejor forma de cubrir los mintérminos 2 y 3 con el menor número de
implicantes primos es elegir PI2 (lo marcamos con ××) y las marcas sobre los mintérminos
restantes indican que hemos generado una cubierta completa.

Por tanto, una realización mínima

ínima de la func
función original seria:

f(A,B,C,D) = PI1 + PI2 + PI4 + PI5

= -1-1 + 001- +010

+010- + 10-0

=             

Comprobación minimizando la función mediante mapas de Karnaugh

CD
AB 00 01 11 10
00 1 1
01 1 1 1
11 1 1
10 1 1

f =             

Instituto Tecnológico de Culiacán

Electrónica Digital II
Héctor Manuel Monroy García
Garc
 BIBLIOGRAFÍA

Análisis
lisis y Diseño de Circuitos Lógicos Digitales

Víctor P. Nelson

H. Troy Nagle

Bill D. Carrol

J. David Irwin

Prentice Hall México 1996

Paginas: 189, 211

Instituto Tecnológico de Culiacán

Electrónica Digital II
Héctor Manuel Monroy García
Garc