Método de Quine- Método de Quine-McCluskey

McCluskey  Mapa de Karnaugh útil sólo hasta N=6

Prof. Mario Medina
mariomedina@udec.cl
 Difícil ver implicantes para N superior
 Método de Quine-McCluskey
 Método tabular y gráfico para encontrar
implicantes
 Aplicable a N grande
 Fácil de implementar en un computador

 Basado en el teorema AB + AB’ = A

 Basado en agrupación de términos producto
 Mario Medina

Agrupando términos producto Grupos de términos producto

 Sea la función Grupo 0 0 0000  Dos términos pueden
F(a, b, c, d) = ∑m(0, 1, 2, 5, 6, 7, 8, 9, 10, 14) Grupo 1 1 0001 combinarse si difieren
2 0010 en sólo una variable
 Agrupar términos producto de acuerdo al
8 1000  Combinar términos de
número de bits en 1 de cada uno de ellos
Grupo 2 5 0101 grupos adyacentes
 Comparar todos los términos producto de a dos
6 0110  Grupo 0 y Grupo 1
en dos buscando términos que se puedan 9 1001  Grupo 1 y Grupo 2
combinar y variables que se puedan eliminar 10 1010  Los términos
Grupo 3 7 0111 combinados se marcan
14 1110 como tales

Combinando términos (I) Combinando términos (II)

Grupo 0 0 0000 0, 1 000- 0, 1 000-
Grupo 1 1 0001 0, 2 00-0 0, 2 00-0  Los términos combinados
2 0010 0, 8 -000 0, 8 -000 obtenidos anteriormente
8 1000 1, 5 0-01 1, 5 0-01 también se dividen en
Grupo 2 5 0101 1, 9 -001 1, 9 -001 grupos de acuerdo al
6 0110 2, 6 0-10 2, 6 0-10 número de 1s
9 1001 2,10 -010 2,10 -010  Grupos adyacentes se
10 1010 8, 9 100- 8, 9 100- combinan entre sí sólo si
Grupo 3 7 0111 8,10 10-0 8,10 10-0 difieren en 1 variable y
14 1110 5, 7 01-1 5, 7 01-1 tienen guiones en la
6, 7 011- 6, 7 011- misma columna
6,14 -110 6,14 -110
10,14 1-10 10,14 1-10

© 2014 Mario Medina C. 1

 Combinando términos (III) Combinando términos (IV)
0, 1 000- 
0, 2 00-0 
0,1,8,9 -00-
0, 8 -000  0,2,8,10 -0-0 1, 5 0-01 a’c’d
1, 5 0-01 0,8,1,9 -00-
5, 7 01-1 a’bd
1, 9 -001  0,8,2,10 -0-0
2, 6 0-10  2,6,10,14 --10 6, 7 011- a’bc
2,10 -010 
2,10,6,14 --10
8, 9 100-  0,1,8,9 -00- b’c’
8,10 10-0 
5, 7 01-1  El proceso termina cuando 0,2,8,10 -0-0 b’d’
6, 7 011- ya no se puede seguir
6,14 -110  combinando términos 2,6,10,14 --10 cd’
10,14 1-10 

Implicantes primos Gráfico de implicantes primos

 Términos no marcados al final del proceso son los  Círculo indica minitérminos que aparecen
implicantes primos sólo en un implicante
F = A’C’D + A’BD + A’BC + B’C’ + B’D’ + CD’  Esos son implicantes primos esenciales
 Pero, la función no es mínima!
 Puede contener términos redundantes
 Cuáles implicantes primos son esenciales?
 Segunda etapa de método de Quine-McCluskey
 Método gráfico

Gráfico de implicantes primos Gráfico de implicantes primos

 Tachar todos los minitérminos cubiertos por
 Implicante primo esencial b’c’ cubre
los implicantes primos esenciales
minitérminos 0, 1, 8, 9
 Agregar implicantes primos que cubran el resto
 Implicante primo esencial cd’ cubre
