CAPITULO

Mtodos tabulares de simplif icacin de ecuaciones

2.I.

METODOS TABULARES DE SIMPLIFICACION

Existen bastantes mtodos para realizar la simplihcacin de ecuaciones booleanas, si bien, en la prctica, son slo dos los ms empleados:
o Mapas de Karnaugh: Se pueden

utilizar para simplihcar funciones de dos a seis variables, aunque habitualmente slo se los emplee para funciones de dos a cinco variables. Tablas de Quine-McCluskey: Se pueden emplear en la simplificacin de ecuaciones de cualquier nmero de variables, pero se suelen utilizar solamente a partir de cinco variables.

2.2, MAPAS DE KARNAUGH

Estn constituidos por una cuadrcula en forma de encasillado cuyo nmero de casillas depende del nmero de variables que tenga la funcin a simplihcar. Cada una de las casillas representa las distintas combinaciones de las variables que puedan existir. En la lrgura 2.1 aparecen las distintas formas que adoptan los mapas de Karnaugh en funcin del nmero de variables.

b)

c
00
01

3-^ ooo oo1 01t o1o 110 111

101

c)
11

10

Figura

2.1

a) Mapa de dos variables. b) Mapa

de tres variables.

c) Mapa de cuatro variables.

d)

Mapa de cinco variables.

27

28

ELECTRONICA DIGITAL

2.3. REPRESENTACION DE ECUACIONES BOOLEANAS

EN MAPAS DE KARNAUGH
Cada una de las casillas que forman el mapa puede represntar trminos tanto minterms como maxterms. El convenio que se emplea es el mismo que ya enunciamos en el Captulo 1 para obtener la ecuacin booleana de una tabla de verdad; ste aparece en la Tabla 1.4 de dicho captulo. En la Figura 2.2 aparece, a modo de ejemplo, la equivalencia de cada una de las casillas de un mapa de cuatro variables expresada en trminos minterms y en trminos maxterms.
b 00
01

o0
a b.c'd

01

11

10

a.b.e.d a'b'E'd
.b.e-d
'b'c'd
d

a.6.e.d
a.6 e d a'6'c'd a 5'c il
0

a'b'c'd

a)
11

'6'c'd

10

'6 c
o0

'b.c'd
01

a'b'e'd a'b'c'd a b'c'il

"-* 00
01
11

a+b+c+d a+b+c+d
a+ b+
a+

a+6+c+d
a+ 6+

+6+c+d
+ 6+c+

A+b+c+d A+b+c+d
a+ b+ c+ ol

c+d

il

E+d

a+ 6+ E+A a+

a+b+c+cl

10

b+e+ d

6+e+d

+6+c+d

+b+E+d

F)gura

2.2.

Equivalencia de las casillas de un mapa de cuatro variables. a) Trminos mnterms. b) Trminos maxterms.

Cuando uayamos a representar una ecuacin en forma minterms, pondremos I en la casilla correspondiente a cada trmino. Por el contraro, si la representamos enforma maxterms, pondremos un 0 en la casilla correspondiente a cada trmino. Por ltimo, hay que destacar que cuando uayamos a representar una funcin booleana, sta tiene que estar en suforma cannica (minterms o maxterms) completa y, por tanto, todos los trminos han de contener todas las uariables que interuienen en lafuncin.En el caso de tener que representar funciones incompletas,habr que obtener previamente la forma cannica completa o representar todas las casillas que correspondan a trmino incompleto.

2.4. SIMPLIFICACION DE ECUACIONES

EN MAPAS DE KARNAUGH
El principio de simplificacin de los mapas se basa n una de las leyes del lgebra de Boole. Dicha ley es la (9) de la Tabla 1.3 del Captulo 1, que dice:

a'b+a'6:a

METODOS TABULARES DE SIMPLIFICACION DE ECUACIONES

29

Como podemos observar en las Figuras2.2ay 2.2b, todas las casillas contiguas, segn los ejes coordenads, se caracterizan por diferenciarse slo en una variable, que se encuentra negada en una de ellas y sin negar en la otra. Esta caracterstica, que se cumple en todos los mapas, permite aplicar de una formiautomticalaley anterior, consiguiendo as simplihcar las casillas contiguas por sus variables comunes. Generalizando este proceso de sinplihcacin, podemos ahrmar que en los mapas de Karnaugh se pueden simplificar entre s, por sus variables comunes, los siguientes grupos de casillas:

Grupos de 2, 4,8, 16,32o 64 casillas contiguas segn los ejes coordenados, pero nunca segn

ejes diagonales. o Los grupos de casillas de los bordes del mapa opuestas entre s' . El grupo de casillas constituido por las cuatro esquinas del mapa.

Cuando en un mapa de Karnaugh tratemos de agrupar casillas para simplificar,,deberemos procurcv conseguir gripot del mximo nmero de casillas, pero respetando siempre las normas

aitudur. Al hacr los agrupamientos, procuraremos incluir, si es posble, todos los trminos representados, no existiendo ningn problema en que un trmino pertenezca a ms de un agrupamiento' por ltimo, hay qui mlncionar que todo lo dicho es vlido tanto para funciones minterms como para funciones maxterms.

2.5. TABLAS DE QUINE-McCLUSKEY

Este mtodo consiste en una serie de tablas que, utilizando la representacin binaria equiualente de cada uno de los trminos que componen la funcin booleana a simplificar, expresada siempre bajo ta forma minterms, tratan de encontrar las relaciones de similitud existentes entre dichos timinos para, asi, poderlos reducir aplicando la misma ley que en los mapas de Karnaugh. El proceso de simplificacin exige la obtencin ordenada de las siguientes tablas:

. Tabla de agrupamientos base. . Tabla de agrupamientos de orden: primero, segundo, . Tabla reductora final.
simplificar o reducir la siguiente funcin:

tercero, etc.

Para poder comprender el proceso de reduccin veamos un ejemplo. Supongamos que se desea

F : a'6' 'd + a'6' 'd + a' 6' c' d + a' b' a' d + + a' b' c' d + a'6' c'd + a'6' c'd + a' b' c' d
En primer lugar, obtendremos la Tabla 2.1, o tabla de agrupamientos base, en la cual se clasihca cada uno .de los trminos de la funcin segn el nmero de unos que contiene su equivalente binario.

30

ELEcrRoNtcA DrGrrAL

Tabla

2.1

Tabla de agrupamientos base

a'b'c'd

0000
0010 1000 0101 1010 0111 1101 1111

0
2
8

Indice 0

a'6'c'd a'5'e'd
A'b'c'd a'6'c'd a'b'c'd a'b''d
a'b'c'd

