Metodo de Quinemc

10.
Simplificacin de funciones lgicas

con el mtodo de Quine-McCluskey
Oliverio J. Santana Jaria

Sistemas Digitales
Ingeniera Tcnica en Informtica de Sistemas
Curso 2006 2007
Introduccin
El mtodo de Karnaugh permite minimizar funciones
lgicas de forma efectiva, pero tiene dos desventajas

importantes

Depende de la habilidad del usuario para detectar patrones

Es difcil de aplicar en funciones de ms de cuatro variables
Los objetivos de este tema son:

Describir el mtodo de Quine-McCluskey para la

simplificacin de funciones lgicas
Aplicar este mtodo a funcin incompletamente especificadas
Aplicar este mtodo a la minimizacin conjunta de las
funciones correspondientes a circuitos con salida mltiple
Simplificacin de funciones lgicas con el mtodo de Quine-McCluskey
Estructura del tema
Introduccin
Mtodo de simplificacin de Quine-McCluskey

Obtencin de trminos producto

Seleccin de trminos producto
Seleccin de trminos no esenciales
Funciones incompletamente especificadas

Circuitos con salida mltiple
Resumen y bibliografa
El mtodo de Quine-McCluskey
El mtodo de Quine-McCluskey es un mtodo tabular
de simplificacin que facilita la minimizacin de

funciones de ms de cuatro variables
Adems, este mtodo es sistemtico y no depende de
la habilidad de una persona para reconocer patrones

dentro de un mapa
Debido a estas caractersticas, hay variantes de este
mtodo que estn implementadas en programas de

ordenador para el diseo de circuitos
El mtodo de Quine-McCluskey
El mtodo de Quine-McCluskey parte de una funcin
booleana expresada como una suma de productos en

forma cannica
El primer paso del mtodo consiste en obtener todos los
trminos producto que pueden formar parte de la nueva

expresin simplificada
Una vez obtenidos los trminos producto, el segundo
paso consiste en generar la expresin minimizada, es

decir, identificar la combinacin mnima de trminos
que representa la funcin que estamos simplificando
Obtencin de los trminos producto
Comenzamos obteniendo todas las parejas de trminos
producto cuyo valor difiera en una sola variable

Se agrupan todos los trminos producto que valgan 1 y que

tengan el mismo nmero de variables con valor 1
Se ordenan los grupos, en orden ascendente, segn el nmero
de variables con valor 1
Para formar las parejas solo es necesario comparar los
trminos producto de un grupo con los del siguiente
Una vez hecho esto, se repite el proceso con los grupos
resultantes hasta que no sea posible obtener ms parejas
En primer lugar hay que agrupar los trminos y
ordenarlos segn el nmero de variables con valor 1

A B C D
0)
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)
13)
14)
15)
0
0
0
0
0
0
0
0
1
1
1
1
1
1
1
1
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
1
0
1
1
1
0
1
1
0
1
0
1
0
1
0
1
(0)
0 0 0 0
(2)
(4)
0 0 1 0
0 1 0 0
(3)
(6)
(9)
0 0 1 1
0 1 1 0
1 0 0 1
(7)
(11)
(13)
0 1 1 1
1 0 1 1
1 1 0 1
(15)
1 1 1 1
A continuacin se forman parejas entre grupos que
difieran en el valor de una nica variable

