Mapas K y Tablas Mcluskey Sistemas Digitales

2
CAPITULO
Mtodos tabularesde simplficacin
de ecuaciones
2.I. METODOS TABULARES DE SIMPLIFICACION

Existen bastantes mtodos para realizar la simplificacin de ecuacionesbooleanas, si bien, en la
prctica, son slo dos los ms empleados:
. Mapas de Karnaugh: Se pueden utilizar para simplificar 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 simplihcacin de ecuacionesde 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 representalas
distintas combinacionesde las variables que puedan existir.
En la ligura 2.1 aparecenlas distintas formas que adoptan los mapas de Karnaugh en funcin
del nmero de variables.
b)
001
c)
011
010
110
1 1 1 101
100
d)
Figura 2.1.
a ) M a p a d e d o s v a r i a b l e s .b ) M a p a d e t r e s v a r i a b l e s c. ) M a p a d e c u a t r o v a r i a b l e s .
d) Mapa de cinco variables.
28
E L E C T R O N I CDAI G I T A L
2.3. REPRESENTACIONDE ECUACIONES BOOLEANAS

EN MAPAS DE KARNAUGH
Cada una de las casillas que forman el mapa puede representar trminos tanto minterms como
maxterms. El convenio que se emplea es el mismo que ya enunciamosen 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 equivalenciade cada una de las casillasde un
mapa de cuatro variables expresadaen trminos minterms y en trminos maxterms.
01
11
10
d -
00
a.6-e.da ' b ' c ' d
a ' b ' ' d
a . 5 ' e ' d
01
a'6.e. . b . e . d
a ' b ' c ' d
a ' 6 ' e ' d
a ' b ' c ' d
a ' 6 ' c ' d
a)
11 ' 6 ' c ' d
' b ' c ' d
10 ' 6 ' c ' d
' b ' c ' d a'b'c'lI
a ' 5 ' c ' d
00
01
11
00
a+b+c+d
a+6+c+d
+5+c+d
+b+c+d
01
a+b+c+d
a+5+c+d
a+6+c+d
+b+c+d
1 1 a+b+c+d
a+6+e+d
a + 6 + e +d
a+b+e+d
10
a+6+c+d
a+6+e+d
e+b+e+d
b
o
a+b+C+d
a) Trmi nosmi nterms.

de un mapade cuatrovari abl es.
Fi g u ra 2 .2 . Eq u i v a l e n cdi ae l a scasi l l as
b) Trmi nosmaxterms.
Cuando ua))amos a representar una ecuacin en forma minterms, pondremos I en la casilla
a cada trmno. Por el contrario, si la representamosen.forma maxterms,pondremos
correspondente
un 0 en la casilla correspondientea cada trmino.
por ltimo, hay que destacarque cuandouaj'amoso representarunafuncn booleana,sta tiene
que estar en su forma cannica (minterms o maxterms) completa y, por tanto, todos los trmihos
han de contenertodas las uariablesque interuienenen la funcin. 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 en una de las leyesdel lgebra de Boole. Dicha
ley es la (9) de la Tabla 1.3 del Captulo 1, que dice:
a ' b + a ' b : a
METODOS
TABULARES
D E S I M P L I F I C A C I ODNE E C U A C I O N E S
29
Como podemos observar en las Figuras 2.2a y 2.2b, todas las casillascontiguas, segn los ejes
coordenados, se caracterizanpor diferenciarseslo en una variable, que se encuentra negada en
que se cumple en todos los mapas,permite
una de ellas y sin negar en la otra. Esta caracterstica,
aplicar de una forma automticalaley anterior, consiguiendo as simplifrcar las casillascontiguas
por sus variablescomunes.
Generalizando este proceso de sinplificacin,podemos afirmar que en los mapas de Karnaugh
se pueden simplihcar entre s, por sus variables comunes, los siguientesgrupos de casillas:
. Grupos de 2, 4,8, 16,32 o 64 casillascontiguassegnlos ejescoordenados,pero nunca segn
ejes diagonales.
. Los grupos de casillas de los bordes del mapa opuestasentre s.
. El grupo de casillasconstituido por las cuatro esquinasdel mapa.
Cuando en un mapa de Karnaugh tratemos de agrupar casillas para simplificar, deberemos
procurar conseguir grupos del maximo nmero de casilla.s,pero respetando siempre las normas
citadas. Al hacer los agrupamientos,procuraremosincluir, si es posible, todos los trminos representados, no existiendo ningn problema en que un trmino pertenezca a ms de un agrupamiento.
Por ltimo, hay que mencionar 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 representacinbinara equiualente
de cada uno de los trminos que componen la funcin booleana a simplJicar, expresada sempre
bajo la forma minterms, tratan de encontrar las relaciones de similitud existentesentre dichos
trminos paa,,as, poderlos reducir aplicando la misma ley que en los mapas de Karnaugh.
El proceso de simplificacin exige la obtencin ordenada de las siguientestablas:
. Tabla de agrupamientosbase.
. Tabla de agrupamientosde orden: primero, segundo,tercero,etc.
. Tabla reductora final.
Para poder comprenderel procesode reduccinveamosun ejemplo.Supongamosque se desea
simplificar o reducir la siguiente funcin:
F : a
6 . . d + a . 6 . . d + a . 6 -c . d * a ' b . . . d +
+ a b ' c . d + a . 6 .c . d + a . 6 .c . d * a ' b ' c . d

En primer lugar, obtendremosla Tabla 2.1, o tabla de agrupamientosbase,en la cual se clasifica
cada uno'de los trminos de la funcin segn el nmero de unos que contiene su equivalente
binario.
30
base
T a b l a 2.1. Tabl ade agrupami entos
0
Indice 0
0 0
1 0
1
0
0
0
2
8
Indice 1
0
1
1
0
0
1
1
0
5
10
Indice 2
a ' b ' c ' d
0
1
1
1
1
0
1
1
13
a ' b ' c ' d
15
o ' o ' c ' a
a ' b ' c ' d
a '5 '' d
-
o ' D ' c ' a

a ' 6 ' c ' d
' D ' c ' A
lndice 3
Indice 4
Seguidamenteobtendremos la Tabla 2.2, o tabla de agrupamientosde primer orden. Esta tabla

buscando, en la tabla de agrupamientos base y entre grupos de ndices contiguos,
obtiene
se
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 diheren'

de pri merorden
00-0
-000
(0,2)
(0, 8)
Indice 0
-010
10-0
(2, 10)
(8, 10)
Indice I
0l-l
-101
(5, 7)
(5, 13)
lndice 2
-111
1l-l
(7, t5)
(13,15)
Indice 3
De forma similar obtendremos la Tabla 2.3, o tabla de agrupamientosde segundoorden.

de segundoorden
-0-0
-0-0
( o , 2 ) ,( 8 ,1 0 )
( 0 ,8 ) , ( 2 , 1 o )
lndice0
1-1
1-1
( 5 , 7 ) ,( 1 3 ,1 5 )
( 5 , 1 3 ) ,( 7 , 1 5 )
I n d i c e2
D E S I M P L I F I C A C I ODNE E C U A C I O N E S 3 1
TABULARES
METODOS
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 2.4. Tabla de agrupamientos

de segundo orden simPlificada
-0-0
(0, 2, 8, 10)
Indice 0,
t-t
(5,7, 1 3 ,1 s )
Indice 2
En las sucesivasreducciones,se van eliminando grupos de ndices,pudiendo eliminarse incluso

