Mtodo de QuineMcCluskey

Prof. Mario Medina mariomedina@udec.cl

Mario Medina

Mtodo de Quine-McCluskey
Mapa de Karnaugh til slo hasta N=6
Difcil ver implicantes para N superior

Mtodo de Quine-McCluskey
Mtodo tabular y grfico para encontrar implicantes
Aplicable a N grande Fcil de implementar en un computador

Basado en el teorema AB + AB = A
Basado en agrupacin de trminos producto

Agrupando trminos producto

Sea la funcin
F(a, b, c, d) = m(0, 1, 2, 5, 6, 7, 8, 9, 10, 14) Agrupar trminos producto de acuerdo al nmero de bits en 1 de cada uno de ellos Comparar todos los trminos producto de a dos en dos buscando trminos que se puedan combinar y variables que se puedan eliminar

Grupos de trminos producto

Grupo 0 Grupo 1 0 1 2 8 5 6 9 10 7 14 0000 0001 0010 1000 0101 0110 1001 1010 0111 1110

Dos trminos pueden combinarse si difieren en slo una variable

Combinar trminos de grupos adyacentes
Grupo 0 y Grupo 1 Grupo 1 y Grupo 2

Grupo 2

Grupo 3

Los trminos combinados se marcan como tales

Combinando trminos (I)

Grupo 0 Grupo 1 0 1 2 8 5 6 9 10 7 14 0000 0001 0010 1000 0101 0110 1001 1010 0111 1110 0, 1 0, 2 0, 8 1, 5 1, 9 2, 6 2,10 8, 9 8,10 5, 7 6, 7 6,14 10,14 00000-0 -000 0-01 -001 0-10 -010 10010-0 01-1 011-110 1-10

Grupo 2

Grupo 3

Combinando trminos (II)

0, 1 0, 2 0, 8 1, 5 1, 9 2, 6 2,10 8, 9 8,10 5, 7 6, 7 6,14 10,14 00000-0 -000 0-01 -001 0-10 -010 10010-0 01-1 011-110 1-10

Los trminos combinados obtenidos anteriormente tambin se dividen en grupos de acuerdo al nmero de 1s Grupos adyacentes se combinan entre s slo si difieren en 1 variable y tienen guiones en la misma columna

Combinando trminos (III)

0, 1 0, 2 0, 8 1, 5 1, 9 2, 6 2,10 8, 9 8,10 5, 7 6, 7 6,14 10,14 00000-0 -000 0-01 -001 0-10 -010 10010-0 01-1 011-110 1-10

0,1,8,9 0,2,8,10 0,8,1,9 0,8,2,10 2,6,10,14 2,10,6,14

-00-0-0 -00-0-0 --10 --10

El proceso termina cuando ya no se puede seguir combinando trminos

Combinando trminos (IV)

1, 5 5, 7 6, 7 0,1,8,9 0,2,8,10 2,6,10,14
0-01 01-1 011-00-0-0 --10

ACD

ABD

ABC BC

BD
CD

Implicantes primos
Trminos no marcados al final del proceso son los implicantes primos
F = ACD + ABD + ABC + BC + BD + CD
Pero, la funcin no es mnima!

Cules implicantes primos son esenciales?

Segunda etapa de mtodo de Quine-McCluskey Mtodo grfico

Grfico de implicantes primos

Crculo indica minitrminos que aparecen slo en un implicante
Esos son implicantes primos esenciales

Grfico de implicantes primos

Tachar todos los minitrminos cubiertos por los implicantes primos esenciales
Agregar implicantes primos que cubran el resto

Grfico de implicantes primos

Implicante primo esencial bc cubre minitrminos 0, 1, 8, 9 Implicante primo esencial cd cubre minitrminos 2, 6, 10, 14 Quedan los minitrminos 5 y 7
Implicante primo abd cubre ambos minitrminos

Ejemplo sin I. P. Esenciales

F(a, b, c) = m(0, 1, 2, 5, 6, 7) 0 1 2 5 6 7 000 001 010 101 110 111 0,1 0,2 1,5 2,6 5,7 6,7 000-0 Son todos -01 implicantes primos no esenciales! -10 1-1 11-

Ejemplo sin I. P. Esenciales

No hay implicantes primos esenciales
F(a, b, c) = ab + bc + ac = ac + bc + ab

Ejemplo sin I. P. Esenciales

Caso anterior equivalente a

Mtodo de Petrick
Mtodo sistemtico para encontrar todas las soluciones de suma de productos para un grfico de implicantes primos
Reducir el grfico de I. P. eliminando filas y columnas de los implicantes primos esenciales Rotular las filas del grfico reducido como productos P1, P2, etc. Formar una funcin lgica P que sea 1 cuando todas las columnas estn cubiertas
Aplicar teoremas del lgebra Booleana!

Mtodo de Petrick
Tabla anterior con las filas rotuladas

(P1 + P2) (P1 + P3)

Mtodo de Petrick
P = (P1 + P2)(P1 + P3)(P2 + P4)(P3 + P5)(P4 + P6)(P5 + P6)

Convirtiendo la expresin anterior de producto de sumas a suma de productos, da

P = P1 P4 P5 + P1 P2 P5 P6 + P2 P3 P4 P5 + P1 P3 P4 P6 + P2 P3 P6

Cada trmino representa una combinacin de implicantes primos que cubre todos los minitrminos
Escoger una que tenga el nmero mnimo de literales
P2 P3 P6 = AC + BC + AB P1 P4 P5 = AB + BC + AC

Funciones con trminos redundantes

Trminos redundantes se incluyen en la primera etapa del mtodo
Generacin de implicantes primos

Trminos redundantes no se incluyen en la etapa del grfico

Proceso de simplificacin asigna valores a los trminos redundantes

Ejemplo con trminos redundantes

F(A, B, C, D) = m(2, 3, 7, 9, 11, 13) + d(1, 10, 15)
BD BC CD AD

Ejemplo con trminos redundantes

Tres ltimas filas son implicantes esenciales
F(A, B, C) = BC + CD + AD d10 y d15 valen 1, d1 vale 0

BD BC CD AD