(0)
0 0 0 0
(2)
(4)
0 0 1 0
0 1 0 0
(3)
(6)
(9)
0 0 1 1
0 1 1 0
1 0 0 1
(7)
(11)
(13)
0 1 1 1
1 0 1 1
1 1 0 1
(15)
1 1 1 1
(0,2)
(0,4)
(2,3)
(2,6)
(4,6)
(3,7)
(3,11)
(6,7)
(9,11)
(9,13)
(7,15)
(11,15)
(13,15)
0
0
0
0
0
0
0
1
1
1
1
0
1
0
0
1
1
1
1
1
0
1
1
0
0
0
0
1
1
1
1
1
1
1
8
Si repetimos el proceso una vez ms llegamos a un
punto en el que no es posible simplificar ms
(0,2)
(0,4)
(2,3)
(2,6)
(4,6)
(3,7)
(3,11)
(6,7)
(9,11)
(9,13)
(7,15)
(11,15)
(13,15)
0
0
0
0
0
0
0
1
1
1
1
0
1
0
0
1
1
1
1
1
0
1
1
0
0
0
0
1
1
1
1
1
1
1
(0,2,4,6)
0 0
(2,3,6,7)
0 1
(3,7,11,15)
(9,11,13,15)
1 1
1 1
A partir de las combinaciones obtenidas podemos
deducir los trminos producto
A B C D
(0,2,4,6)
0 0
AD
(2,3,6,7)
0 1
AC
(3,7,11,15)
1 1
CD
(9,11,13,15)
1 1
AD
10
Seleccin de los trminos producto
Hay que tener en cuenta todos los grupos tales que no
haya uno mayor que los contenga, aunque no todos ellos

aparecern necesariamente en la expresin minimizada
Slo es necesario elegir un conjunto de trminos
producto que cubran todas las combinaciones en las

que la salida de la funcin deba valer 1

Se genera una tabla de seleccin marcando qu trminos

producto cubren cada combinacin
Se seleccionan aquellos trminos que son los nicos que
cubren una combinacin y, por tanto, son esenciales
Se eligen los trminos para cubrir las otras combinaciones
11
La tabla de seleccin nos indica la relacin entre los
trminos producto y las combinaciones cubiertas por

cada uno de ellos
0 2 3 4 6 7 9 11 13 15
X X
X X
(0,2,4,6)
AD
(2,3,6,7)
AC
X X
X X
(3,7,11,15)
CD
(9,11,13,15) AD
X
X X
X
X
X
12
Una vez tenemos la tabla debemos identificar los
trminos esenciales, o sea, aquellos que sean los nicos

en cubrir una determinada combinacin

0 2 3 4 6 7 9 11 13 15
X X
X X
(0,2,4,6)
AD
(2,3,6,7)
AC
X X
X X
(3,7,11,15)
CD
(9,11,13,15) AD
X
X X
X
X
13
Para cubrir las combinaciones restantes hay dos posibles
trminos, o sea, existen dos funciones mnimas posibles

0 2 3 4 6 7 9 11 13 15
X X
X X
(0,2,4,6)
AD
(2,3,6,7)
AC
X X
X X
(3,7,11,15)
CD
(9,11,13,15) AD
X
X X
X
X
AD + AC + AD
14
Para cubrir las combinaciones restantes hay dos posibles
trminos, o sea, existen dos funciones mnimas posibles

0 2 3 4 6 7 9 11 13 15
X X
X X
(0,2,4,6)
AD
(2,3,6,7)
AC
X X
(3,7,11,15)
CD
(9,11,13,15) AD
X X
X
X X
X
X
AD + CD + AD
15
Seleccin de los trminos no esenciales
En el ejemplo anterior, los trminos producto esenciales
cubran ocho de las diez combinaciones, con lo que era

sencillo obtener la cobertura mnima de las otras dos
Sin embargo, es posible que sea necesario escoger entre
un gran nmero de trminos producto para generar la

cobertura de las combinaciones restantes
Una forma metdica de realizar esta seleccin es
generando un producto de sumas en el que cada suma

representa el conjunto de trminos producto que cubren
una determinada combinacin
16
Seleccin de los trminos no esenciales
Una vez obtenida el producto de sumas, se aplica la
propiedad distributiva para multiplicarlos entre ellos y

obtener una expresin en forma de suma de productos
Cada trmino de la suma de productos simplificada
representa una posible combinacin de trminos que

cubre todas las combinaciones restantes
De entre todas las posibles coberturas, se debe elegir
aquella que requiera el menor nmero de trminos
17
Aplicacin de Quine-McCluskey
Podemos aplicar el mtodo de Quine-McCluskey a la
siguiente funcin:
F(A,B,C,D) = (2,6,7,8,9,13,15)
A B C D
0)
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)
13)
14)
15)
0
0
0
0
0
0
0
0
1
1
1
1
1
1
1
1
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
0
1
0
0
0
1
1
1
1
0
0
0
1
0
1
(2)
(8)
0 0 1 0
1 0 0 0
(6)
(9)
0 1 1 0
1 0 0 1
(7)
(13)
0 1 1 1
1 1 0 1
(15)
1 1 1 1
18
Formando las parejas posibles nos encontramos con
que, en la tabla resultante, ya no ser posible formar