grupos de ndices intermedios.El proceso de reduccin deber seguir hasta que no sea posible
iruliru, ms agrupamientos; en este momento se obtendr la Tabla 2.5, o tabla reductorafinal'
Esta tabla se obtine 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.
T a b l a 2 . 5. Tabl areductorafi nal

a
0
1 -
0
1
2 5 7 8 101315
El resultado de la simplificacin se obtiene de la tabla reductora final, formando trminos

equivalentesa las combinacionesbinarias indicadas en la tabla y empleando para ello el convenio
d tas ecuacionesminterms (0 : variable negada y I : variable sin negar),de manera que todos
los trminos de la tabla de agrupamientos base estn incluidos en las reducciones que dichas
combinacionesequivalentesrepresentan.
. Por todo ello, el resultado final ser
F : 5 ' 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
ec.uacinbooleana de funcionamiento se correspondecon las entradas del circuito, siendo su salida
la propia funcin.
Sucedea vecesen los circuitos digitales que ciertas combinacionesde sus variables de entrada
no pueden producirsenunca debido a que otros circuitos anterioresimpiden su llegada a nuestro
32
DAI G I T A L
ELECTRONIC
circuito. A estascombinacionesde entrada que, apareciendoen la tabla de verdad de funcionamiento del mencionadocircuito, no producenen la salidani 0 ni 1 las denominamoscombittaciones
an en las tablas de uerdadpor x o . A su vez, estas combinaciones
indiferentes,y se represenf
indiferentes dan lugar a trminos indiferentes,que pueden ser representadosen los mapas de
Karnaugh y se los puede considerarbien como 0 o como I segn convenga para las simplificaciones y sin que ello conlleve alteracionesen la respuestade la funcin; es decir, del circuito.
P R O B L E M A SR E S U E L T O S
2.1. Representaren un mapa de Karnaugh la siguientefuncin booleana y simplificarla:
F : a ' b + a ' 6 * c t ' 6

Solucin: La funcin a representarest bajo la forma de minterms completo de dos variables,causa
por la que emplearemosel mapa de dos variables,poniendo un I en la casillacorrespondientea cada
trmino, tal como apareceen la Figura 2.3.
a
Gl
Figura 2.3.
M a p a d e l P r o b l e m a2 . 1 .
Si se agrupan las casillascontiguasque se indican en la Figura 2.3,el resultadode la simplificacinser

F : a + F : t t l
en un mapade Karnaughy simplificarla:

funcin,representarla
2.2. Dada la siguiente
F:(a+r).@+b).(a+b)
Solucin: La funcin est bajo la forma de maxterms completo, luego emplearemosun mapa de dos
variables,poniendo un 0 en la casilla correspondientea cada trmino. La Figura 2.4 nos muestra la
representacin.
a
1',
0
1
Figura 2.4.
b/
M a p a d e l P r o b l e m a2 . 2 .
NE E C U A C I O N E S
M E T O D O ST A B U L A R E SD E S I M P L I F I C A C I O D
33
Agrupando casillas,se obtiene

F :
2.3.
a ' b
Realizar la representacin de la siguiente funcin en un mapa de Karnaugh:
F : A ' b 'c + a ' 6 ' + a ' b ' E * a ' 6 ' c

Solucin: Se trata de una ecuacinen la forma de minterms completo de tres variables.Emplearemos,
por tanto, un mapa de tres variables,colocando un 1 en las casillascorrespondientes.La Figura 2.5 nos
da el resultado final.
b
del P robl ema2.3.