minitérminos 2, 6, 10, 14
 Quedan los minitérminos 5 y 7
 Implicante primo a’bd cubre ambos
minitérminos

© 2014 Mario Medina C. 2

 Ejemplo sin I. P. Esenciales Ejemplo sin I. P. Esenciales
F(a, b, c) = ∑m(0, 1, 2, 5, 6, 7)  No hay implicantes primos esenciales
 F(a, b, c) = a’b’ + bc’ + ac = a’c’ + b’c + ab
0 000  0,1 00-
1 001  0,2 0-0 Son todos
2 010  1,5 -01 implicantes primos
no esenciales!
5 101  2,6 -10
6 110  5,7 1-1
7 111  6,7 11-

Ejemplo sin I. P. Esenciales Método de Petrick

 Caso anterior equivalente a
 Método sistemático para encontrar todas
las soluciones de suma de productos para
un gráfico de implicantes primos
 Reducir el gráfico de I. P. eliminando filas y
columnas de los implicantes primos esenciales
 Rotular las filas del gráfico reducido como
productos P1, P2, etc.
 Formar una función lógica P que sea 1 cuando
todas las columnas estén cubiertas
 Aplicar teoremas del álgebra Booleana!

Método de Petrick Método de Petrick

 Tabla anterior con las filas rotuladas P = (P1 + P2)(P1 + P3)(P2 + P4)(P3 + P5)(P4 + P6)(P5 + P6)
 Convirtiendo la expresión anterior de
producto de sumas a suma de productos, da
(P1 + P2) P = P1 P4 P5 + P1 P2 P5 P6 + P2 P3 P4 P5 + P1 P3 P4 P6 + P2 P3 P6
(P1 + P3)  Cada término representa una combinación de
implicantes primos que cubre todos los
minitérminos
 Escoger una que tenga el número mínimo de literales
 P2 P3 P6 = A’C’ + B’C + AB
 P1 P4 P5 = A’B’ + BC’ + AC

© 2014 Mario Medina C. 3

 Funciones con términos Ejemplo con términos
redundantes redundantes
 Términos redundantes se incluyen en la F(A, B, C, D) = ∑m(2, 3, 7, 9, 11, 13) + ∑d(1, 10, 15)
primera etapa del método B’D

 Generación de implicantes primos B’C

CD
 Términos redundantes no se incluyen en la AD

etapa del gráfico

 Proceso de simplificación asigna valores a los
términos redundantes

Ejemplo con términos

redundantes Ejercicios: Quine-McCluskey
 Tres últimas filas son implicantes esenciales  Utilice el método de Quine-McCluskey para
 F(A, B, C, D) = B’C + CD + AD minimizar la función f(a, b, c, d, e) = m(0, 2,
 d10 y d15 valen 1, d1 vale 0
3, 7, 11, 13, 14, 15, 16, 23, 28, 29, 30, 31)
 Utilice el método de Quine-McCluskey para
B’D minimizar la función f(a, b, c, d) = m(0, 2, 6,
B’C
8, 9, 10, 12) + d(5, 7, 14)
CD
AD

Método de Quine-McCluskey Método de Quine-McCluskey

Número de patrones de n bits con q bits en 1  El método de Quine-McCluskey comienza
0 1 2 3 4 5 6 7 comparando patrones de 2 en 2
1 1 1
Número de variables en la función

 Para n = 3, son 15 comparaciones máx.

2 1 2 1 Este es un triángulo de Pascal!
 Para n = 4, son 56 comparaciones máx.
3 1 3 3 1
 Para n = 5, son 210 comparaciones máx.
4 1 4 6 4 1
 Se puede demostrar que el número de
5 1 5 10 10 5 1
implicantes primos es como máximo 3n/n
6 1 6 15 20 15 6 1
 Quine-McCluskey es inviable para n grande
7 1 7 21 35 35 21 7 1

© 2014 Mario Medina C. 4