Indice

10
7

Indice

t3
15

Indice

Indice 4

Seguidamente obtendremos la Tabla 2.2, o tabla de agrupamientos de primer orden. Esta tabla se obtiene buscando, en la tabla de agrupamientos base y entre grupos de ndices contiguos, combinaciones que slo difieran en una cifra. Estas combinaciones se pondrn en la tabla de agrupamientos de primer orden, sustituyendo por un guin la cifra en que difieren.

Tabla
00-0 -000 -010
10-0 01-1 -101 -111
11-1

2.2.

Tabla de agrupamientos de primer orden

(0, 2) (0, 8)
(2, 10) (8, 10)

Indice 0

Indice

(s,7)
(5, l3)

Indice

(7,ls)
(13,15)

Indice

De forma similar obtendremos la Tabla 2.3, o tabla de agrupamientos de segundo orden. Tabla
-0-0 -o-0
1-1 1-1

2.3.

Tabla de agrupamientos de segundo orden

(0,2), (8,10) (0,8), (2, 1o) (5,7), (13,15)

(5, 13), (7,15)

lndice 0

lndice 2

METODOS TABULARES DE SIMPLIFICACION DE ECUACIONES

31

Cuando en una tabla aparecen trminos repetidos, se pueden eliminar, si bien conservando siempre su procedencia. Segn lo dicho, la Tabla 2.3 se transforma en la Tabla 2.4. Tabla
-0-0

2.4. Tabla de agrupamientos de segundo orden simplificada

(0,2, 8,
10)

Indice 0

1-l

(s,7, t3,

1s)

Indice

En las sucesivas reducciones, se van eliminando grupos de ndices, pudiendo eliminarse incluso grupos de ndices intermedios. El proceso de reduccin deber seguir hasta que no sea posible ,"ulitu, ms agrupamientos; en este momento se obtendr la Tabla 2.5, o tabla reducfora final. Esta tabla se obtiene poniendo todos los agrupamientos del orden superior realizados; si con ellos no estn cubiertos todos los trminos de la tabla de agrupamientos base, se aadirn agrupamientos del orden inmediatamente inferior, y as sucesivamente, hasta que estn cubiertos todos los trminos de la tabla de agrupamientos base.

Tabla

2.5.
d
0
1

Tabla reductora final

a hc

0 25 78

1013

15

01-

El resultado de la simplificacin se obtiene de la tabla reductora final, formando trminos

equivalentes a las combinaciones binarias indicadas en la tabla y empleando para ello el convenio d las ecuaciones minterms (0 : variable negada y 1 : variable sin negar), de manera que todos los trminos de la tabla de agrupamientos base estn incluidos en las reducciones que dichas combinaciones equivalentes representan.

. Por

todo ello, el resultado final ser

F:6.d+b.d:-b@d

2.6. TERMINOS INDIFERENTES EN UNA FUNCION BOOLEANA

Las funciones booleanas estudiadas en el Captulo 1 tienen su campo de aplicacin, como ya dijimos, en los circuitos digitales. En estos circuitos, cada una de las variables que componen la ecuacin booleana de funcionamiento se corresponde con las entradas del circuito, siendo su salida la propia funcin. Sucede a veces en los circuitos digitales que ciertas combinaciones de sus variables de entrada no pueden producirse nunca debido a que otros circuitos anteriores impiden su llegada a nuestro

32

ELECTRONICA DIGITAL

circuito. A estas combinaciones de entrada que, apareciendo en la tabla de verdad de funcionamiento del mencionado circuito, no producen en la salida ni 0 ni 1 las denominamos combinaciones indiferenfes, y se representan en las tqblas de uerdad por x o . A su vez, estas combinaciones indiferentes dan lugar a trminos indiferentes, que pueden ser representados en los mapas de Karnaugh y se los puede considerar bien como 0 o como 1 segn convenga para las simplificaciones y sin que ello conlleve alteraciones en la respuesta de la funcin; es decir, del circuito.

PROBLEMAS RESUELTOS
2.1,
Representar en un mapa de Karnaugh la siguiente funcin booleana y simplificarla:

F:a'b+A'6+a'6
Solucin: La funcin a representar est bajo la forma de minterms completo de dos variables, causa por la que emplearemos el mapa de dos variables, poniendo un I en la casilla correspondiente a cada trmino, tal como aparece en la Figura 2.3.

Figura

2.3.

Mapa del Problema 2.1.

Si se agrupan las casillas contiguas que se indican en la Figura 2.3, el resultado de la simplificacin ser

F:a+5:a'b
2.2. Dada la siguiente
funcin, representarla en un mapa de Karnaugh y simplifrcarla:

F:(a+b-)'(a+b)'1a+b)
Solucin: La funcin est bajo la forma de maxterms completo, luego emplearemos un mapa de dos variables, poniendo un 0 en la casilla correspondiente a cada trmino. La Figura 2.4 nos muestra la
representacin.

Figura

2.4.

Mapa del Problema 2.2.

METODOS TABULARES DE SIMPLIFICACION DE

ECUACIONES 33

Agrupando casillas, se obtiene

F: a'b
2.3.
Realizar la representacin de la siguiente funcin en un mapa de Karnaugh:

F : a' b' c -t a'6' a * a'b'

Solucin:
Se

+ a'6'

trata de una ecuacin en |a forma de minterms completo de tres variables. Emplearemos, por tanto, un mapa de tres variables, colocando un I en las casillas correspondientes. La Figura 2.5 nos
da el resultado hnal.

b 00
0
1

01

11
1

10

Figura

2.5:

Resultado del Problema 2.3.

2.4. Dada'la funci! siguien,

representarla en un mapa de Karnaugh:

a\

F : (a + b + c)'(a * b + cl'(a -t 6 + a)'(a + 6 +

Solucin: La ecuacin a representar est expresada bajo la forma de maxterms completo de tres
variables, y nosotros representaremos cada uno de sus trminos por un 0 en la casilla correspondiente de un mapa de Karnaugh de tres variables. En la Figura 2.6 aparece el resultado del problema.

0001
0
1

11

10 0

0 0 0

Figura

2.6.

Resultado del Problema 2.4.

2.5.

Representar la siguiente funcin en un mapa de Karnaugh:

F:a'b+a'c+a'5'?
Solucin: La funcin que ha de representarse est bajo la forma de minterms incompleto de tres variables, causa por la que no podemos proceder como en los problemas anteriores, teniendo dos
opciones para realizar la representacin:

Mtodo l: Obtener la ecuacin minterms completa por la aplicacin del lgebra de Boole. Mtodo 2: Analizar cada trmino incompleto paa razonar las casillas del mapa, cuya simplihcacin dara lugar a dicho trmino.