F i g u ra 2 .5 . R esul tado
2.4. Dada la funcin siguiente,representarlaen un mapa de Karnaugh:
F : ( a + b + d ' @ + b + c ) ' ( a+ 6 + c ) ' ( a+ 5 + a \

Solucin: La ecuacin a representar est expresada bajo la forma de maxterms completo de tres
variables,y nosotros representaremoscada uno de sus trminos por un 0 en la casilla correspondiente
de un mapa de Karnaugh de tres variables. En la Figura 2.6 apareceel resultado del problema.
1
0
1
Figura 2.6.
2.5.
oo
01
11
10
0
0
0
R e s u l t a d od e l P r o b l e m a 2 . 4 .
Representar la siguiente funcin en un mapa de Karnaugh:

F : a ' b + a ' c * a ' 5 '
Solucin: La funcin que ha de representarseest 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 para razonar las casillasdel mapa, cuya simplificacin dara lugar a dicho trmino.
34
E L E c r R o N t c AD l G t r A L
A modo de ejemplo, resolveremoseste problema por ambos mtodos, aunque lo ms habitual es

resolverlo por el mtodo 2.
Mtodo L' Procediendo como se explic en el Problema I.29 del Captulo l, la funcin dada se
transforma en
F :
F :
a. b.(, + cl + a. c. (b+ 6)+ a. 6.
a . b . c * a . b . a + a . b . c + a . 6 .c + a . 6 .
F :
a . b ' c * a . b . a + a . 6 .c * a . 6 .
ecuacin que representael 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 simplificacin de los dos trminos
que se pueden formar aadindole dicha variable en las formas negada y sin negar, esto es,
a ' b - r s . b . c * a . b . c
De igual forma, al trmino a . c le falta b,luego
a ' c - - + a ' h - c * a . F . c
La funcin completa se logra aadiendo a los trminos completos la suma de los equivalentesa
los incompletosobtenidosanteriormente
F :
a . b ' t '- t a . b . a + a . 6 . c I
a.6. e
Una vez obtenida la funcin en su forma minterms completa se procede a su representacinen

un mapa de tres variables,tal y como apareceen la Figu ra 2.7.
oo
01
11
10
F i g u ra 2.7. R esul tado

del probl ema2.5.
2.6. Dada la siguiente funcin booleana, representarlaen un mapa de Karnaugh:

F : b ' ( a + . ) . @ + b + a )
Solucin:
Como
se trata
de
una
firncin
en
la
fortna
de
maxterms
incompleto.
c}>cres,
al
ig.al
que en el problema anterior, tratar de obtener los trminos de los que proviene cada trmino
incompleto.
El trmino , al que le faltan dos variables, proviene de la simplificacin de todos los trminos
formados, aadindole todas las posibles combinaciones de dichas variables,es decir,
h - - +( a + b + a ) . @ + b + c ) . ( a + b + a \ . ( a + b + c \
TABULARES
METODOS
De igual modo, el otro trmino incompleto proviene de
@+4--+(a*b+d'@+6+)
luego la funcin completa ser
F :
( a + b + a \ ' ( a + b + r : ) '( a + b + a ) ' ( a + b + c ) ' \ a + +
a)
Por ltimo, pasemosa representar la funcin en un mapa de tres variables,poniendo un 0 en las

casillascorrespondientes,obteniendo as la Figura 2.8.
3-
oo
01
11
10
0
a. 6 .
F i g u r a 2 . 8 . R e s u l t a ddoe l P r o b l e m 2
2.7. Partiendo del mapa de Karnaugh de la Figura 2.9,obtenerla funcin minterms y maxterms
completas que representa.
3-
oo
Figura 2.9.
01
11
10
1
1
M a p a d e l P r o b l e m a2 ' 7 .
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 f-rla,por la variable negada,y los unos por la variable sin negar. Con esteconvenio formaremos una
suma de trminos constituidos por el producto de las variables de cada casilla con l. El resultado ser
F :
a ' 6 ' e + a ' 6 ' c l -a ' b ' i * a ' 6 ' * a ' 6 ' c
La ecuacin en la forma maxterms se obtiene de las casillas que no tengan l, 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, finalmente,
F : ( a + 6 + c ) ' ( a+ 6 + 4 ' ( a + 5 + . )
Ambas ecuacionesrepresentanla 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
E L E C T R O N I CD
AI G I T A L
3-
00
01
11
10
Figura 2.1O. Mapa del problema2.g.
Solucin: La funcin en forma maxterms ser

F :
(a + b + c).(a+ 6 + c).@ + 6 + c).(a

+ b + c).(a+ 6 + e
Partiendo de las casillas vacas,se obtiene el minterms:

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

F :
a . b . c *
a . 6 . c *
a . b . a + o . 6 . + A . b
Solucin: Comenzaremos por representarla 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 ' e
La'funcin representadaaparece en la Figu ra 2.11.
'-
0
00
eI
Figura 2.11.
01
11
r)
10
b
a.c
tr-d D
M a p a d e l p r o b l e m a2 . 9 .
Aplicando las normas de simplificacin que se exponen en

el Apartado 2.4de la introduccin terica
de este captulo' se obtienen los agrupamientos iniicados en
la Figu ra 2.11,dando como resultado de
la simplificacin la siguienteecuacin
F:
b * a . c * a . c - b + a . c + ( a+ c )
obtenindoseesta ltima simplificacin de la aplicacin de las

leyesde De Morgan.
Tambin se podran haber realizado otros agrupamientos, por ejemplo,
-.
loJ que aparecen en la
Figura 2'12, pero estos agrupamientos darian iugur a
una ecuacin menos simplificada. por no
haberse realizado el agrupamiento de cuatro casillas.
M E T O D O ST A B U L A R E SD E S I M P L I F I C A C I ODNE E C U A C I O N E S
37
a
c
01
00
0
1
a .b
11
10
a'b
tt U l
a'c
del P robl ema2.9.

F i g u ra 2 .1 2. R esul tado
2.10. Simplificar la funcin del Problema 2.6 empleando los mapas de Karnaugh.
Solucin: Segndedujimosen el Problema2.6,Ia funcincompletaera
F : ( a + b + 4 ' ( a + b + c ) ' ( a+ b + a ) ' ( a+ b * c ) ' ( 0 + b + a )

y su representacinen un mapa de tres variables es el de la Figura 2.13,en la cual hemosrealizado
los agrupamientos oportunos.
Figura 2.13.
M a p a d e l P r o b l e m a2 . 1 0 .
La funcin simplificada ser,por tanto, la siguiente:

F : b ' ( a + a )
En el anterior mapa podramos haber realizado la simplihcacin tambin bajo la forma minterms,
ya que en un mapa de Karnaugh todas las casillas que no corresponden a trminos maxterms son
trminos minterms. Por tanto, de haber simplificado por maxterms los agrupamientos realizados,
hubieran sido los sealadosen la Figura 2.14.
00
0
b ' c
Figura 2.14.
11
01
C
0
10
0
a ' b
M a p a v a r i a d od e l P r o b l e m a2 . 1 O .
38
La ecuacin resultante sera

F : b . E * a . b
ecuacin de la que es muy tcil comprobar que se trata de la misma obtenida por simplificacin desde
la representacinmaxterms.
2.11.
Obtener la funcin simplificada correspondiente a la Tabla de verdad 2.6 empleando los

mapas de Karnaugh.
Tabla 2.6. Tabla de verdad

d e l P r o b l e m a2 1 1
a
0 0 0
0 0 1
0 1 0
0 1 1
1 0 0
1 0 1
1 1 0
1 1 1
1
0
0
0
I
I
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 simplifi car para seguidamenterepresentarlaen el mapa y
proceder a su simplificacin. En la prctica, se puerle representar la./uncin, directamente desdela tabla
de uerdad al mapa, sin ms que ir crlocandolos unos o los ceros en las casillas correspondientesa los
ualores que toma la func'in para cada una de las combinacionesbinarias cle las uaria'blesque
.forman
dicha-funcin.Por ltimo, se proceder a la simplificacin por los mtodos habituales.
Otro punto a tener en cuenta al simplificar una funcin booleana desde su tabla de verdacl es si
debemos representarla ecuacin bajo la forma de minterms o de maxterms. La norma prctica que
en principio debemosaplicar ya se explic en el Captulo 1, y consisteen representarla ecuacinen
la forma cannica que menos trminos tenga en la salida de dicha tabla. Esta norma no impide que
a veces se obtengan ecuacionesms simplifrcadasrepresentandoen el mapa la forma cannica que
ms trminos tiene en la tabla de verdad.
En este problema representaremosla forma cannica minterms, al ser la de menos trminos en la
tabla de verdad, tal y como apareceen la Figura 2.15.
Figura 2.15.
M a p a d e l P r o b l e m a2 . j 1
TABULARES
METODOS
39
La e c u a c i sni mp l i fi c a dsae r F : a ' 6 + 6'

2.12. Dada la Tabla de verdad 2.7, obtener la ecuacin mas simplificada de la funcin que
representa.
d e l P r o b l e m a2 . 1 2
a
0 0
0 0
0 1
0 1
1 0
1 0
1 1
1 1
0
1
0
1
0
1
0
1
1
1
0
0
I
I
1
1
Solucin: En este caso deberemosrepresentaren el mapa la ecuacin en forma maxterms, tal y como
apareceen la Figura 2.16.
(a+6)
F i g u r a2 . 1 6 . M a p ad e l P r o b l e m2a. 1 2 .
hnal F : a I b
Siendola simplihcacin
2.13. Simplificar por mapas de Karnaugh la funcin definida por la Tabla 2.8.
T a b l a 2.8. Tabl ade verdad
a. 1 3
d e l P r o b l e m2
a
0 0
0 0
0 1
0 1
1 0
1 0
1 1
1 1
0
1
0
1
0
1
0
1
F
X
I
0
I
0
I
0
X
40
Solucin: En la Tabla 2.8 aparecen por primera vez trminos indiferentesque debern ser siempre
representadosen la tabla, independientementede realizarla simplificacin por minterms o maxterms.
El tratamiento de estos trminos indiferentesse explic en el Apartado 2.6 de la introduccin terica
de este captulo.
Si analizamos la Tabla2.8, nos damos cuenta de que el nmero de trminos minterms es igual al
nmero de trminos maxterms. En estoscasosdebe intentarse simplifrcar por ambos tipos de ecuaciones y decidir cul de los resultados es el ms simplihcado.
En la Figura 2.I7 aparecenambas representacionesy las simplihcacionescorrespondientes.
Figura 2.17.
M a p a s d e l P r o b l e m a2 . 1 3 . a ) S i m p l i f i c a c i np o r m i n t e r m s .
b ) S i m p l i f i c a c i np o r m a x t e r m s
Como vemos en las Figuras 2.17a y 2.l7b,los trminos indiferenteshan sido utilizados unas veces
como I y otras como 0, incluso no se los utiliz a todos en las simplifrcaciones.Las ecuacionesson:
. 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.

d e l P r o b l e m a2 . 1 4
a
0 0
0 0
0 1
0 1
1 0
1 0
1 1
1 1
0
1
0
1
0
1
0
1
1
1
0
X
0
1
X
Solucin: Segn la Tabla 2.9 deberiamos representar la ecuacin maxterms por tener menos trminos. En la Figura 2.18 tenemosdicha representacin
(a+6)
Figura 2.18.
(+c)
M a p a d e l P r o b l e m a2 1 4 ,
M E T O D O ST A B U L A R E SD E S I M P L I F I C A C I O D
NE E C U A C I O N E S
.
41
siendo la ecuacin resultante

F : ( a + 0 . @ + c )
Sin embargo, si hubiramos realizado la simplificacin por minterms, hubiramos obtenido
la siguiente
ecuacin
F : c + A . 5
ecuacin que resulta ms simplificada que la anterior, lo cual nos demuestra lo ya
advertido en el
P r o b l e m a2 . 1 1 .
Las ecuacionesresultantes cumplen ambas la tabla de uerdad, pero en los casosdonde
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 problems
anteriores.
2.15. Representar
la siguientefuncinen una mapa de Karnaugh:
F:a
uo*'"::: uu*'"';::
''d+
*uo'::
Solucin: La funcin a representarse trata de un minterms completo de cuatro variables,por lo
cual
emplearemosun mapa de cuatro variables.La Figura 2.19 nos muestra la representacin
de la funcin
lJ
oo
01
11
10
00
01
11
10
F i g u r a 2 . 1 9 . M a p ac o n e l r e s u l t a d do e l p r o b l e m a2 . 1 5 .
2.16. Realizar la representacinde la funcin .F en un mapa de Karnaugh
F : ( a + b + c + d ) . @ + b c+ + d ) . @ + F + e + A )
( a + 6 + c + d l . ( a+ b + + d )
01
11
10
00
01
11
10
F i g u r a 2 . 2 O . M a p a c o n e l r e s u l t a d od e l p r o b l e m a2 . 1 6 .
42
Solucin: En este caso se trata de una ecuacin en la forma de maxterms completo de cuatro
variables,siendo su representacinla de la Figura 2.20.
2.17. Emplear un mapa de Karnaugh para represent

ar la siguientefuncin:
F : a ' r l + b . d
Solucin: Al 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 . 5 .e . d + u ' 6
c . d + a .b . . d+ a .b .r : . d
b . d - - a, . b . ' d + a ' b . c . d + a . b . . d + a . b . c . d
Por tanto, la funcin completa ser
F : a . 6 .e . d + a . 6 ' c . d + a . b . a . A + a . b . c . d
+ a ' b ' a ' d + a ' b ' c ' d
Seguidamente,
en la Figura 2.21 se obtiene la representacinde la funcin.
<d
00
01
11
10
Figura 2.21.
M a p a c o n e l r e s u l t a d od e l P r o b l e m a2 . 1 7 .
2.18. Representarla funcin definida por la siguienteecuacinen un mapa de Karnaugh:

F :
(a * c)' (a *
n - ) .g + b + d )
Solucin: En primer lugar,obtendremos