nuevas parejas
(2)
(8)
0 0 1 0
1 0 0 0
(6)
(9)
0 1 1 0
1 0 0 1
(7)
(13)
0 1 1 1
1 1 0 1
(15)
1 1 1 1
(2,6)
(8,9)
(6,7)
(9,13)
0
1
0
1
0
1
1
0
1
0
ACD
ABC
(7,15)
(13,15)
1 1 1
1 1 1
BCD
ABD
ABC
ACD
19
A continuacin generamos la tabla de seleccin y
detectamos los trminos esenciales
2 6 7 8 9 13 15
(2,6)
(8,9)
(6,7)
(9,13)
(7,15)
(13,15)
ACD
ABC
ABC
ACD
BCD
ABD
X X
X X
X X
X X
X
X
X
20
10
Finalmente se debe elegir qu trminos no esenciales
darn cobertura a las combinaciones que todava no se

han cubierto

2 6 7 8 9 13 15
P0 (2,6)
P1 (8,9)
P2
P3
P4
P5
(6,7)
(9,13)
(7,15)
(13,15)
ACD
X X
X X
ABC
ABC
ACD
BCD
ABD
X X
X X
X
P2 + P4
X
X X
P4 + P5
P3 + P5
21
Las tres sumas obtenidas se expresan como suma de
productos y se simplifican, aplicando la propiedad

distributiva, para buscar los trminos mnimos
(P2 + P4)(P3 + P5)(P4 + P5)
(P2 + P4)(P3P4 + P3P5 + P4P5 + P5P5)
(P2 + P4)(P3P4 + P3P5 + P4P5 + P5)
P2P3P4 + P2P3P5 + P2P4P5 + P2P5 + P4P3P4 + P4P3P5 + P4P4P5 + P4P5

P2P3P4 + P2P3P5 + P2P4P5 + P2P5 + P3P4 + P3P4P5 + P4P5
22
11
Cualquiera de los trminos producto mnimos
obtenidos es vlido para cubrir las combinaciones

que no cubren los trmino esenciales
P2P3P4 + P2P3P5 + P2P4P5 + P2P5 + P3P4 + P3P4P5 + P4P5
P0 ACD
P1 ABC
P2
P3
P4
P5
ABC
ACD
BCD
ABD
ACD + ABC + ABC + ABD
ACD + ABC + ACD + BCD
ACD + ABC + BCD + ABD
23
Estructura del tema
Introduccin



24
12
El mtodo de Quine-McCluskey tambin se puede
beneficiar de la presencia de trminos indiferentes

Para obtener los trminos producto usaremos no slo
las combinaciones con salida 1 sino tambin aquellas
combinaciones con salida indiferente
De esta manera incrementaremos las posibilidades de
combinar parejas para reducir la funcin resultante
Finalmente, para seleccionar los trminos que usaremos,
se debe tener en cuenta que no es necesario cubrir las
combinaciones con salida indiferente
25
El mtodo de Quine-McCluskey puede aplicarse a la
funcin:
F(A,B,C,D) = (1,3,6,8,10,11) + x(0,2,4,12,13)
A B C D
0)
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)
13)
14)
15)
0
0
0
0
0
0
0
0
1
1
1
1
1
1
1
1
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
X
1
X
1
X
0
1
0
1
0
1
1
X
X
0
0
(0)
(1)
(2)
(4)
(8)
(3)
(6)
(10)
(12)
(11)
(13)
0
0
0
0
1
0
0
1
1
1
1
0
0
0
1
0
0
1
0
1
0
1
0
0
1
0
0
1
1
1
0
1
0
0
1
0
0
0
1
0
0
0
1
1
26
13
A continuacin se puede comenzar a formar parejas