34

ELECTRONICA DIGITAL

A modo de ejemplo, resolveremos este problema por ambos mtodos, aunque 1o ms habitual resolverlo por el mtodo 2. Mtodo I: Procediendo como se explic en el Problema 1.29 del Captulo 1, la funcin dada transforma en

es se

F : a' b'(c + 4 + a' c'(b + 6) + a.6. e F : a' b' c -f a. b. c * a. b' c + a. 6. c + a.6. F : a' b' c * a. b. E + a. 6. c + a. 6. E

ecuacin que representa el misterms completo de la funcin. Mtodo 2: En la funcin dada, los dos primeros trminos estn incompletos; por tanto, debemos deducir de la simplificacin de qu trminos provienen. Al trmino a ' b le falta la variable c, luego debe provenir de la simplihcacin de los dos trminos que se pueden formar aadindole dicha variable en las formas negada y sin negar, esto es,

a'b-a'b'c*a'b.c
De igual forma, al trmino a ' c le falta , luego

a'c+a'b'c+a.6.c
La funcin completa se logra aadiendo a 1os trminos completos la suma de los equivalentes a los incompletos obtenidos anteriormente

F: a'b c * a'b'c + a'6'c + a'6'a

Una vez obtenida la funcin en su forma minterms completa se procede a su representacin en un mapa de tres variables, tal y como aparece en la Figura 2.7.

Figura

2.7.

Resultado del Problema 2.5.

2.6. Dada la siguiente funcin booleana, representarla en un mapa

de Karnaugh:

F:b'(a+.)'(a+b+a)
Solucin: Como se trata de una funcin en la forma de maxterms incompleto, deberemos, al igual qu en e1 problema anterior, tratar de obtener los trminos de los que proviene cada trmino
incompleto.

El trmino b, al qlue le faltan dos variables, proviene de la simplificacin de todos los trminos formados, aadiqdole todas las posibles combinaciones de dichas variables, es decir,
b

(a

+ b + c).@ + b + c).(a + b + d.

(a

+b+

c)

METODOS TABULARES DE SIMPLIFICACION DE ECUACIONES

35

De igual modo, el otro trmino incompleto proviene de

(a
luego la funcin completa ser

+ a\ +

(a

b + a)' (a + b +

a)

(a

+ b + O'@ + b + c)'(a + b + 4'@ + b + c)'(a + 6 + 4

pasemos a representar la funcin en un mapa de tres variables, poniendo un 0 en las casillas correspondientes, obteniendo as 1a Figura 2.8.

por ltimo,

00 01 11
0
1

10 0

Figura

2.8.

Resultado del Problema 2.6.

2.7.

Partiendo del mapa de Karnaugh de la Figura 2.9, obtener la funcin minterms y maxterms completas que representa.

00
0
1 1
1

01

11
I

10
1

Figura

2.9.

Mapa del Problema 27.

Solucin: La funcin en su forma minterms se obtiene partiendo de las casillas del mapa que contengan 1, sustituyendo los ceros de la parte superior de la columna, y del margen izquierdo de

la fila, por la variable negada, y 1os unos por la variable sin negar. Con este convenio formaremos una suma de trminos constituidos por el proucto de las variables de cada casilla con l. E1 resultado ser

F : a'6' + a'6' c I a' b' a + a'6' a + a'6'

La ecuacin en la forma maxterms se obtiene de las casillas que no tengan 1, formando un producto de trminos en forma de suma de las variables, empleando el convenio contrario al que se utiliz' para obtener los trminos minterms. El resultado ser, hnalmente,
P

(a

+ 6 + c)'

(a

+ 6 + e'@ + 6 +

.)

Ambas ecuaciones representan 1a misma funcin, hecho que se puede comprobar aplicando a la funcin en forma maxterms las leyes del lgebra de Boole.
2.8.

Partiendo del mapa de la Figura 2.10, obtener la ecuacin que representa, tanto en su forma minterms como maxterms completas.

36

ELEcrRoNtcA DtctrAL
o0
0
1

01

11

10 0

0 0

Figura

2.10.

Mapa del Problema 2.8.

Solucin: La funcin en forma maxterms

ser
e)

(a

+b+

c) . (a

+ 6 + c\. (a + 6 + c). (a + b + c). (a + 6 +

Partiendo de las casillas vacas, se obtiene el minterms:

F:a.6.c*a-b.c4a.6.c
2.9. Simplificar la funcin siguiente
empleando los mapas de Karnaugh:

F : a.b. c I a.6' c * a. b. a + a.F. + u. b ;:

Solucin: Comenzaremos por representar \a funcin en el mapa, teniendo en cuenta que su ltimo trmino est incompleto. El trmino incompleto proviene de

a.b+a.b.c+A'b.a
La funcin representada aparece en la Figura 2.11.
a

:
0

CI

00

01

11

10 b

t-t-

dD
2.9.

a-c

Figura 2.11 . Mapa del Problema

Aplicando las normas de simplificacin que se exponen en el Apartado 2.4 de la introduccin terica de este captulo, se obtienen los agrupamientos indicados en la Figura 2.11, dando como resultado de la simplificacin la siguiente ecuacin

F: b + a.c + a.c:

b + a. c + (d + 4

obtenindose esta ltima simplificacin de la aplicacin de las leyes de De Morgan. Tambin se podran haber realizado otros agrupamientos, por ejemplo, los que aparecen en la Figura 2.12, pero estos agrupamientos daran lugar a una ecuacin menos sipficada, por no haberse realizado el agrupamiento de cuatro casillas.

METODOS TABULARES DE SIMPLIFICACION DE ECUACIONES

37

a'c

00 0

01

11

10

CD

'b
Figura

U (:j I

a.b

a-c

2.12.

Resultado del Problema 2.9.

2.10. Simplificar la funcin del Problema 2.6 empleando los

mapas de Karnaugh.
era
e

Solucin: Segn dedujimos en el Problema 2.6, la funcin completa

+ b + 4'@ + b + c)'(a + b + )'(a + b + c)'\a + 6 +

2.1,3,

y su representacin en un mapa de tres variables es el de la Figura

los agrupamientos oportunos.

en la cual hemos realizado

a+e

Figura

2.13.

Mapa del Problema 2.10.

La funcin simplihcada ser, por tanto, la siguiente:

F:b'(a+)
En el anterior mapa podramos haber realizado la simplificacin tambin bajo la forma minterms, ya que en un mapa de Karnaugh todas las casillas que no corresponden a trminos maxterms son irminos minterms. Por tanto, de haber simplificado por maxterms 1os agrupamientos realizados, hubieran sido los sealados en la Figura 2.14.

00 0
0

01

11

10

b.e
1

C fD
0

a'b
0

figura 2.14. Mapa variado del Problema

2.10

38

ELECTRONICA DIGITAL

La ecuacin resultante sera

F:b'c*a'b
ecuacin de la que es muy fcil comprobar que se trata de la misma obtenida por simplificacin desde la representacin maxterms.

2,11, Obtener la funcin simplificada correspondiente a la Tabla de verdad 2.6 empleando los
mapas de Karnaugh.

Tabla

2.6.
abc

Tabla de verdad

del Problema 2.11

F

000 001 010 011 100 101 110 111

I
0 0 0
1 1

0 0

Solucin: Cuando se desea simplificar una funcin desde su tabla de verdad, no es preciso obtener previamente la ecuacin de la funcin sin simplificar para seguidamente representarla en el mapa y proceder a su simplificacin. En laprctica, se puede representar lafuncin, directamente desde la tabla de uerdad al mapa, sin ms que ir colocando los unos o los ceros en las casillas cotespondienles a los ualores que tomt la funcin para cada una de las combinaciones binarias de las uariables que forman dicha funcin. Por ltimo, se proceder a la simplificacin por los mtodos habituales. Otro punto a tener en cuenta al simplihcar una funcin booleana desde su tabla de verdad es si debemos representar la ecuacin bajo la forma de minterms o de maxterms. La norma prctica que en principio debemos aplicar ya se explic en el Captulo 1, y consiste en representar la ecuacin en la forma cannica que menos trminos tenga en 1a salida de dicha tab1a. Esta norma no impide que a veces se obtengan ecuaciones ms simplificadas representando en el mapa la forma cannica que ms trminos tiene en la tabla de verdad. En este problema representaremos la forma cannica minterms, al ser la de menos trminos en la tabla de verdad, tal y como aparece en la Figura 2.15.

Figura

2.15.

Mapa del Problema 2.1

METODOS TABULARES DE SIMPLIFICACION DE ECUACIONES

39

La ecuacin simPlihcada ser

F:a'6+6'

2.12. Dada la Tabla de verdad 2.7, obtener la ecuacin ms simplihcada de la funcin que
representa.

Tabla

2.7.
abc

Tabla de verdad

del Problema 2.12

F

000 001 010 011 100 101 110 111

I
1

0 0

I
1 1
1

maxterms' tal y como Solucin: En este caso deberemos representar en el mapa la ecuacin en forma aparece en la Figura 2.16.

(a+D

Figura
Siendo la simPlificacin hnal

2.16.

Mapa del Problema 2.12.

F:a+6
2.8.
abc

2.13. Simplificar Por

maPas de Karnaugh la funcin definida por la Tabla 2'8

Tabla

Tabla de verdad

del Problema 2.13 F

X
1

000 001 010 011 100 101 110 tt1

0
1

0
1

40

ELECTRONICA DIGITAL

representados en la tabla, independientemente de realizar la simplificacin por minterms o maxterms. El tratamiento de estos trminos indiferentes se explic en el Apartad o 2.6 de la introduccin terica de este captulo. Si analizamos la Tabla 2.8, nos damos cuenta de que el nmero de trminos minterms es igual al nmero de trminos maxterms. En estos casos debe intentarse simplificar por ambos tipos de ecuaciones y decidir cul de los resultados es el ms simplificado. En la Figura 2.17 aparecen ambas representaciones y las simplificaciones correspondientes.
a

Solucin: En la Tabla 2.8 aparecen por primera vez trminos indiferentes que debern ser siempre

Figura

2.17'

Mapas del Problema 2.13. a) Simplificacin por minterms. b) Simplificacin por maxterms

Como vemos en las Figuras 2.17a y 2.17b, los trminos indiferentes han sido utilizados unas veces como 1 y otras como 0, incluso no se los ut|riz6 a todos en las simplificaciones. Las ecuaciones son:

. .

Ecuacin por minterms, F : c. Ecuacin por maxterms, F : c.

2.14. Dada la Tabla

de verdad 2.9, simplificar por Karnaugh la ecuacin que representa.

Tabla

2.9.
ahc

Tabla de verdad

del Problema 2.14

F
1 1

000 001 010 011 100 101 110 111

0
X

0
1

X
1

solucin: Segn la Tabla 2.9 deberamos representar la ecuacin maxterms por minos. En la Figura 2.18 tenemos dicha representacin

menos tr-

(a+6)
Figura

(+c)

2.18.

Mapa del Problema 2.14

METODOS TABULARES DE SIMPLIFICACION DE ECUACIONES

41

siendo la ecuacin resultante

F:(a+A.@+c)
Sin embargo, si hubiramos realizado la simplificacin por minterms, hubiramos obtenido la siguiente ecuacin

F:c+a'6
ecuacin que resulta ms simplihcada que la anterior, lo cual nos demuestra lo ya advertido en el Problema 2.11. Las ecuaciones resultantes cumplen ambas la tabla de uerdad, pero en los casos donde se emplearon trminos indiferentes no siempre son equiualentes,' es decir, no se puede llegar de una ecuacin a la otra por aplicacin del lgebra de Boole, tal y como ocurra en los problemas anteriores.

2.15.

Representar la siguiente funcin en una mapa de Karnaugh:

* a' b' a' d + a' b' c' d + a' 5' e'

Solucin: La funcin a representar se trata de un minterms completo de cuatro variables, por lo cual
emplearemos un mapa de cuatro variables. La Figura 2.19 nos muestra la representacin de la funcin

d
00
01
11

10

Figura

2.19.

Mapa con el resultado del Problema 2.15.

2.16. Realizar la representacin

de la funcin ,F en un mapa de Karnaugh

(a

+ b + c + -'(a + b + c + '@ + 6 +

+ A)'

'(a+6+c+d)'@+b++d)
a

00
0'1

11

10

Figura 2.2O. Mapa con el resultado del Problema 2.16.

ELECTRONICA DIGITAL

Solucin: En este caso se trata de una ecuacin en la forma de maxterms completo de cuatro variables, siendo su representacin la de la Figura 2.20.

2.17. Emplear un mapa de Karnaugh para

representar la siguiente funcin:

F:a.d+b.d
Solucin: A1 tratarse de una ecuacin en la forma de minterms incompleto, deberemos, en primer lugar, analizar los trminos de cuya simplihcacin provienen cada uno de los sumandos incompletos que constituyen la funcin

a' d- a. 6' a. d + a.5. c. d + a. b. a. A i a. b. c.d b.d - a' b. . d + a. b. c.d + a. b. c. A + a. b. c.d

Por tanto, la funcin completa ser

F : a' 6. .d -t a. 6' c. d + a' b. i. d + a. b. c. 7 +

+A'b'a'd+a'b'c'd
Seguidamente, en la Figura 2.21 se obtiene la representacin de 1a funcin.

d
00
01
11

10

Figura

2.21

Mapa con el resultado del Problema 2.17.

2.18.

Representar la funcin definida por la siguiente ecuacin en un mapa de Karnaugh:

(o -t c). \a

+ 6). \a + b +

A)

Solucin: En primer lugar, obtendremos la ecuacin maxterms completa (a

+ c)+(a * 6 + c + d.(a + 5 + c + d).(a + b + c +,d).(a + b + c + d) (a + 6\ + (a r 6 + + d).(o + 6 + + d).(a + 6 + c + d).(o + 6 + c + d) (a + b + dl -@ + b + c + -d).@ + b + + A)

METODOS TABULARES DE SIMPLIFICACION DE ECUACIONES

43

Por tanto, la funcin completa ser

r:

@ + 6 + c + A-@ + 6 + c + d).\a + b + c + A)'@ + b + c + d)' '\a + E + a + A)'@ + 6 + c + d)'@ + b + c + At'@ r b + c + Al

En la Figura 2.22 aparece la representacin de la funcin.

1 0o 01 11
d
00
01
11

10

0 0

0 0 0

0 0

10

Figura2.22.

Mapa con el resultado del Problema 2.18.

2.19. Simplificar la siguiente funcin con mapas de Karnaugh: F : a. 6. 'd + a'6. . d + a.6' . d + a. b... d + -f a' b' a' d + a' 6' c' d + a' 6. c. d + a' 6' c' d
Solucin: Representando en un mapa de cuatro variables esta ecuacin minterms completa, obtendremos la Figura 2.23.

Figura

2.23.

Mapa del Problema 2.19.

Si aplicamos las simplificaciones indicadas en la Figura 2.23, se obtiene la siguiente ecuacin de la funcin

F:A.6+6-d+b-.d

4
2.20.

ELEcrRoNtcA DtctrAL Representar y simplificar la siguiente funcin en un mapa de Karnaugh:

+ b + c + d).(a + b + c + d).(o + b + . + d). (a + b +. + d).(a + 6 + c + d).(a + 6 + c + d). .(a + 6 + e + '(a + 6 + c + d).@ + 6 + . + A)

(a

Solucin: En primer lugar, representaremos el maxterms completo de cuatro variables en el mapa de Karnaugh de la Figura 2.24.

d
00
01

00

01

11

10

F
o 0 0

11

10

(a
2.24.

D
(6+e+d)

Figura

Mapa del problema 2.20.

De las simplificaciones aplicadas en la Figura 2.24 se obtiene la siguiente ecuacin:

F:a.(6+.+A\
2.21. Aplicando los
mapas de Karnaugh, simplihcar la siguiente funcin:

: a.6. .d + a- b- a.d + a. a'A + a. c + + a. 6. a. d + a'6. c. d + a. 6. c. d

Solucin: Completaremos, en primer lugar, los sumandos incompletos de la ecuacin

a. c. d - a. 6.. a. A + a. b. c. d a. c + a. 6. c- d + a. 6. c. d + a. b. c.7 + a. b. c. d
La ecuacin minterms completa correspondiente a la funcin ser

: a' 5. - d + a. 6. c. d + a. 5. c. d + a. 6. c. d + a. b. a :d i a. b. . d + * a. 6. . d + a.6. c. d + a. b. c. d + a. b. c. d + a. 6. c.d

En la Figura 2.25 se encuentra la representacin y simplificacin de la funcin anterior.

METODOS TABULARES DE SIMPLIFICACION DE ECUACIONES

45

d00
01

oE l
1

00

01

11

10

c'd a'c

11

a'b
10

F -ll U t: j
1

Figura

2.25.

Mapa del Problema 2.21

La ecuacin simplificada ser, por hn,

F:a'6+
2.22. Simplificar en un mapa

a'c+c'd

de Karnaugh la siguiente funcin:

(a

+ 6 + c + d)'@ + 6 +

. + d)'(b + d)

Solucin: Sustituyendo el trmino incompleto de la funcin por sus formas cannicas, tendremos (b

+ d)+(a * b +

+ d)'(a + b + c + d)'(a + b +

+ d)'(a + b + c +

d)

de donde la funcin comPleta ser

+ 5 + c + d)'@ + 6 + c + d)'(a + b + + d)' '@ + b + c + d)'(a + b + c + d)'(a + b + c + d)