ia ecuacinmaxtermscompleta
( a i c ) - - + ( *a 6 + c + . @ + 5 + c + d ) . ( u + b + c + d ) . ( a + b + t ' + d )
( a + 6 ) - - +( a - t 6 + + . @ + 6 + . + c t ) . ( a+ 6 + c .+ d ) . ( a + 6 + c + d )
( c 1+ b + d ) - ' @ + b * c * - ( a + b + e + d )
TABULARES
METODOS
43
Por tanto, la funcin completa ser
F:
( a + 5 + c + d ) ' ( a + 6 + c + d ) ' ( a + b * c * J ) ( , + l ) + c + d ) '

' ( a + 6 + + d ) ' @ + 6 + + ' @ + b + c + d ' ( *l h * t - r J
En la Figura 2.22 aparecela representacinde la funcin.
11
10
0o
01
00
01
11
10
1
d
Figura 2.22.
M a p a c o n e l r e s u l t a d od e l P r o b l e m a2 . 1 8 .
2.19. Simplificarla siguientefuncincon mapasde Karnaugh:

F : q . 6 ' ' d + a ' 6 ' a ' A + a ' 6 ' ' d + a ' b ' c ' d +
t a ' b ' a ' d + a ' 5 ' c ' d + a ' F 'c ' d * a ' 6 ' c ' d
Solucin: Representandoen un mapa de cuatro variables esta ecuacin minterms completa, obtendremos la Fisura 2.23.
5.d
b . e . d
a ' D
Figura 2.23.
Si aplicamos las simplifrcacionesindicadas en la Figura 2.23, se obtiene la sisuienteecuacin de la

funcin
F : a ' 5 + 6 ' d + b ' a ' d
e+
E L E c r R o N rD
cA
rGrrAL
2-20. Representary simplificar la siguientefuncin en un mapa de Karnaugh:
F : ( , a+ b + c + d ) . ( a+ b + c + A . @ + b + e + .
. ( a + b + + d ) . ( a+ 6 + c + d ) . ( a+ 6 + c
+ il.
. ( a + 6 + + d ) . ( a+ 6 + + d ) . ( a+ 6 A \
+ +
Solucin: En primer lugar, representaremosel maxterms completo de cuatro variablesen el mapa de
Karnaugh de la Figura 2.24.
3-
00
00
tr
01
11 0
10
01
11
10
lL j
3
(5+e+d)
F i g u ra 2.24. Mapa del probl ema2.2O.
De las simplificaciones
aplicadasen la Figura 2.24se obtienela siguienteecuacin:
F:a.(6+ +d\
2.21, Aplicando los mapas de Karnaugh, simplificar la siguiente funcin:
o: u * :
*
; ! . o u *;l : * n o *::* , 1, '
Solucin: Completaremos,en primer lugar, los sumandos incompletos de la ecuacin
a ' c ' d - - a ' 6 ' 'd + a ' b ' E 'd
a ' c - - a+ . 6 . c . d + a . 6 . c . d + a ' b . c . d + a . b . c . d
La ecuacin minterms completa correspondientea la funcin ser
F :
a . 5 . e . d + a . 6 .a ' d + a . 6 . c . d + a . 6 . c . d + a . b . .d + a . b . .d +
r a . 6 - ' d + a . 5 - c .d + a . b . c . d + a . b . c . d+ a . 6 . c . d
En la Figura 2.25 se encuentra la representaciny simplificacin de la funcin anterior.
TABULARES
METODOS
n
n
00
d 00
01
11
10
n
1
01
1
1 11
45
r1^ 0
l
e.d
-}|
A , D
Figura 2.25.
I
t: j
a ' c
La ecuacin simplifrcada ser, por fin,

F : a ' 6 + a ' c - f c ' 7
2.22.
Simplificar en un mapa de Karnaugh
F:
la siguiente funcin:
( a + 6 + c + d ) . @ + F + + d ) ' ( h+ d l
Solucin: Sustituyendoel trmino incompletode la funcin por sus formascannicas,tendremos

(b+ d)--+(a
+ b +.
+ d)'(a+ b + c + d)'(a+ b + a + d)'(a* b + c + d)
de dondela funcincompletaser
( a + 6 + c ' + c l ) . @+ 6 + e + ' @ + b + a + d ) '
' ( a + b + c '+ d l ' ( a + b + c + d ) ' ( a + b + c + d )
F:
La Figura 2.26 nos muestra la representaciny agrupamientos simplifrcativosrealizados.
lt
oo
01
11
10
(+d)
11
1
(b+d)
a. 2 2 .
F i g u r a 2 . 2 6 . M a p ad e l P r o b l e m 2
Del mapaanterior,se obtienela siguiente
ecuacin:
F : ( b + d ) . ( a + d )
46
E L E c r R o N t cD
At c t r A L
2.23. Obtener la ecuacin simplificada de la funcin booleana que aparece representadaen la

Tabla 2.10.
Tabfa 2.1O. Tabla de verdad

d e l P r o b l e m a2 . 2 3
0 0 0
0 0 0
0 0 1
0 0 1
0 1 0
0 1 0
0 1 1
0 1 1
1 0 0
1 0 0
1 0 1
1 0 1
1 1 0
1 1 0
l 1 l
l t l
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
l
0
0
I
1
I
I
0
I
0
0
1
1
0
0
I
1
Solucin: Teniendo en cuenta que el nmero de ceros de la funcin es menor que el de unos,
representaremosla forma cannica maxterms. Para ello, pasaremosdirectamente las combinaciones
de entrada que hacen 0 la salida a las casillascorrespondientes,
como se observaen la Figura 2.27.
(+c)
(b+c)
Figura 2.27.
M a p a d e l P r o b l e m a2 . 2 3
TABULARES
METODOS
y 1 variable
Teniendo en cuenta el convenio de representacinde un maxterms (0 variable sin negar
ser
ltnal
la
ecuacin
realizados,
los
agrupamientos
como
negada),as
F :
(a+ c)' (b + c)' (a + 6 + e + )
y
2.24. Dado el mapa de Karnaugh de la Figura 2.28, realizar las simplifrcacionesoportunas
obtener la funcin'en l representada.
F i g u ra 2 .2 8. Mapa del P robl ema2.24.
en la
Solucin: El mapa de la Figura 2.28 representauna funcin booleana bajo la forma minterms
los
agruparealizar
de
manera
la
representa
se
2.29
Figura
En
la
que existen trminos indiferentes.
mientos simplifrcativos:
b.e
c'cl
F i g u ra 2 .2 9 . Mapa con el resul tadodel P robl ema2.24.
La ecuacin resultante del mapa antertor es

F : c . d + b . c : . ( b + d )
48
EL E c rR o N tc A
D tG trA L
2.25. Simplifrcarla funcinrepresentada

por la Tabla de verdad2.11.
T a b fa 2 . 1 1 . T a b l ad e v e r d a d
d e l P r o b l e m a2 . 2 5
I
s
0 0
0 0
0 0
0 0
0 1
0 t
0 1
0 1
1 0
1 0
1 0
1 0
1 1
1 1
1 1
r 1
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
1
0
1
0
1
0
l
0
I
0
1
0
1
0
1
0
l
I
1
1
1
1
0
I
X
X
0
I
X
0
0
0
0
Solucin: Tenienoo en cuenta que el nmero de ceros de la salida de la tabla es inferior al de unos,
representaremosen el mapa la funcin maxterms y los trminos indiferentes. obteniendose
as la
Figura 2.30.
G+5)
G+d)
(5+d)
Figura 2.30.
Mapa con el resultado
d e l P r o b l e m a2 . 2 5 .
TABULARES
METODOS
49
Del anterior mapa se deduce la siguiente ecuacin:
F : ( a + 6 )' ( 6 + A ' @ + A )
la siguientefuncinbooleanaen un mapa de Karnaugh:
2.26. Representar
F : a ' b ' c ' d ' e+ a ' 5 ' e' d ' e - l a ' b ' c ' d ' + a ' b ' c ' d ' I a ' b ' a ' d ' *
+ a ' F ' ' d 'e * a ' 6 ' c ' A 'e * a ' b ' c ' d ' e * a ' 6 ' 'd ' e i a ' 5 ' c ' t l '
Solucin: Al tratarse de una funcin bajo la forma de minterms completo de cinco variables. utilizaremos por primera vez el mapa de Karnaugh de cinco variables con las mismas normas de
representacinhasta ahora empleadas.El resultado del problema podemos verlo en la Figura 2.31.
Q" ooo
001
011
010
110
1 1 1 101 100
a' 2 6 .
F i g u r a 2 . 3 1 . R e s u l t a ddoe l P r o b l e m 2
2.27. Simplificar en un mapa de Karnaugh la siguiente funcin booleana:

F :
a ' 6 ' + A ' 6 ' c - fd ' e + A ' b 'd ' e * a ' b ' d ' e * a ' F
por completarlos trminosincompletosde la funcindada

Solucin: Comenzaremos
a ' 6 ' c - - a+ ' 6 ' e ' d ' + a ' 6 ' e ' d ' e * a ' 5 ' E ' d ' e + a ' 6 ' e ' d ' e
a ' 6 ' c - - a+ ' 6 ' c ' d ' + a ' 6 ' c ' d ' e * a ' 5 ' c ' d ' e + a ' 6 ' c ' d ' e
-d'
e - - a' ' 6 ' a ' d ' e * a ' 5 ' c ' d ' e + A ' b ' a ' d ' e * a ' b ' c ' d ' e *
* a ' 6 ' ' d ' e* a ' 5 ' c ' d ' e* a ' b ' a ' d ' e* a ' b ' c ' d ' e
a ' 6 - - a ' 6 ' e ' d ' * a ' 6 ' ' d 'e * a ' 6 ' 'd ' + a ' 6 ' ' d ' e *
+ a ' 5 ' c ' d ' + a ' 6 ' c ' d ' e + a ' 6 ' c ' d - * a ' 6 ' c ' d ' e
Luegola funcincompletaser
F : a ' 6 ' e ' d ' + a ' 6 ' ' d ' + a ' 6 ' a ' A ' e* a ' 5 ' e ' d ' e+ a ' 6 ' c ' d ' +
+ A ' 6 ' c ' d ' e ' f A ' 6 ' c ' d ' + A ' 6 ' c ' d ' e + A ' b ' c ' d ' e* A ' b ' E ' d e' *
* a ' b ' e ' d ' e* a ' b ' c ' d ' e * a ' 5 ' c ' d ' * a ' 6 ' c ' d ' e* a ' 6 ' c ' d ' +
t a ' 6 ' c ' r J e' * a ' 6 ' a ' A ' e * a ' 6 ' ' d ' e + a ' 6 ' c ' d ' e * a ' 5 ' c ' d ' e
50
Representndolaseguidamenteen el mapa de cinco variables,obtenemos la Figura

2.32.
d-X
000
001
00
T)
01
11
10
d ' e
011
010
1 1 0 1 1 1 101
F
1
100
1
-D
1
tr 4
Figura 2.32.
R e p r e s e n t a c i nd e l p r o b l e m a 2 . 2 7 .
La simplificacin en un mapa de cinco variables sigue las normas,

vistas en anteriores mapas,
de simplificar casillascontiguas por sus variables .o.nun.r. 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 dl mapa, mostradas
en la Figu ra 2.33.
001
011
010
00
Figura 2.33.
101
100
10
1 1 0 111
columnas contiguas en un mapa de Karnaugh