(0)
(1)
(2)
(4)
(8)
(3)
(6)
(10)
(12)
(11)
(13)
0
0
0
0
1
0
0
1
1
1
1
0
0
0
1
0
0
1
0
1
0
1
0
0
1
0
0
1
1
1
0
1
0
0
1
0
0
0
1
0
0
0
1
1
(0,1)
(0,2)
(0,4)
(0,8)
(1,3)
(2,3)
(2,6)
(2,10)
(4,6)
(4,12)
(8,10)
(8,12)
0
0
0
0
0
0
1
1
0
0
0
0
0
0
1
1
0
0
0
1
1
1
0
0
0
1
0
0
0
0
0
0
(3,11)
(10,11)
(12,13)
0 1 1
1 0 1
1 1 0
27
Es posible seguir formando nuevas parejas

(0,1)
(0,2)
(0,4)
(0,8)
(1,3)
(2,3)
(2,6)
(2,10)
(4,6)
(4,12)
(8,10)
(8,12)
0
0
0
0
0
0
1
1
0
0
0
0
0
0
1
1
0
0
0
1
1
1
0
0
0
1
0
0
0
0
0
0
(3,11)
(10,11)
(12,13)
0 1 1
1 0 1
1 1 0
(0,1,2,3)
(0,2,1,3)
(0,2,4,6)
(0,2,8,10)
(0,4,2,6)
(0,4,8,12)
(0,8,2,10)
(0,8,4,12)
0
0
0
(2,3,10,11)
(2,10,3,11)
0 1
0 1
0
0
0
0
0
0
0
0
28
14
Aunque ya no se pueden crear ms parejas, tenemos
varias parejas repetidas que podemos eliminar
(0,1,2,3)
(0,2,1,3)
(0,2,4,6)
(0,2,8,10)
(0,4,2,6)
(0,4,8,12)
(0,8,2,10)
(0,8,4,12)
0
0
0
0
0
0
0
0
0
0
0
(2,3,10,11)
(2,10,3,11)
0 1
0 1
(0,1,2,3)
(0,2,4,6)
(0,2,8,10)
(0,4,8,12)
0
0
(2,3,10,11)
0 1
0
0
0
29
A partir de estos grupos obtendremos los trminos
producto que pueden formar parte de la expresin

minimizada de esta funcin
(0,1,2,3)
(0,2,4,6)
(0,2,8,10)
(0,4,8,12)
0
0
0
0
0
AB
AD
BD
CD
(2,3,10,11)
0 1
BC
30
15
A continuacin creamos la tabla de seleccin para las
combinaciones que hay que cubrir, o sea, aquellas cuyo

valor de salida es 1
1 3 6 8 10 11
X X
(0,1,2,3)
AB
(0,2,4,6)
AD
(0,2,8,10)
BD
(0,5,8,12)
CD
(2,3,10,11)
BC
31
Tras la seleccin de los trminos esenciales slo queda
un trmino por cubrir
1 3 6 8 10 11
X X
(0,1,2,3)
AB
(0,2,4,6)
AD
(0,2,8,10)
BD
(0,5,8,12)
CD
(2,3,10,11)
BC
32
16
Hay dos posibilidades para cubrir el trmino restante,
es decir, hay dos funciones mnimas posibles

1 3 6 8 10 11
X X
(0,1,2,3)
AB
(0,2,4,6)
AD
(0,2,8,10)
BD
(0,5,8,12)
CD
(2,3,10,11)
BC
AB + AD + BC + BD
33
Hay dos posibilidades para cubrir el trmino restante,
es decir, hay dos funciones mnimas posibles

1 3 6 8 10 11
X X
(0,1,2,3)
AB
(0,2,4,6)
AD
(0,2,8,10)
BD
(0,5,8,12)
CD
(2,3,10,11)
BC
X
X
AB + AD + BC + CD
34
17
Estructura del tema
Introduccin



35
El mtodo de Quine-McCluskey puede aplicarse a la
minimizacin de funciones con salida mltiple
El proceso de obtencin de los trminos producto debe
tener en cuenta las combinaciones que cubre cada