@

La Figura 2.26

nos muestra

la representacin y agrupamientos simplificativos realizados'

01

11

10

(+d)

(b+d)
Figura

2.26.

Mapa del Problema 2.22

Del mapa anterior, se obtiene la siguiente ecuacin:

F:(b+d).(a+d)

46

ELEcrRoNtcA DtctrAL

2,23. Obtener la ecuacin simplificada de la funcin booleana que aparece

Tabla
2.10.

representada en la

Tabla

2.10. abed

Tabla de verdad

del Problema 2.23

F
0 0
1

0000 0001 0010 0011 0100 0101 0110 0111 1000 1001 1010 1011 110 1101 1110 1111

1
1

I
0

I
0

0
1

0 0
1
1

Solucin: Teniendo en cuenta que el nmero de ceros de la funcin es menor que el de unos, representaremos la forma cannica maxterms. Para ello, pasaremos directamente 1as combinaciones de entrada que hacen 0 la salida a las casillas correspondientes, como se observa en la Figura 2.27.

(+c)
(b+c)

Figura

2.27.

Mapa del Problema 2.23.

METODOS TABULARES DE SIMPLIFICACION DE ECUACIONES

47

Teniendo en cuenta el convenio de representacin de un maxterms (0 variable sin negar y 1 variable negada), as como los agrupamientos realizados, la ecuacin final ser