de cinco variables.
Si realizamos a continuacin los agrupamientos pertinentesen la funcin

representada,se obtiene el
siguiente resultado:
F : 6
* d . e
TABULARES
METODOS
2.28. Obtener la ecuacinsimplihcadade la funcin dehnida por la Tabla de verdad 1 12.
a.28
T a b l a 2 . 1 2 . T a b l ad e v e r d a d l d ePl r o b l e m 2
a
0 0 0
0 0 0
0 0 0
0 0 0
0 0 1
0 0 1
0 0 1
0 0 1
0 1 0
0 1 0
0 1 0
0 l 0
0 1 1
0 1 1
0 1 1
0 1 1
0 0
0 1
1 0
1 1
0 0
0 1
1 0
1 1
0 0
0 1
1 0
l I
0 0
0 1
1 0
1 1
1
0
I
0
1
I
0
0
0
0
0
0
I
I
I
0
1 0
1 0
1 0
1 0
1 0
1 0
1 0
1 0
1 1
1 1
1 1
1 1
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
I
0
1
1
1
I
0
0
0
0
0
0
I
I
0
1
y
Solucin: En primer lugar, representemosdirectamentela tabla en un mapa de cinco variables,tal
representacin.
la
muestra
2.34
Figura
La
y
variables.
como lo hicimos en los mapas de tres cuatro
a ' b ' c ' e
c . d
ry
00
01
11
a . 6 . e .
10
b ' c '
Figura 2.34.
R e p r e s e n t a c i nd e l P r o b l e m a2 . 2 8 .
52
E L E c T R o N I c AD I G I T A L
Su forma simplificadaes la siguiente:

F : a . b . c . e I a . 6 .a . d + A .b . c . + 6 . e '
e * c
.a
2.29- Partiendo de la Tabla de verdad 2.13, que representa

a una funcin lgica, obtener su
ecuacin de la forma ms simplificada poiibl..
T a bl a 2.13. Tabl ade verdad

del P robl ema2.29
0
0
0
0
0
0
0 0 0 0
0 0 0 1
0 0 1 0
0 0 1 1
0 1 0 0
0 1 0 1
0
0
0
0
0 0 0
0 0 1
0 1 0
0 1 1
0
X
0
I
X
0
0
0
0
1
1
1
0 0
0 1
1 0
1 1
0 0
0 1
1 0
I
0
I
0
I
X
0
0
I
0
solucin: Haciendo la representacinde los trminos

indiferentesy de la ecuacin maxterms, por ser
sta la que menos trminos posee en la tabla, se
obtiene la Figura 2.35, donde se realizan los
agrupamientos simplificativos.
TABULARES
METODOS
53
@ + e + d + e )
+
(b+e)
del P robl ema2.29.

F i g u ra 2 .3 5 . R epresentaci n
es la siguiente:
La ecuacinhnal simplifrcada
F : ( a + ) . ( b+ e ) ' ( 6 + i + d + e )
2.30. Empleando las tablas de Quine-McCluskey, simplificar la siguiente funcin booleana:
F : a ' 5 ' ' d + a ' 6 'a ' A+ a ' 6 ' ' d + a ' b 'c ' d + a ' b 'c ' d
Solucin: Comenzaremos por obtener la tabla de agrupamientos de base, clasificando los trminos
de la funcin por el nmero de unos que posean. La citada tabla corresponde a la Tabla 2.14.
Tabfa 2.14.
T a b l a d e a g r u p a m i e n t o sb a s e
d e l P r o b l e m a2 . 3 0
a'5'e'A
Indice 0
a.6...d
a'6''d
0 0
1 0
0
0
1
0
I
8
lndice I
a ' b ' c ' d
Indice2
a ' b ' c ' d
15
lndice 4
Seguidamenteobtendremos la Tabla de agrupamientos de primer orden 2.15.
T a b l a 2 .15. Tabl ade agrupami entos

d e p ri merordendel P robl ema2.30
i
T9:
II
-000
f9'
1)
(0, 8)
| Ini..o
54
E L E c r R o N r cD
Ar G r r A L
Como no es posible realizarms reducciones,
pasamosa realizarla Tabla reductorafinal 1.16.
T a b f a 2 . 1 6 . T a b l a r e d u c t o r af i n a l
d e l P r o b l e m a2 . 3 0
a
0
0
1
1
0
0
1
1
0
X
0
1
0
1
8 1 5
X
X
X
Como podemosobservaren la Tabla2.16,para que todoslos trminosde la funcinestnrepresentados en la tabla,ha sido necesario
aadirlos trminosequivalentes
a las combinaciones
binarias0110
y 1111.
La ecuacinde la funcinsimplificadaser
F : a . b . c . d + a . b . c . d + 0 . F .a + 6 . e . A
2.31. Simplificar la siguiente funcin empleando las tablas de Quine-McCluskey:

F :
a . 6 'e . d + a ' 6 .c . d + a .b . c . d + a .b .c .d +
* a . 6 . .d + a . 6 . e .d + a . b . e .d + a . b . c . t l
solucin: La tabla de agrupamientos

baseapareceen la Tabla 2.17.
Tabfa 2.17.
T a b l a d e a g r u p a m i e n t o sb a s e
, d e l P r o b l e m a2 . 3 1
a'6..d
Indice 0
a ' 6 ' c ' d

a ' D ' c ' d
0 0 1 0
r 0 0 0
2
8
Indice I
a ' b ' c ' d

a'b-'e'd
0
1
1
0
1
0
0
1
6
9
Indice 2
a ' b ' c ' d

a ' b ' E ' d
0
1
1
1
1
0
1
1
7
13
Indice 3
a ' b ' c ' d
l5
lndice 4
METODOS
T A B U L A R ED
S E S I M P L I F I C A C I ODNE E C U A C I O N E S 5 5
A continuacin obtendremosla Tabla de agrupamientosde primer orden 2.18.
Tabla 2.18. Tablade agrupamientos

d e p r i m e r o r d e n d e l P r o b l e m a2 . 3 1
00-0
-000
(0, 2)
(0, 8)
Indice 0
0-10
100-
(2,6)
( 8 ,9 )
lndice 1
0ll1-01
(6, 7)
( e .1 3 )
Indice 2
-lI I
Il-l
( 7 ,1 5 )
(13,15)
Indice 3
Como no es posible realizaragrupamientosde segundoorden, pasaremosa obtenerla tabla reductora

frnal que se muestra en la Tabla 2.19.
T a b l a 2 . 1 9 . T a b l a r e d u c t o r af i n a l
d e l P r o b l e m a2 . 3 1
a
0
0 0
0
1
1 0 0
0 1 1
l - 0
l l
l
l
0 2 6 7 8 9 t 3 1 5
0 X X
0 X
0
X X
X
X X
X X
1
1
l
X X
X
X
X X
Trataremosseguidamentede obtener una ecuacincon los valoresliteralesequivalentesa 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 agrupamientosbase.Existendos solucionesposibles.La primera de
ellas,sealaclaen la Tabla 2.19 con valos continuos,da lugar a la siguienteecuacin
56
E L E c r R o N t cD
At G t r A L
La segunda,marcadaen la Tabla 2.I9 con valosde trazos,da lugar a la ecuacin
F : 5 ' a ' d+ a ' c ' d + a ' c 'd + b ' c 'd
2.32. Reducir por el mtodo de Quine-McCluskeyla funcin que representala Tabla de verdad 2.20.
Tabla 2.2O. Tabla de verdad

