Tabular Quine McCluster

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 Los objetivos de este tema son:
Depende de la habilidad del usuario para detectar patrones Es difcil de aplicar en funciones de ms de cuatro variables 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
2
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

Simplificacin de funciones lgicas con el mtodo de Quine-McCluskey 3
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) (2) (4) (3) (6) (9) (7) (11) (13) (15)
0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 1 1 0 1 0 0 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1
7
A continuacin se forman parejas entre grupos que difieran en el valor de una nica variable
(0) (2) (4) (3) (6) (9) (7) (11) (13) (15) 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 1 1 0 1 0 0 1 0 1 1 1 1 0 1 1 1 1 0 1 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 0 1 0 1 0 1 1 0 1 1 1 1 1 0 1 1
0 0 0 0 1 1 1 1 1 1 1
8
(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)
Si repetimos el proceso una vez ms llegamos a un punto en el que no es posible simplificar ms

0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 1 0 1 1 0 1 1 1 1 1 0 1 1 0 0 0 0 1 1 1 1 1 1 1 (0,2,4,6) (2,3,6,7) (3,7,11,15) (9,11,13,15) 0 0 0 1 1 1 1 1
A partir de las combinaciones obtenidas podemos deducir los trminos producto

A B C D (0,2,4,6) (2,3,6,7) (3,7,11,15) (9,11,13,15) 0 0 0 1 1 1 1 1 AD AC CD 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 (0,2,4,6) (2,3,6,7) (3,7,11,15) AD AC CD X X X X X X X X X X X X X X X X
12
(9,11,13,15) AD
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 (0,2,4,6) (2,3,6,7) (3,7,11,15) AD AC CD X X X X X X X X X X X X X X X X
13
(9,11,13,15) AD
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 (0,2,4,6) (2,3,6,7) (3,7,11,15) AD AC CD X X X X X X X
X X X
X X X X X X
(9,11,13,15) AD
AD + AC + AD
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 (0,2,4,6) (2,3,6,7) (3,7,11,15) AD AC CD X X X X X X X X X X
X X X X
X X
(9,11,13,15) AD
AD + CD + AD
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
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
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) (6) (9) (7) (13) (15)
0 0 1 0 1 0 0 0 0 1 1 0 1 0 0 1 0 1 1 1 1 1 0 1 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) (6) (9) (7) (13) (15) 0 0 1 0 1 0 0 0 0 1 1 0 1 0 0 1 0 1 1 1 1 1 0 1 1 1 1 1 (2,6) (8,9) (6,7) (9,13) (7,15) (13,15) 0 1 0 1 0 1 1 0 1 0 0 1 ACD ABC ABC ACD BCD ABD
1 1 1 1 1 1
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 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 ABC ABC ACD BCD ABD X X X X X P2 + P4 X X X P4 + P5 P3 + P5
21
X X X X
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


12
Funciones incompletamente especificadas
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
El mtodo de Quine-McCluskey puede aplicarse a la F(A,B,C,D) = (1,3,6,8,10,11) + (0,2,4,12,13) funcin:

x
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) (3,11) (10,11) (12,13) 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0
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) (3,11) (10,11) (12,13) 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 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) (2,3,10,11) (2,10,3,11) 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 1 0 1
0 1 1 1 0 1 1 1 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) (2,3,10,11) (2,10,3,11) 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
(0,1,2,3) (0,2,4,6) (0,2,8,10) (0,4,8,12) (2,3,10,11)
0 0
0 0
0 0 0
0 1 0 1
0 1
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) (2,3,10,11) 0 0 0 0 0 0 0 0 AB AD BD CD BC
0 1
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 (0,1,2,3) (0,2,4,6) (0,2,8,10) (0,5,8,12) (2,3,10,11) AB AD BD CD BC X X X X X X X X
31
Tras la seleccin de los trminos esenciales slo queda un trmino por cubrir
1 3 6 8 10 11 (0,1,2,3) (0,2,4,6) (0,2,8,10) (0,5,8,12) (2,3,10,11) AB AD BD CD BC X X X X X X X X X
32
16
Hay dos posibilidades para cubrir el trmino restante, es decir, hay dos funciones mnimas posibles
1 3 6 8 10 11 (0,1,2,3) (0,2,4,6) (0,2,8,10) (0,5,8,12) (2,3,10,11) AB AD BD CD BC X X X X
X X
AB + AD + BC + BD
Hay dos posibilidades para cubrir el trmino restante, es decir, hay dos funciones mnimas posibles
1 3 6 8 10 11 (0,1,2,3) (0,2,4,6) (0,2,8,10) (0,5,8,12) (2,3,10,11) AB AD BD CD BC X X X X X X X
X X
AB + AD + BC + CD
17
Estructura del tema