F -- (A + c)' (b + c)' (a + 6 +

. + d)
y

2.24. Dado el mapa de Karnaugh de la Figura 2.28, realizar las simplificaciones oportunas
obtener la funcin'en
1

representada.

Figura

2.28.

Mapa del Problema 2.24'

Solucin: El mapa de la Figura 2.28 representa una funcin booleana bajo la forma miiterms en 1a que existen trminos indiferentes. En la Figura 2.29 se representa la manera de realizat los agrupamientos simplificativos:

.b

oo

be

00
01

11

c'd

Figura

2.29.

Mapa con el resultado del Problema 2.24.

La ecuacin resultante del mapa anterior

es

F:a'd+b'c:E'(b+d)

48

ELEcrRoNrcA DrcrrAL representada por la Tabla de verdad 2.11.

2.25. Simplificar la funcin

Tabla 2.11. Tabla de verdad

del Problema 2.25

abed

F
1

0000 0001 0010 0011 0100 0101 0110 01tI 1000 1001 1010 10ll 1100 1101 1110 1111

I
1 1

I
0

I
X
X

0
1

0
0 0

Solucin: Teniendo en cuenta que el nmero de ceros de la salida de la tabla es inferior al de unos, representaremos en el mapa la funcin maxterms y los trminos indiferentes, obtenendose as la
Figura 2.30.

