Mapas de Karnaugh

Ing. Mnica Patricia Ren_2011

1 Ing. Mnica P. Ren_2010
Introduccin
Vimos como representar funciones de conmutacin (o booleanas)
con tablas de verdad, implementndolas con compuertas lgicas.
Adems mediante el lgebra de Boole, reducimos dichas funciones
para que puedan emplearse el mnimo nmero posible de
compuertas lgicas.
Cuando la funcin de conmutacin depende de muchas entradas, el
mtodo para reducir la funcin mediante teoremas y postulados
del lgebra booleana se vuelve tedioso.
Adems una misma funcin se puede expresar algebraicamente de
distintas maneras.
Los mtodos que veremos a continuacin remedian estas
dificultades.

2 Ing. Mnica P. Ren_2010
Introduccin
Una funcin booleana descrita por una expresin algebraica consta
de variables binarias, las constantes 0 y 1, y los smbolos de
operacin.

Ejemplos:
F(x,y,z)= xyz + xz+(xyz)(1+xyz)
Variables binarias: x, y, z
Constantes: 1
Smbolos de operacin: ., +,





3 Ing. Mnica P. Ren_2010
Introduccin
El lgebra de Boole asocia a la suma de trminos cuyas variables
exclusivamente estn multiplicndose como MINITERMINOS (o
productos cannicos) y a la multiplicacin de trminos cuyas
variables estn sumndose como MAXITERMINOS (o sumas
cannicas).
La tabla siguiente muestra los MINITERMINOS y MAXITERMINOS
para tres variables.




4 Ing. Mnica P. Ren_2010
Introduccin
Conociendo la tabla de verdad de una funcin podemos construir
dicha funcin a partir de sus minitrminos, para luego
implementarla.
Ejemplo:







En la tabla anterior vemos que F(x,y,z) =1 para tres minitrminos
de la tabla.
5 Ing. Mnica P. Ren_2010
Entonces podemos encontrar la funcin F(x,y,z) sumando esos tres
minitrminos, esto es:
F (x,y,z)= xyz + xyz + xyz = (m
1,
m
4,
m
7
)= m
1+
m
4+
m
7

Ejercicios
Ing. Mnica P. Ren_2010 6
Introduccin
Mapas de Karnaugh
Como una tabla de verdad, el mapa de Karnaugh de una funcin,
especifica el valor de dicha funcin para todas las combinaciones de
valores de las variables independientes (entradas).

Es un diagrama en forma de matriz de cuadros, donde cada cuadro
corresponde a un minitrmino de la funcin.

Las expresiones simplificadas, que se generan del mapa, siempre
estn en una de las dos formas cannicas: suma de minitrminos o
producto de maxitrminos.

La expresin ms simple no es nica.
7 Ing. Mnica P. Ren_2010
Mapas de Karnaugh de dos y tres variables
Para dos variables, existen 4
minitrminos, por lo tanto 4
cuadros en la matriz.











Ejemplo
A,B: variables de
entrada
A
B
0
0
1
1
A
B
0
0
1
1
A=0, B=0
A=1, B=0
A=0, B=1 A=1, B=1
A
B
0
0
1
1
A B
AB
A B AB
A B
0 0
0 1
1 0
1 1
m 0 m 2
m 1 m 3
A
B
0
0
1
1
0 2
1 3
A
B
0
0
1
1
00 10
01 11
A
B
8 Ing. Mnica P. Ren_2010
Se pueden leer los minitrminos
igual que en una tabla de verdad.
Cada 1 contenido en el mapa
corresponde a un minitrmino de F.
Un 1 contenido en la celda 00,
indica que AB es un trmino
producto de F.
Los trminos productos ubicados en
celdas adyacentes, pueden
combinarse, dado que solo difieren
en una sola variable.
AB y AB se combinan para formar
A.
Lo anterior se indica mediante un
lazo que envuelve a los
correspondientes unos sobre el
mapa.
Ejemplo
Para la siguiente tabla de verdad
construya el mapa de K.
Mapas de Karnaugh de dos y tres variables
1 0
1 0
A
B
0
0
1
1
A B F
0 0 1
0 1 1
1 0 0
1 1 0
1 0
1 0
A
B
0
0
1
1
A B
A B
1 0
1 0
A
B
0
0
1
1
A B+AB=A
F=A
F= A B+AB
9 Ing. Mnica P. Ren_2010
Para tres variables:






Los trminos productos situados en
celdas adyacentes se pueden combinar
utilizando el teorema XY+XY=X
Por ejemplo el trmino producto 001
(ABC) se puede combinar con tres
trminos producto como se ve en la fig.
Las filas superiores e inferiores del mapa
tambin son adyacentes (100 con 110
y 000 con 010)
A B C F
0 0 0 0
0 0 1 0
0 1 0 1
0 1 1 1
1 0 0 1
1 0 1 0
1 1 0 1
1 1 1 0
Mapas de Karnaugh de dos y tres variables
0 1
0 0
A
BC
0 1
00
01
10
11
1 1
0 1
0 4
1 5
A
BC
7 3
00
01
10
11
2 6
0 1
NOTACION DECIMAL
000 100
001 101
A
BC
111 011
00
01
10
11
010 110
0 1
NOTACION BINARIA
100 ES
ADYACENTE
A 110
10 Ing. Mnica P. Ren_2010
Dada la expansin en trminos producto cannicos de una funcin,
puede representarse sobre un mapa colocando unos en las celdas
que corresponden a lo minitrminos de la funcin y ceros en las
celdas restantes.

Mapas de Karnaugh de dos y tres variables
0 0
1 1
A
BC
0 1
00
01
10
11
0 0
0 1
F(A,B,C)=(m1,m3,m5)
11 Ing. Mnica P. Ren_2010
Si una funcin se especifica en forma algebraica, no es necesario
expandirla en trminos producto cannicos antes de representarla
sobre un mapa.
Por ejemplo suponiendo que f(a,b,c)=abc+bc+a construiremos el
mapa como se muestra:
El trmino abc es 1 cuando a=1, y bc=10, por lo que
colocamos un 1 en la celda que corresponde a la
columna a= 1 y la fila bc=10
El trmino bc es 1 cuando bc=01,por lo que
colocamos un 1 en ambas celdas de la fila bc=01
del mapa.
El trmino a es 1 cuando a=0, por lo que colocamos
un 1 en todas las celdas de la columna a=0 del mapa.
Nota: dado que hay un 1 en la celda abc=001 no tenemos que colocar
un segundo 1 ah, ya que x+x=x

Mapas de Karnaugh de dos y tres variables
1 0
1 1
a
bc
0 1
00
01
10
11
1 1
0 1
12 Ing. Mnica P. Ren_2010
Ejemplo de deduccin de una expresin simplificada utilizando un
mapa de Karnaugh.
F(a,b,c)=abc+abc+abc










Rellenamos el mapa con los trminos producto correspondientes.
Agrupamos mediante los lazos.
Simplificamos.
F(a,b,c)=ac+bc

Mapas de Karnaugh de dos y tres variables
0 0
1 1
a
bc
0 1
00
01
10
11
0 0
0 1
0 0
1 1
a
bc
0 1
00
01
10
11
0 0
0 1
F(a,b,c)=(m1,m3,m5)
Insercin de los trminos
productos (o minitrminos)
Forma simplificada de F
F=ac+bc
T1= abc+abc=ac
T2= abc+abc=bc
13 Ing. Mnica P. Ren_2010
Si queremos encontrar el complemento de la funcin mostrada en
el ejemplo anterior, simplemente cambiamos en el mapa los 0 por 1
y los 1 por 0.
F(a,b,c)=(abc+abc+abc)








Simplificamos como se explic.
F(a,b,c)=c+ab
Mapas de Karnaugh de dos y tres variables
1 1
0 0
a
bc
1 0
00
01
10
11
1 1
0 1
F(a,b,c)=(m0,m2,m4,m6,m7)
Insercin de los trminos
productos (o minitrminos)
Forma simplificada de F
F=c+ab
T1= bc+bc=c
T2= ab
1 1
0 0
a
bc
1 0
00
01
11
1 1
0 1
14 Ing. Mnica P. Ren_2010
Si queremos expresar la funcin F como un producto estndar,
buscamos el complemento de dicha funcin simplificamos y luego
aplicamos el teorema de Morgan, para volver a complementar, y
poder expresar F finalmente como un producto estndar.

Para el ejemplo anterior donde F(a,b,c)=abc+abc+abc vimos
como encontrar F(a,b,c)=c+ab

Ahora aplicando el teorema de Morgn, para volver a
complementar:
(F)= F = c (a +b) producto estandar
Ing. Mnica P. Ren_2010 15
Mapas de Karnaugh de dos y tres variables
Las siguientes figuras muestran la distribucin de un mapa K de
cuatro variables:







La definicin de celdas adyacentes se amplia, no slo las filas
superior e inferior son adyacentes, sino que tambin lo son la
primera y la ltima columna.
Mapas de Karnaugh de cuatro variables
0 4
1 5
AB
CD
7 3
00
01
11
2 6
00
12
13
15
14
8
9
11
10
01 11 10
10
16 Ing. Mnica P. Ren_2010
Ejemplos
Fundamentos de diseo lgico, Charles H. Roth, Jr., 5

ed. Thomson
Problemas 5.3, a),b)c)
5.4
5.5 (observacin la operacin EQU (equivalencia)=XNOR)
5.6 (solo hallar la suma mnima de productos de cada funcin)



17 Ing. Mnica P. Ren_2010