trmino y las funciones a las que pertenece

Cuando se forme una pareja, sta slo pertenecer a una

funcin si sus dos componentes pertenecen a ella
No se podr formar una pareja si los dos candidatos no
pertenecen, como mnimo, a una misma funcin
La seleccin de los trminos producto se har por
separado para cada funcin
36
18
Simplificacin de multi-funciones
El mtodo de Quine-McCluskey puede aplicarse para
minimizar estas tres funciones:
A B C D
0)
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)
13)
14)
15)
F1(A,B,C,D) = (0,1,2,3,8,10)
F2(A,B,C,D) = (2,3,5,6,7,8,10,11,12,14,15)
F3(A,B,C,D) = (8,9,10,12,13,14)
0
0
0
0
0
0
0
0
1
1
1
1
1
1
1
1
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
1
F1 F2 F3
1
1
1
1
0
0
0
0
1
0
1
0
0
0
0
0
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
0
1
1
0
1
1
1
1
0
1
1
1
0
1
1
0
0
0
0
0
0
0
0
1
1
1
0
1
1
1
0
37
A partir de la tabla de verdad se agrupan los trminos,
indicando a que funcin pertenecen

A B C D
0)
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)
13)
14)
15)
0
0
0
0
0
0
0
0
1
1
1
1
1
1
1
1
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
F1 F2 F3
1
1
1
1
0
0
0
0
1
0
1
0
0
0
0
0
0
0
1
1
0
1
1
1
1
0
1
1
1
0
1
1
0
0
0
0
0
0
0
0
1
1
1
0
1
1
1
0
(0)
0 0 0 0
F1
(1)
(2)
(8)
0 0 0 1
0 0 1 0
1 0 0 0
F1
F1F2
F1F2F3
(3)
(5)
(6)
(9)
(10)
(12)
0
0
0
1
1
1
0
1
1
0
0
1
1
0
1
0
1
0
1
1
0
1
0
0
F1F2
F2
F2
F3
F1F2F3
F2F3
(7)
(11)
(13)
(14)
0
1
1
1
1
0
1
1
1
1
0
1
1
1
1
0
F2
F2
F3
F2F3
(15) 1 1 1 1
F2
38
19
Los grupos que pertenecen a una misma funcin dan
lugar a parejas
(0,1)
(0,2)
(0,8)
0 0 0
0 0 0
0 0 0
F1
F1
F1
(1,3)
(1,5)
(1,9)
(2,3)
(2,6)
(2,10)
(8,9)
(8,10)
(8,12)
0
0
0
0
1
1
1
F1
0
0
0
0
0
0
0
1
1
1
0
1
1
1
0
0
0
0
F1F2
F2
F1F2
F3
F1F2F3
F2F3
(3,7)
(3,11)
(5,7)
(5,13)
(6,7)
(6,14)
(9,11)
(9,13)
(10,11)
(10,14)
(12,13)
(12,14)
1
1
1
1
1
1
0
1
1
1
1
0
1
1
1
1
0
1
1
0
1
1
0
1
1
1
1
0
1
1
(7,15)
(11,15)
(13,15)
(14,15)
1
1
1
1
1
1
1
1
1
1
F2
F2
F2
F2
F2
F3
F2
F2F3
F3
F2F3
F2
F2
F2
39
Las parejas anteriores dan lugar a nuevas parejas