Circuitos con salida mltiple
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 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
37
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) 1) 2) 3) 4) 5) 6) 7) 8) 9) 10) 11) 12) 13) 14) 15)
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) (1) (2) (8) (3) (5) (6) (9) (10) (12) (7) (11) (13) (14)
0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 1 1 0 1 1 1 0 1 1 0 0 1 1 0 1 1 1 0 1 0 1 0 1 1 0 1 1 1 0 1 0 0 1 1 1 0
F1 F1 F1F2 F1F2F3 F1F2 F2 F2 F3 F1F2F3 F2F3 F2 F2 F3 F2F3 F2

38
(15) 1 1 1 1
19
Los grupos que pertenecen a una misma funcin dan (3,7) 0 1 1 F lugar a parejas (3,11) 0 1 1 F
2 2
(0,1) (0,2) (0,8) (1,3) (1,5) (1,9) (2,3) (2,6) (2,10) (8,9) (8,10) (8,12)
0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 1 0 0 0 0
F1 F1 F1 F1
F1F2 F2 F1F2 F3 F1F2F3 F2F3
(5,7) (5,13) (6,7) (6,14) (9,11) (9,13) (10,11) (10,14) (12,13) (12,14) (7,15) (11,15) (13,15) (14,15)
0 0 1 1 1 1 1 1 1 1 1
1 1 1 1 0 0 1 1 1 1 1
0 1 1 0 1 1 0 1 1 1
1 1 0 1 1 0 0 1 1 1
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 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 F1 F1 F1 F1 F2 F2 F2 F2 F2 F2 F3 F2F3 F2F3 F3 (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 1 1
F2 F2 F2 F2 F2 F2
40
20
En el paso anterior surgieron varias repeticiones que se pueden eliminar

(0,1,2,3) (0,2,8,10) (2,3,6,7) (2,3,10,11) (2,6,10,14) (8,9,12,13) (8,10,12,14) (3,7,11,15) (6,7,14,15) (10,11,14,15) 0 0 0 0 0 1 1 0 1 1 1 0 0 0 F1 F1 F2 F2 F2 F3 F2F3 F2 F2 F2
1 1 1 1 1 1
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) (2,3,10,11,6,7,14,15) (2,6,10,14,3,7,11,15) (8,9,12,13,10,11,14,15) 1 1 1 1 F2 F2 F2 (2,3,6,7,10,11,14,15) 1 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 (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 0 1 0 1 0 0 1 0 1 1 1 0 0 0 0 1 1 0 0 0 ABC BCD ABD ABD AB BD AC AD C
43
Ahora podemos crear la tabla de seleccin para la funcin F1

e identificar los trminos esenciales
2 3 8 10 0 1
X X X X X X
(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
ABC BCD ABD ABD AB BD AC AD C
X X X X X X X X
(8,10,12,14) F2F3 (2,3,6,7,10,11,14,15) F2
44
22
Para cubrir las combinaciones restantes elegimos al candidato ms simple
2 3 8 10 0 1
ABC BCD ABD ABD AB BD AC AD C X X X X X X X X X X X X X X
(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
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

X X X X X
(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
ABC BCD ABD ABD AB BD AC AD C
XX X
F2 = ABD + AD + C
X X XX XX X X X X X X
46
(8,10,12,14) F2F3 (2,3,6,7,10,11,14,15) F2
23
Los trminos esenciales de la funcin F3 cubren todas las combinaciones, estando uno ellos compartido con la funcin F2
8 9 10 12 13 14 F1F2 F1F2 F2 F1F2F3 F1 F1 F3 ABC BCD ABD ABD AB BD AC AD C F3 = AC + AD X X
(2,3) (2,10) (5,7) (8,10) (0,1,2,3) (0,2,8,10) (8,9,12,13)
X X X X
X X
X X
(8,10,12,14) F2F3 (2,3,6,7,10,11,14,15) F2
47
Estructura del tema

Introduccin
Mtodo de simplificacin de Quine-McCluskey
Circuitos con salida mltiple
Resumen y bibliografa
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
Bibliografa
Principios de Diseo Digital Captulo 4 Daniel D. Gajski Prentice Hall, 1997 Sistemas Electrnicos Digitales Captulo 3 Enrique Mandado Marcombo, 1991
50
25

Tabular Quine McCluster

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Tabular Quine McCluster

Transféré par

Droits d'auteur :

Formats disponibles

10.

Simplificacin de funciones lgicas con el mtodo de Quine-McCluskey

Oliverio J. Santana Jaria

Simplificacin de funciones lgicas con el mtodo de Quine-McCluskey

Estructura del tema

Introduccin Mtodo de simplificacin de Quine-McCluskey

Funciones incompletamente especificadas Circuitos con salida mltiple Resumen y bibliografa

Obtencin de los trminos producto

Obtencin de los trminos producto

Simplificacin de funciones lgicas con el mtodo de Quine-McCluskey

Obtencin de los trminos producto

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

Simplificacin de funciones lgicas con el mtodo de Quine-McCluskey

Seleccin de los trminos producto

Simplificacin de funciones lgicas con el mtodo de Quine-McCluskey

Seleccin de los trminos producto

Simplificacin de funciones lgicas con el mtodo de Quine-McCluskey

Seleccin de los trminos producto

Seleccin de los trminos producto

Seleccin de los trminos no esenciales

Seleccin de los trminos no esenciales

Podemos aplicar el mtodo de Quine-McCluskey a la siguiente funcin: F(A,B,C,D) = (2,6,7,8,9,13,15)

(2) (8) (6) (9) (7) (13) (15)

Simplificacin de funciones lgicas con el mtodo de Quine-McCluskey

Simplificacin de funciones lgicas con el mtodo de Quine-McCluskey

A continuacin generamos la tabla de seleccin y detectamos los trminos esenciales

Simplificacin de funciones lgicas con el mtodo de Quine-McCluskey

Simplificacin de funciones lgicas con el mtodo de Quine-McCluskey

Simplificacin de funciones lgicas con el mtodo de Quine-McCluskey

P0 ACD P1 ABC P2 P3 P4 P5 ABC ACD BCD ABD

ACD + ABC + ABC + ABD

ACD + ABC + ACD + BCD

ACD + ABC + BCD + ABD

Simplificacin de funciones lgicas con el mtodo de Quine-McCluskey

Estructura del tema

Introduccin Mtodo de simplificacin de Quine-McCluskey

Funciones incompletamente especificadas Circuitos con salida mltiple Resumen y bibliografa

Funciones incompletamente especificadas

Funciones incompletamente especificadas

El mtodo de Quine-McCluskey puede aplicarse a la F(A,B,C,D) = (1,3,6,8,10,11) + (0,2,4,12,13) funcin:

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

Simplificacin de funciones lgicas con el mtodo de Quine-McCluskey

Funciones incompletamente especificadas

A continuacin se puede comenzar a formar parejas

Simplificacin de funciones lgicas con el mtodo de Quine-McCluskey

Funciones incompletamente especificadas

Es posible seguir formando nuevas parejas

Simplificacin de funciones lgicas con el mtodo de Quine-McCluskey

Funciones incompletamente especificadas

(0,1,2,3) (0,2,4,6) (0,2,8,10) (0,4,8,12) (2,3,10,11)

Simplificacin de funciones lgicas con el mtodo de Quine-McCluskey

Funciones incompletamente especificadas

Simplificacin de funciones lgicas con el mtodo de Quine-McCluskey

Funciones incompletamente especificadas

Simplificacin de funciones lgicas con el mtodo de Quine-McCluskey

Funciones incompletamente especificadas

Simplificacin de funciones lgicas con el mtodo de Quine-McCluskey