d e l P r o b l e m a2 . 3 2
a
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
1
1
1
r
1
1
1
r
1
1
1
1
1
1
1
0
0
0
0
0
0
0
0
1
1
1
1
l
1
1
1
0
0
0
0
0
0
0
0
1
1
1
1
1
1
1
1
0
0
0
0
1
1
1
t
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1
0 0
0 1
1 0
1 1
0 0
0 1
1 0
1 1
0 0
0 1
1 0
1 1
0 0
0 1
1 0
1 1
0 0
0 1
1 0
1 1
0 0
0 1
1 0
1 1
0 0
0 1
1 0
1 1
0 0
0 r
1 0
1 1
1
I
0
0
0
0
I
I
1
I
0
I
0
0
I
I
I
1
0
0
0
0
1
1
0
0
1
1
0
0
0
0
Solucin: Agrupando las combinaciones que hacen 1 la tabla, y clasihcndolassegn la cantidad de

unos que poseen,se obtiene la Tabla 2.21 de agrupamientos base.
METODOS
TABULARES
T a b fa 2 .2 1 . T a bl ade agrupami entos

basedel probl ema2.32
T
1
a ' D ' c ' c l. e
Indice 0
0 0 0 0 1
0 1 0 0 0
1 0 0 0 0
I
8
T6
Indice I
0
0
1
0
1
0
1
0
0
1
0
0
0
1
1
6
9
t7
Indice 2
a ' o ' c ' d ' e
0
0
0
1
1
0
1
1
0
1
1
0
1
1
0
1
1
1
1
1
1
1
0
0
0
A ' b ' c ' d . e

a ' 6 ' c ' d . e
a ' b ' e ' d . e
0
1
1
1
0
1
1
1
0
1
1
1
1
1
1
a'6'c'd.
-
o ' D ' c ' d . e

a ' 6 . 8 . d ' e
A ' 6
A ' b
a ' D
a ' 6
'
'
'
'
c ' d . e
e ' d - e
c ' c .l e
c ' d '
11
l4
Indice 3
22
26
15
Indice 4
27
Seguidamenteobtendremos la Tabla de agrupamientos de primer ord,en2.22.
Tabla 2.22. Tabla de agrupamientos

d e p r i m e r o r d e n d e l P r o b l e m a2 . 3 2
00000-000
-0000
(0, 1)
(0, 8)
(0, 16)
Indice 0
0-001
-0001
01001000-
( 1 ,9 )
(1, 17)
(8, 9)
(16,t7)
Indice 1
00110 -11 0
-0110
010-1
(6,7)
(6, 14)
(6,22)
( 9 ,1 1 )
Indice 2
0-111
-0111
01-11
-1011
011110111101-
(7, 15)
(7,23)
(11,15)
(tI, 27)
(14,15)
(22,23)
(26,27)
Indice 3
58
E L E c r R o N r cD
At c t r A L
Y despuspasaremosa realizar la Tabla de agrupamientos de segundo orden 2.23,
T a bfa 2.23. Tabl ade agrupamrentos

d e segundoordendel P robl ema2.32
0-00-0000-00-000-
(0, l , 8, 9)
( 0 ,l , 1 6 ,l l )
( 0 ,8 , l , 9 )
(0, 16,l , l 7)
Indice 0
0 - 1I
-01I
0-1r
-01I
(6, 7, 14,15)
(6, l, 22, 23)
(6, 14,7, 15)
(6, 22, l, 23\
Indice 2
La Tabla 2.23 se puede simplificar al existir en ella trminos repetidos,dando lugar a la Tabla 2.24
T a b l a 2 . 2 4 . T a b l a s i m p l i f i c a d ad e s e g u n d o
o r d e n d e l P r o b l e m a2 . 3 2
0-00-000-
(0, 1, 8, 9)
( 0 . l , 1 6 ,1 7 )
Indice 0
0 - 1I
-011
(6,7, 14,15)
(6, 7, 22, 23)
Indice 2
Puesto que no son posiblesms agrupamientosreductores,pasamos a obtener la Tabla reductora

ftnal 2.25.
Tabfa 2.25.
a
0
0 0
1
0 1
l 0
1 0
0
I
0
0
1
1
l
1
T a b l a r e d u c t o r af i n a l
6 7 8 9 lr14 15161722232627
De la anterior tabla se obtiene una de las posiblesecuacionesfinales

F :
t 7 'a ' d + 6 ' " d + u ' t " r l + 6 ' t " t l * a ' b ' a ' d + b ' t ' d ' e
METODOS
TABULARES
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 ' e * a 'b ' E
b.
2.34. Simplihcar por Karnaugh la siguiente funcin:

F : e * a ' 6 ' c * a ' b * c
S o l u c i nF :: a + b + c .
2.35. Aplicando los mapas de Karnaugh, simplifrcar la siguiente ecuacin lgica:
F : b * a ' c * a ' c
S o l u c i nF: : b + c .
2.36, Simplifrcar la siguiente funcin por el mtodo de Karnaugh:
F : a ' b ' c + b ' ( a + c \ + a ' 6
S o l u c i nF:: E I a ' b .
2.37. Aplicando Karnaugh, simplificar la siguiente funcin:
F : a'(a + c')'(a
+ 6 + d ' ( a+ 6 + a )
Selucin: F:
a'(6
+ c).
2.38. Simplificar la siguiente funcin con los mapas de Karnaugh:

F :
Solucin: F :
(a + b + c)'(a + b + a)'@ + b + c)'(a + b + a)
b.
2.39. Reducir la funcin booleana siguiente con un mapa de Karnaugh:

F : a ' c * A ' b + a ' d + b ' d
'
S o l u c i n :F :
a' b + a' c * c' d.
2.40. Representary simplificar en mapa de Karnaugh la funcin:

F : x ' y ' z + Z + x ' y ' z ' u
Schein: F :
I * x' tr + x' u.
60
D l c l rAL
E L Ec rR o N tc A
2.41. Aplicandolos mapasde Karnaugh,reducirla siguientefuncinbooleana:

F : a ' b + a ' b ' E * a ' b ' c ' d
S o l u c i nF ::
a'b + b'e + b'd.
2.42. Reducirla siguientefuncinbooleanaa travsde mapasde Karnaugh:

F : a 'b + 6 ' c * 6 'c 'd + a ' b 'c 'd
S o l u c i Fn :: a ' b + 5 ' c .
2.43. Simplificarla siguientefuncinaplicandoKarnaugh:
F:
( 6 + c )' ( 6 + ) ' @ + b + d ) '

'(a+b+A)
S o l u c i nF: : 6 ' d '

2.44. AplicandoKarnaugh,simplihcarla siguientefuncin:
F : ( a + b + c + d ) . ( a+ 5 + c + d ) ' @ + 6 *
S o l u c i nF: :
c ) '( a+ b + c ) '( a+ a )
(a + c)'(a + a)'(a + d).
2.45. Obtenerla ecuacinsimplificadade la Tabla de verdad2.26 aplicandolos mapasde Karnaugh.