(0,1,2,3)
(0,1,8,9)
(0,2,1,3)
(0,2,8,10)
(0,8,2,10)
(1,3,5,7)
(2,3,6,7)
(2,3,10,11)
(2,6,3,7)
(2,6,10,14)
(2,10,3,11)
(2,10,6,14)
(8,9,10,11)
(8,9,12,13)
(8,10,12,14)
(8,12,10,14)
(8,12,9,13)
0
0
1
1
1
1
1
0
0
0
0
0
0
1
1
1
1
1
1
0
0
0
0
F1
F1
F1
F1
F2
F2
F2
F2
F2
F2
(3,7,11,15)
(3,11,7,15)
(6,7,14,15)
(6,14,7,15)
(9,13,11,15)
(10,11,14,15)
(10,14,11,15)
(12,13,14,15)
1
1
1
1
1
1
1
1
1
1
1
1
1
1
F2
F2
F2
F2
F2
F2
F3
F2F3
F2F3
F3
40
20
En el paso anterior surgieron varias repeticiones que se
pueden eliminar
(0,1,2,3)
(0,2,8,10)
0 0
0 0
F1
F1
(2,3,6,7)
(2,3,10,11)
(2,6,10,14)
(8,9,12,13)
(8,10,12,14)
1
1
F2
F2
F2
F3
F2F3
(3,7,11,15)
(6,7,14,15)
(10,11,14,15)
1 1
1 1
1 1
1
1
1
0
F2
F2
F2
41
A continuacin tendremos una ltima ronda de creacin
de parejas, que da lugar a tres parejas que cubren las

mismas combinaciones
(2,3,6,7,10,11,14,15)
F2
(2,3,10,11,6,7,14,15)
F2
(2,6,10,14,3,7,11,15)
F2
(8,9,12,13,10,11,14,15)
(2,3,6,7,10,11,14,15)
F2
42
21
De todos los grupos generados debemos elegir
aquellos tales que no exista ninguno que lo contenga

y pertenezca a las mismas funciones que l
(2,3) F1F2
(2,10) F1F2
0 0 1
0 1 0
ABC
BCD
(5,7) F2
(8,10) F1F2F3
(0,1,2,3) F1
(0,2,8,10) F1
(8,9,12,13) F3
(8,10,12,14) F2F3
(2,3,6,7,10,11,14,15) F2
0
1
0
1
1
ABD
ABD
AB
BD
AC
AD
C
1
0
0
0
1
0
43
Ahora podemos crear la tabla de seleccin para la
funcin F1
(2,3)
(2,10)
(5,7)
(8,10)
(0,1,2,3)
(0,2,8,10)
(8,9,12,13)
e identificar los trminos esenciales
0 1 2 3 8 10
F1F2
F1F2
F2
F1F2F3
F1
F1
F3
(8,10,12,14)
F2F3
(2,3,6,7,10,11,14,15) F2
ABC
BCD
ABD
ABD
AB
BD
AC
X X
X
X
X X
X X X X
X
X X
AD
C
44
22
Para cubrir las combinaciones restantes elegimos al

candidato ms simple
(2,3)
(2,10)
(5,7)
(8,10)
(0,1,2,3)
(0,2,8,10)
(8,9,12,13)
F1F2
F1F2
F2
F1F2F3
F1
F1
F3
(8,10,12,14)
F2F3
(2,3,6,7,10,11,14,15) F2
0 1 2 3 8 10
ABC
BCD
ABD
ABD
AB
BD
AC
X X
X
X
X X
X X X X
X
AD
C
X X
F1 = AB + BD
45
Los trminos esenciales de la funcin F2 cubren todas

las combinaciones
2 3 5 6 7 8 10 11 12 14 15
(2,3)
(2,10)
(5,7)
(8,10)
(0,1,2,3)
(0,2,8,10)
(8,9,12,13)
F1F2
F1F2
F2
F1F2F3
F1
F1
F3
(8,10,12,14)
F2F3
(2,3,6,7,10,11,14,15) F2
ABC
BCD
ABD
ABD
AB
BD
AC
AD
C
XX
X
X
X
X
X X
F2 = ABD + AD + C
X X
XX
XX
X X
X X
X X
46
23
Los trminos esenciales de la funcin F3 cubren todas

las combinaciones, estando uno ellos compartido con la
8 9 10 12 13 14
funcin F2
(2,3)
(2,10)
(5,7)
(8,10)
(0,1,2,3)
(0,2,8,10)
(8,9,12,13)
F1F2
F1F2
F2
F1F2F3
F1
F1
F3
(8,10,12,14)
F2F3
(2,3,6,7,10,11,14,15) F2
ABC
BCD
ABD
ABD
AB
BD
AC
AD
C
F3 = AC + AD
X
X X
X
X
X
47
Estructura del tema
Introduccin