b-)

(6+d)

(+d)

Figura

2.30.

Mapa con el resultado del Problema 2.25.

METODOS TABULARES DE SIMPLIFICACION DE ECUACIONES

49

Del anterior mapa se deduce la siguiente ecuacin:

F:(a+A.6+A'@+A)
2.26.
Representar la siguiente funcin booleana en un mapa de Karnaugh:

F: a'b'c'd'e

+ a'6'a'd'e * a'b'c'd' + a'b'a'A'-t a'b'a'A' + + A'6'E'd'e -l a'F'c'd'e * a'b'c'd'e 1- a'5'E'd'e + a'5'c'd'

Solucin: Al tratarse de una funcin bajo 1a forma de minterms completo de cinco variables, utilizaremos por primera vez el mapa de Karnaugh de cinco variables con las mismas normas de representacin hasta ahora empleadas. El resultado del problema podemos verlo en la Figura 2.31.

000 d\< e)-

001

011 010

110

Figura 2.31 . Resultado del Problema 2.26.

2.27. Simpli{icar en un mapa

de Karnaugh la siguiente funcin booleana:

: a'6'

+ a'6' c * d' e + a'b' d' e * a'b' d'e + a'6

Solucin: Comenzaremos por completar los trminos incompletos de la funcin dada

a' 6' a + a' 5' e' A' + a' 6' e' d' e t a' 6' ' d' + a' 6' a' d' e a' 6' c + a' 6' c' d' + a'6' c'd' e I a' 6' c' d' + a' 6' c' d' e d' e - a' 6' e' d' e -l a' 6' c' d' e -f a' b' a' d' e * a' b' c' d' e + + a'6' a'A' e + a'5' c'd' e + a' b' a'd' e * a' b' c'd' e a' 6 - a' 6' ' d' + a' 6' ' d' e + a' 6' ' d' + a' 6' ' d' e * * a'6: c'd' * a'6' c'd' e + a'6' c' d' + a'6' c' d' e
Luego la funcin completa ser

: a'6' ' d' + a' 6' ' d' + a' 6' c'd' e * a' 6' c' d' e * a' 6' c' d' a + + A'6' c'd' e + a' 6' c' d' + A' 6' c' d' e'l a' b' c' d' e + a' b' c' d' e + * a' b' c' d' e + o' b' c' d' e + a'6' c' d' + a' E' c'd' e -l a' 6' c' d' + + a' 6' c' d' e + a' 6' c' d' e * a'6' ' d' e * a' 6' c' d' e * a' 6' c' d' e

50

ELECTRoNIcA DIGITAL

Representndola seguidamente en el mapa de cinco variables, obtenemos \a Figura 2.32.

1n ooo oo1 d-\c

00
01
1

01

01

10

1 1

1 101 1oo
,|
1

il .e
11

C
1 1

10

:)
2.32.

\t 4
Representacin del Problema 2.27.

Figura

La simplicacin en un mapa de cinco variables sigue las normas, vistas en anteriores mapas, de simplificar casillas contiguas por sus variables comunes. Sin embargo, la estructura de columnas de este mapa hace que se puedan considerar contiguas, adems de las citadas anteriormente, las que se producen por simetra desde la lnea central del mapa, mostradas en 1a Figura 2.33.

000 001
00

01

01

0 110 111 101

"t

00

01

11

10

Figura

2.33.

Columnas contiguas en un mapa de Karnaugh de cinco variables.

Si realizamos a continuacin los agrupamientos pertinentes en la funcin representada, se obtiene el siguiente resultado:

F:6+d.e

METODOS TABULARES DE SIMPLIFICACION DE

ECUACIONES

51

Z.Zg. Obtener la ecuacin simplificada de la funcin definida por la Tabla de verdad 2.12.

Tabla

2.12.

Tabla de verdad]del Problema 2.28

abcde

F
1

abcde

00000 00001 00010 00011 00100 00101 00110 00111 01000 01001 01010 01011 01100 01101 01110 01111

0
1

0
1

I
0
0 0 0 0 0
1

I I
0

0000 0001 0010 0011 0100 0101 0110 0111 1000 1001 1010 1011 1100 1101 1110 1111

I
0

I
1

I
1

0 0 0 0 0 0
1

I
0
1

Solucin: En primer lugar, representemos directamente la tabla en un mapa de cinco variables, tal y como lo hicimos en los mapas de tres y cuatro variables. La Figura 2.34 muestra la representacin.

a'b'c'e

c.d

6.e.e

11

a.6.

e'b c
Flgura

2.34.

Representacin del Problema 2'28'

52

ELEcrRoNrcA DtctrAL
Su forma simplificada es la siguiente:

F -- a. b. c. e * a. 6. c- d + a. b. c. e + 6. a. + c.
ecuacin de la forma ms simplificada posible.

A su

2.29. Partiendo de la Tabla de verdad 2.13, que representa a una funcin lgica, obtener

Tabla 2.13. Tabla de verdad

del Problema 2.29

abcde

00000 00001 00010 00011 00100 00101 00110 00111 01000 01001 01010 01011 01100 01101 01110 01111 10000 10001 10010 10011 10100 10101 10110 10111 11000 11001 11010 11011 11100 11101 111r0 11111

I
0

I
0

I
0

I
X

I
X X
1

X
1

I
1

I
0
X

I
X

I
0

I
0

I
x
0 0
1

Solucin: Haciendo la representacin de los trminos indiferentes y de la ecuacin maxterms, por se sta la que menos trminos posee en la tabla, se obtiene la Figura 2.35, donde se realizan los
agrupamientos simplificativos.

METODOS TABULARES DE SIMPLIFICACION DE ECUACIONES

53

@+e+d+e)
e+

(b+)

Figura

2.35.

Representacin del Problema 2.29.

La ecuacin final simplificada es la siguiente:

(A

). (b

+ ).(6 +

. + d + e)
booleana:

2.30. Empleando las tablas de Quine-McCluskey, simplificar la siguiente funcin

