1

Mario Medina
Mtodo de Quine-
McCluskey
Prof. Mario Medina
mariomedina@udec.cl
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 0 0000
Grupo 1 1 0001
2 0010
8 1000
Grupo 2 5 0101
6 0110
9 1001
10 1010
Grupo 3 7 0111
14 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
Los trminos
combinados se marcan
como tales
Combinando trminos (I)
Grupo 0 0 0000
Grupo 1 1 0001
2 0010
8 1000
Grupo 2 5 0101
6 0110
9 1001
10 1010
Grupo 3 7 0111
14 1110
0, 1 000-
0, 2 00-0
0, 8 -000
1, 5 0-01
1, 9 -001
2, 6 0-10
2,10 -010
8, 9 100-
8,10 10-0
5, 7 01-1
6, 7 011-
6,14 -110
10,14 1-10
Combinando trminos (II)
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
0, 1 000-
0, 2 00-0
0, 8 -000
1, 5 0-01
1, 9 -001
2, 6 0-10
2,10 -010
8, 9 100-
8,10 10-0
5, 7 01-1
6, 7 011-
6,14 -110
10,14 1-10
2
Combinando trminos (III)
0,1,8,9 -00-
0,2,8,10 -0-0
0,8,1,9 -00-
0,8,2,10 -0-0
2,6,10,14 --10
2,10,6,14 --10
El proceso termina cuando
ya no se puede seguir
combinando trminos
0, 1 000-
0, 2 00-0
0, 8 -000
1, 5 0-01
1, 9 -001
2, 6 0-10
2,10 -010
8, 9 100-
8,10 10-0
5, 7 01-1
6, 7 011-
6,14 -110
10,14 1-10
Combinando trminos (IV)
D C A
D B
BC A
BD A
C B
D C
--10
2,6,10,14
-0-0
0,2,8,10
-00-
0,1,8,9
011-
6, 7
01-1
5, 7
0-01
1, 5
Implicantes primos
Trminos no marcados al final del proceso son los
implicantes primos
Pero, la funcin no es mnima!
Cules implicantes primos son esenciales?
Segunda etapa de mtodo de Quine-McCluskey
Mtodo grfico
D C D B C B BC A BD A D C A F + + + + + =
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
3
Ejemplo sin I. P. Esenciales
F(a, b, c) = m(0, 1, 2, 5, 6, 7)
0 000 0,1 00-
1 001 0,2 0-0
2 010 1,5 -01
5 101 2,6 -10
6 110 5,7 1-1
7 111 6,7 11-
Son todos
implicantes primos
no esenciales!
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 P
1
, P
2
, 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
(P
1
+ P
2
)
(P
1
+ P
3
)
Mtodo de Petrick
P = (P
1
+ P
2
)(P
1
+ P
3
)(P
2
+ P
4
)(P
3
+ P
5
)(P
4
+ P
6
)(P
5
+ P
6
)
Convirtiendo la expresin anterior de
producto de sumas a suma de productos, da
P = P
1
P
4
P
5
+ P
1
P
2
P
5
P
6
+ P
2
P
3
P
4
P
5
+ P
1
P
3
P
4
P
6
+ P
2
P
3
P
6
Cada trmino representa una combinacin de
implicantes primos que cubre todos los
minitrminos
Escoger una que tenga el nmero mnimo de literales
P
2
P
3
P
6
= AC + BC + AB
P
1
P
4
P
5
= AB + BC + AC
4
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)
AD
CD
BC
BD
Ejemplo con trminos
redundantes
Tres ltimas filas son implicantes esenciales
F(A, B, C) = BC + CD + AD
d
10
y d
15
valen 1, d
1
vale 0
AD
CD
BC
BD