T a b fa 2.26. Tabl ade verdad
del P robl ema2.46
S o l u c i nF: : a + 6 ' d .
0
0
0
0
0
0
0
0
0 0
0 0
0 1
0 1
0
0
1
l
0 0
0 0
0 1
0 1
0
0
l
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
I
0
I
0
0
0
0
METODOS
TABULARES
2.46. Simplificar la siguiente funcin lgica por la aplicacin del mapa de Karnaugh de cinco variables:
F:
a . 5 . . d . e+ a . 6 . c . d . e* a . b . c . d . + A - b . a - d . e* a . b . c d . e + a . b . c . d . +
+ a ' b . c . d . e+ a . 6 . e ' d ' * a ' 6 . c . A ' e* a . 6 . . d . e* a . b . a . A . e+ a . b . a . d . e+

* a ' b ' c ' d ' e
Solucin: Existen dos posibles:
F :
c ' d + 6 . .e * a . b . c . d + a . b ' d . e * a . b . d ' e
F :
E ' d + 5 ' e .e * a . b . c . d + a . b . d - e + a - b 'c ' e
2.47. Partiendo de la Tabla de verdad 2.27, que representa una funcin booleana, obtener la ecuacin
simplificada aplicando los mapas de Karnaugh.
T a b l a 2.27. Tabl ade verdad

del P robl ema2.47
a
0 0
0 0
0 0
0 0
0 1
0 1
0 1
0 1
1 0
1 0
1 0
1 0
1 1
1 1
1 1
1 1
S o l u c i nF: :
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
1
0
I
1
I
1
1
0
I
0
1
1
0
0
I
(a + 5 + d).(b + d).(a + 5 + c + d).
2.48. Simplificarpor el mtodode Quine-McCluskey

la siguientefuncinbooleana:
F : a . 6 . c . d + a ' 5 . c . d + a . b . . d + a . b . c . d + a . b . c - d + a . 6 .a . d + a . b . E . d
S o l u c i nF : : a . 6 . . d + a . b . d + b . a . d * a . c .
2.49. Aplicandolas tablasde Quine-McCluskey,
simplifrcarla siguientefuncinbooleana:
I ' : a . 5 . . d + a . 6 . c . d + a . 5 . c - d+ a . 5 . c .d + a . b . . d + a . b . e . d +
* a ' b ' c . d + a ' 5 . ' d
S o l u c i n :F :
a. 6 + a. c' d + a' b. A.
62
E L E c r R o N r cDAr c r r A L
la siguientefuncinbooleana:
2.50. Simplihcar,a travsde las tablasde Quine-McCluskey,
F :
a ' 5 ' 'd + a ' b ' a 'd + a ' 6 ' a 'd + a ' 6 ' c ' d + a ' b ' a 'd + o ' b ' c ' t l
S o l u c i nF:: c ' d , + a ' d .

2.51. Obtener la ecuacin ms simplificada posible de la siguientefuncin booleana:
F : a ' 6 ' e' d ' ' f+ a ' 5 ' ' d ' e '+f a ' 6 ' e' d ' e ' + a ' 6 ' c d ' e ' f +
f a ' b ' c ' d ' e ' +- fo ' 6 ' ' d ' f +
+ a ' b ' a ' d ' e ' +f a ' b ' . ' d ' a ' +
+ 'a ' b ' a ' d ' e ' f + o ' b ' c d e ' f
* a ' 5 ' c ' d ' e ' . f+ a ' b ' a ' d ' e ' . 1
es:
Solucin: Una de las oosiblessoluciones
F : a ' 6 ' c ' d ' a ' f ' + a ' b ' c ' d ' e ' . 1+ a ' b ' c ' d ' e ' f + 6 ' a ' A ' ' f +
+ a ' . ' A ' e ' f + a ' 6 ' d ' e ' . 1+ b ' . ' d . ' . f* a ' b ' . ' ' I

Mapas K y Tablas Mcluskey Sistemas Digitales

Încărcat de

Informații document

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Mapas K y Tablas Mcluskey Sistemas Digitales

Încărcat de

Drepturi de autor:

Formate disponibile

2

2.I. METODOS TABULARES DE SIMPLIFICACION

2.2. MAPAS DE KARNAUGH

2.3. REPRESENTACIONDE ECUACIONES BOOLEANAS

a.6-e.da ' b ' c ' d

a ' b ' ' d

a ' b ' c ' d

a ' 6 ' e ' d

a ' b ' c ' d

a ' 6 ' c ' d

11 ' 6 ' c ' d

' b ' c ' d

10 ' 6 ' c ' d

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

a ' 5 ' c ' d

a) Trmi nosmi nterms.

2.4. SIMPLIFICACION DE ECUACIONES

2.5. TABLAS DE QUINE-McCLUSKEY

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

a ' b ' c ' d

a ' b ' c ' d

o ' o ' c ' a

a ' b ' c ' d

o ' D ' c ' a

' D ' c ' A

Seguidamenteobtendremos la Tabla 2.2, o tabla de agrupamientosde primer orden. Esta tabla

T a b l a 2.2. Tabl ade agrupami entos

De forma similar obtendremos la Tabla 2.3, o tabla de agrupamientosde segundoorden.

T a b l a 2.3. Tabl ade agrupami entos

Tabla 2.4. Tabla de agrupamientos

En las sucesivasreducciones,se van eliminando grupos de ndices,pudiendo eliminarse incluso

T a b l a 2 . 5. Tabl areductorafi nal

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

2.6. TERMINOS INDIFERENTES EN UNA FUNCION BOOLEANA

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

Si se agrupan las casillascontiguasque se indican en la Figura 2.3,el resultadode la simplificacinser

en un mapade Karnaughy simplificarla:

Agrupando casillas,se obtiene

Realizar la representacin de la siguiente funcin en un mapa de Karnaugh:

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

del P robl ema2.3.

2.4. Dada la funcin siguiente,representarlaen un mapa de Karnaugh:

F : ( a + b + d ' @ + b + c ) ' ( a+ 6 + c ) ' ( a+ 5 + a \

Representar la siguiente funcin en un mapa de Karnaugh:

A modo de ejemplo, resolveremoseste problema por ambos mtodos, aunque lo ms habitual es

a. b.(, + cl + a. c. (b+ 6)+ a. 6.

ecuacin que representael misterms completo de la funcin.

Una vez obtenida la funcin en su forma minterms completa se procede a su representacinen

F i g u ra 2.7. R esul tado

2.6. Dada la siguiente funcin booleana, representarlaen un mapa de Karnaugh:

De igual modo, el otro trmino incompleto proviene de

( a + b + a \ ' ( a + b + r : ) '( a + b + a ) ' ( a + b + c ) ' \ a + +

Por ltimo, pasemosa representar la funcin en un mapa de tres variables,poniendo un 0 en las

La ecuacin en la forma maxterms se obtiene de las casillas que no tengan l, formando un

Figura 2.1O. Mapa del problema2.g.

Solucin: La funcin en forma maxterms ser

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

Partiendo de las casillas vacas,se obtiene el minterms:

Simplificar la funcin siguiente empleando los mapas de Karnaugh:

Solucin: Comenzaremos por representarla funcin en el mapa, teniendo

Aplicando las normas de simplificacin que se exponen en

obtenindoseesta ltima simplificacin de la aplicacin de las

del P robl ema2.9.

F : ( a + b + 4 ' ( a + b + c ) ' ( a+ b + a ) ' ( a+ b * c ) ' ( 0 + b + a )