48
24
Resumen
Al igual que el mtodo de Karnaugh, el mtodo de

Quine-McCluskey permite obtener, de forma
sistemtica, la funcin lgica mnima que representa
un circuito digital
Las principales ventajas de este mtodo son la

capacidad de minimizar funciones con muchas
variables y la posibilidad de automatizarlo
Este mtodo tambin permite trabajar con funciones

incompletamente especificadas y con funciones de
salida mltiple, aprovechando sus caractersticas
particulares para minimizar an ms las funciones
49
Bibliografa
Principios de Diseo Digital
Captulo 4
Daniel D. Gajski
Prentice Hall, 1997
Sistemas Electrnicos Digitales
Captulo 3
Enrique Mandado
Marcombo, 1991
50
25

Metodo de Quinemc

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Metodo de Quinemc

Cargado por

Copyright:

Formatos disponibles

10.

Simplificacin de funciones lgicas

Oliverio J. Santana Jaria

El mtodo de Karnaugh permite minimizar funciones

lgicas de forma efectiva, pero tiene dos desventajas

Depende de la habilidad del usuario para detectar patrones

Los objetivos de este tema son:

Describir el mtodo de Quine-McCluskey para la

Simplificacin de funciones lgicas con el mtodo de Quine-McCluskey

Estructura del tema

Obtencin de trminos producto

Funciones incompletamente especificadas

El mtodo de Quine-McCluskey es un mtodo tabular

de simplificacin que facilita la minimizacin de

Adems, este mtodo es sistemtico y no depende de

la habilidad de una persona para reconocer patrones

Debido a estas caractersticas, hay variantes de este

mtodo que estn implementadas en programas de

Simplificacin de funciones lgicas con el mtodo de Quine-McCluskey

El mtodo de Quine-McCluskey parte de una funcin

booleana expresada como una suma de productos en

El primer paso del mtodo consiste en obtener todos los

trminos producto que pueden formar parte de la nueva

Una vez obtenidos los trminos producto, el segundo

paso consiste en generar la expresin minimizada, es

Simplificacin de funciones lgicas con el mtodo de Quine-McCluskey

Obtencin de los trminos producto

Comenzamos obteniendo todas las parejas de trminos

producto cuyo valor difiera en una sola variable

Se agrupan todos los trminos producto que valgan 1 y que

Una vez hecho esto, se repite el proceso con los grupos

resultantes hasta que no sea posible obtener ms parejas

Simplificacin de funciones lgicas con el mtodo de Quine-McCluskey

Obtencin de los trminos producto

En primer lugar hay que agrupar los trminos y

ordenarlos segn el nmero de variables con valor 1

Simplificacin de funciones lgicas con el mtodo de Quine-McCluskey

Obtencin de los trminos producto

A continuacin se forman parejas entre grupos que

difieran en el valor de una nica variable

Simplificacin de funciones lgicas con el mtodo de Quine-McCluskey

Obtencin de los trminos producto

Si repetimos el proceso una vez ms llegamos a un

punto en el que no es posible simplificar ms

Simplificacin de funciones lgicas con el mtodo de Quine-McCluskey

Obtencin de los trminos producto

A partir de las combinaciones obtenidas podemos

deducir los trminos producto

Simplificacin de funciones lgicas con el mtodo de Quine-McCluskey

Seleccin de los trminos producto

Hay que tener en cuenta todos los grupos tales que no

haya uno mayor que los contenga, aunque no todos ellos

Slo es necesario elegir un conjunto de trminos

producto que cubran todas las combinaciones en las

Se genera una tabla de seleccin marcando qu trminos

Simplificacin de funciones lgicas con el mtodo de Quine-McCluskey

Seleccin de los trminos producto

La tabla de seleccin nos indica la relacin entre los

trminos producto y las combinaciones cubiertas por

Simplificacin de funciones lgicas con el mtodo de Quine-McCluskey

Seleccin de los trminos producto

Una vez tenemos la tabla debemos identificar los

trminos esenciales, o sea, aquellos que sean los nicos

Simplificacin de funciones lgicas con el mtodo de Quine-McCluskey