: a.6. e'd + a. 6. . d + a' 6' ' d + a' b' c' d + a' b' c' d

Solucin: Comenzaremos por obtener la tabla de agrupamientos de base, clasihcando los trminos
de la funcin por el nmero de unos que posean. La citada tabla corresponde a la Tabla 2.14.

Tabla

2.14.

Tabla de agrupamientos base

del Problema 2.30

a'b'c'd a'b'c'd a'b'c'd

a'b'('d

0000 0001 1000

0110 t111

0
1

Indice 0

Indice I
Indice 2 Indice 4

6
15

a'b'c'd

Seguidamente obtendremos la Tabla de agrupamientos de primer orden 2.15'

Tabla

2.15. Tabla de agrupamentos de primer orden del Problema 2.30

(0,1)
(0, 8)

000- I -000 I

Indice 0

54

ELEcrRoNtcA DlclrAL

Como no es posible realizar ms reducciones, pasamos

a realizar 1a Tabla

reductora ftnal 2.16

Tabla 2.16. Tabla reductora final

del Problema 2.30

abcd
0

0
0 0
1 1

16
X

815

0
0
1 1

;
I

0 0
1

XX XX
X

Como podemos observar en la Tabla 2.16, paru que todos los trminos de la funcin estn representados en la tabla, ha sido necesario aadir los trminos equivalentes a las combinaciones binarias 0110

1111.

La ecuacin de la funcin simplificada ser

a- b- c. d + a' b. c.d +

a.6. a + 6. a. d

2.31. Simplihcar la siguiente funcin empleando las tablas de Quine-McCluskey:

F:a 6_ d_+a I a' b' c' d + a' b' ' d + a' b' a' d + a' b' c' d
Solucin: La tabla de agrupamientos base aparece en la Tabla 2.17.

"labla 2.17. Tabla de agrupamientos

del Problema 2.31

base

a'6'a'A a'6'c'd
a'b'c
d

0000 0010 1000 0110 1001 0111 1101 1111

0
2
8

Indice 0 Indice
1

a'b'c'd
a'h'c'd

6 9
7 13 15

Indice

a'b'c'd a'b'c'd
a'b'c'd

Indice Indice

METODOS TABULARES DE SIMPLIFICACION DE

ECUACIONES 55

A continuacin obtendremos la Tabla de agrupamientos de primer orden

2.18'

Tabla 2.18. Tabla de agrupamientos

de primer orden del Problema 2.31
00-0 -000 0-10
1000111-01 -111
11-1

(0,2)
(0, 8) (2, 6) (8, e) (6, 7)

Tndice 0

Indice

(9,

13)

Indice

(7,15)
(13,15)

Indice

Como no es posible realizar agrupamientos de segundo orden, pasaremos a obtener la tabla reductora final que se muestra en la Tabla 2.19.

Tabla 2.19. Tabla reductora final

del Problema 2.31

a bc

02618913ls

0 0- 0 XX X 00 0 X XX 0 -10 XX 100XX 011XX 1-01 X X 111 XX 11 I

Trataremos seguidamente de obtener una ecuacin con los valores literales equivalentes a las combinaciones binarias de la Tabla 2.19, de forma que con el menor nmero posible de ellas se representen todos los trminos de la tabla de agrupamientos base. Existen dos soluciones posibles. La primera de ellas. sealada en la Tabla 2.19 con valos continuos, da lugar a la siguiente ecuacin

: a. 6- il + a' 6' + a' b' c -t a' b' d

56

ELEcrRoNtcA DrGrrAL La segunda, marcada en la Tabla 2.19 con valos de trazos,da lugar a la ecuacin

E. .A

+ a. c. d -t a. E. d + b. c. d

2.32.

Reducir por el mtodo de Quine-McCluskey la funcin que representa la Tabla de verdad 2.20.

Tabla 2.2O. Tabla de verdad

del Problema 2.32

abcde

F
1

00000 00001 00010 00011 00100 00101 00110 00111 01000 01001 01010 01011 01100 01101 01110 01111 10000 10001 10010 10011 10100 10101 10110 10111 11000 11001 1r010 11011 11100 11101 11110 11111

I
0 0

0
0

I
I I
1

0
1

0 0

I
I
1

0
0 0 0

I
1

0 0
1

I
0

0
0 0

Solucin: Agrupando las combinaciones que hacen I latabla, y clasificndolas segn la cantidad unos que poseen, se obtiene la Tabla 2.21 de agrupamientos base.

de

METODOS TABULARES DE SIMPLIFICACION DE

ECUACIONES 57

Tabla

2.21.

Tabla de agrupamientos base del Problema 2.32

a'h'c'd.e

a'b'c'd.e a'b'c'd'e a'b'c'd'e a'b'c'd'e a'b'c'd'e

a.6..d.e
a'6'c'd'e a'b'E'd'e a'b'c'd.e a'6'c'd' a'b''d. a'b'c'd'e a'6'c'd'e a'b'e'd'e

00000 00001 01000 10000 00110 01001 10001 00 t 010 011 101 110
01111 10111 I | 011

0
1

Indice 0

Indice

l6
6 9

lndice

t7

7
11

I
0 0 0

t4
22 26
15

Indice

23 27

Indice 4

Seguidamente obtendremos la Tabla de agrupamientos de primer orden 2.22.

Tabla
00000-000 -0000
0-001 -0001

2.22. Tabla de agrupamientos de primer orden del Problema 2.32

(0,
1)

(0, 8)

Indice 0

(0, 16)
(1, e) (1, t7) (8, e)

01001000-

Indice I

(16, t7)

00110-1 10

(6,7)
(6, t4)

-0110
010-1 0-111 -0111 01.1 I
-101
1

(6,22) (e,11)
(7, ts)

Indice 2

(7,23)
(11, 15)

(rr,27)
(14, 15)

Indice

0lr1101 1-

I 101-

(22,23) (26,27)

58

ELEcrRoNrcA DrcrrAL

Y despus pasaremos a realizar la Tabla de agrupamientos de segundo orden 2.23.

Tabla
0-00-0000-00-0000- I -0 I 0- I -0 I

2.23. Tabla de agrupamientos de segundo orden del Problema 2.32

(0, 1,8,9) (0, 1, 16, 17)
(0, 8, 1, e) (0, 16, 1, 17)

Indice 0

(6,7, 14, ts
(6, 7, 22, 23

(6, 14,7, ts
(6, 22, 7, 23

Indice

La'labla

2.23 se puede simplificar al existir en ella trminos repetidos, dando lugar a la Tabla 2.24

Tabla

2.24.

Tabla simplificada de segundo orden del Problema 2.32 (0, 1,8,9) (0, t, 16, t7)

0-00-0000-1

Indice 0

-011

(6,1, 14, ls) (6,7,22,23)

Indice

Puesto que no son posibles ms agrupamientos reductores, pasamos a obtener la Tabla reductora ftnal 2.25.

Tabla

2.25.

Tabla reductora final

0 1 6 7 8 9 111415161722232627 XX 0 -0 0 - XX XX XX 000XX XX 0-11 XX 011XX 1101 1011

a bcd
e

De la anterior tabla se obtiene una de las posibles ecuaciones finales

F: A'a'A +6'

d -t a c'd + b-'c'd a'b'i'd

+ b c'd'e

METODOS TABULARES DE SIMPLIFICACION DE

ECUACIONES 59

PROBLEMAS PROPUESTOS
2.33. Reducir a travs
de los mapas de Karnaugh la siguiente funcin booleana:

F
Solucin: F

: a' b' c *

A. b

+ a. b. c + a. b.

b.

2.34. Simplificar por Karnaugh la siguiente funcin:

F:a*a'6'c+A'b+c
Solucin:

F:a*b+c.
mapas de Karnaugh, simplificar la siguiente ecuacin lgica:

2.35. Aplicando los

F:b+a'cI.c
Solucin:

F:b+c.
de Karnaugh:

2.36. Simplihcar la siguiente funcin por el mtodo

F:a.b.c*b.(a+O+c.6
Solucin:

F:l*a'b.
F

2.37. Aplicando Karnaugh, simplificar la siguiente funcin:

: a' (a + cl' @ + 6 + c)'( + 6 + al

mapas de Karnaugh:
c)

Solucin:

F:a.(6+c).
p : (a + b + c)'(a + b + c)'(a + b + c)' (a + b +

2.38. Simplificar la siguiente funcin con los

Solucin: F

b.

2.39. Reducir la funcin booleana siguiente con un mapa de Karnaugh:

F:a.c+A'b+a.d+b.d
Solucin: F

: a' b + a' c *

E'

d.

2.40.

Representar y simplificar en mapa de Karnaugh la funcin:

F:x'y'z*Z+x'y'z't)
Solucin: F

2+

x' i * x'

u.

60

ELECTRONICA DIGITAL

2.41. Aplicando los mapas de Karnaugh, reducir la siguiente funcin booleana:

F:a.b+a.b'a+a'b'c'd
Solucin:

F: a'b + b' + b'4.

F

2.42. Reducir la siguiente funcin booleana a travs de mapas de Karnaugh:

: a' b + 6' c + 5' c' d + a'b' c' d

Solucin:

F:a'b+6'c.
F

2.43. Simplificar la siguiente funcin aplicando Karnaugh:

(6

+ c)'

(6

+ c)'

(a

+ b + A)'

'(a+b+
Sofucin:

F:6'4.
p : (a+ b + c + d)'(a + 6 + c + d)'(a + 6 + c)'@ + b + c)'(a + 4

2.44. Aplicando Karnaugh, simplihcar la siguiente funcin:

Solucin:

F:

(a

+ c)'(a + c)'(a +

d).

2.45. Obtener la ecuacin simplificada

de la Tabla de verdad 2.26 aplicando los mapas de Karnaugh.

Tabla

2.26.

Tabla de verdad

del Problema 2.46

a b c.d

0000 0001 0010 0011 0100 0101 0110 0t 1l 1000 1001 1010 1011 1100 lt01 11r0 1111
Solucin:

I
1

I
1 1
1

I
0

I
0
1

0 0 0

F:a+6'd.

METODOS TABULARES DE SIMPLIFICACION DE

ECUACIONES 61
variables:

2.46. Simplificar la siguiente funcin lgica por la aplicacin del mapa de Karnaugh de cinco h

: a' b' c' d' e + a' b' c' d' e + a' b' c' d' e + a' b' c' d' e + a' b' c' d' e + a' b' c' d' e + + a' b' c' d' e * a' 6' c' A' + a' 6' c' d' e * a' 6' e' d' e -t a' b' ' A' e * a' b' E' d' e + -la'b'c'd'e : E.d + 6. . e * a. b. c' d + a. b. d. e * a' b' d' e F : E' d + b' c'e + a' b' c' d + a' b' d' e + a' b' c' e
F

Solucin: Existen dos posibles:

2.47. Partiendo de la Tabla de verdad 2.27, que representa una funcin booleana, obtener la
simplificada aplicando los mapas de Karnaugh.

ecuacin

Tabla 2.27. Tabla de verdad

del Problema 2.47

abcd

F
0

0000 0001 0010 0011 0100 0101 0110 0111 1000 1001 1010 1011 1100 1101 1110 1111
Solucin:

I
0

I I I I

I
0
1

I I
0 0
1

F:

(a

+ 6 + d)'(b + q'@ + 6 + c +

d).

2.48. Simplihcar por el mtodo de Quine-McCluskey la siguiente funcin booleana:

a. 5. c. 7 + a. 6. c. d + a. b. c' d + a. b. c. d + a' b. c. d + a' 6' ' d + a' b' 0' d

Solucin:

F: a.6.e'd + a'b.d + b..d + a'c.

las tablas de Quine-McCluskey, simplificar la siguiente funcin booleana:

2.49. Aplicando

r' : a. 6. c. d + a. 6. c. d + a. 6. c'd + a. 6. . d + a. b. a. A * a' b' c' d +

*a'b'c'd+a'6'c'A

Solucin:

F: a.6 + a.e.d + a.b.d.

62

ELEcrRoNtcA DrGrrAL
de las tablas de Quine-McCluskey, la siguiente funcin booleana:

2.50. Simplificar, a travs

a- 6. a- d + a. b. . d + a. 6. . d + a. 6. c. d + a. b. a' d

* a' b' c' d

Solucin:

F:'d,+a'd.

2.51. Obtener la ecuacin ms simplihcada posible de la siguiente funcin booleana:

F : a.6. .d..f + a.6'.'d. e.f + a.6..' d' e'f + a'6' c'd'e'f + + a' b' e' A' e'f + a' b' ' d' ' f + a' b' c' d' e'.f + a' 6' ' d' a'f + + a.6.c'A''f * a'b'a'A''f + a'b'c'd''f + a'b'c d'e'f
Solucin: Una de las posibles soluciones
es:

: a' 5' c' d' '.f + a' b' c' d' r'f * a' b' c' d' e' + 6' ' d' 'f + a'.'d' e'f + a'6' d' e'f + b'.'d.a'f + a' b' E' 'f