Mapas de karnaugh

Los Mapas de Karnaugh son una herramienta muy utilizada para la simplificacin de
circuitos lgicos.

Cuando se tiene una funcin lgica con su tabla de verdad y se desea implementar esa
funcin de la manera ms econmica posible se utiliza este mtodo.

Suponiendo que conozcamos la tabla de la verdad de un circuito combinacional, a partir
de la cual deseamos disear dicho circuito, lo ms corriente es tener que buscar una
expresin simplificada de la funcin o funciones a implementar.


Los mapas de karnaugh son maneras pictricas de encontrar formas minimales de
sumas para las expresiones de Boole que involucran 2, 3, 4 o 5 variables.

2 variables 3 variables 4 variables







5 variables








Los mapas de Karnaugh se representarn en cuadros.

Se dice que dos de tales productos fundamentales P1 y P2 son
adyacentes si P1 y P2 difieren en exactamente una literal. Lo
cual tiene que ser una variable complementada o un producto
y no complementada en el otro.


As que la suma de dos productos adyacentes ser un producto fundamental con una
literal menos.
Por ejemplo: 1) xyz + xyz 2) xyzt + xyzt
xz(y + y) xyt (z+z)
xz (1) xyt (1)
xz xyt

zt zt' z't' z't
xy
xy'
x'y'
x'y

y y'
x
x'

yz yz yz yz
x

x


z't'v' z't'v z'tv z'tv' ztv' ztv zt'v zt'v'
xy
xy'
x'y'
x'y
La adyacencia grfica y la adyacencia algebraica
Dos casillas son adyacentes grficamente si estn una junto a otra en el mapa de
Karnaugh, teniendo en cuenta que nunca deben considerarse las diagonales. Por otro
lado, dos casillas de un mapa de Karnaugh son adyacentes algebraicamente si en el
conjunto formado por los bits de sus coordenadas x e y slo hay un dgito diferente, no
importando la posicin en la que se encuentre dicho dgito. Pues bien, siempre se verifica
que dos casillas que sean adyacentes grficamente tambin lo son algebraicamente
(recuerde que no vale en diagonal). La adyacencia algebraica es la que realmente hay
que tener en cuenta en el proceso de simplificacin grfica. Podemos decir que la
adyacencia algebraica es "ms fuerte" que la grfica. Sin embargo, a efectos de poder
realizar la simplificacin de forma fcil convendra que los dos tipos de adyacencias
coincidiesen para tener una imagen grfica de las adyacencias algebraicas.
Lamentablemente esto no es as, pero con objeto de conseguir una imagen mental y
grfica de las adyacencias algebraicas podemos ayudarnos de las siguientes figuras:
- Para tres variables:




- Para cuatro variables:











- Para cinco variables (tiene buena visin espacial?):




Primero Doblar el mapa hasta superponer completamente las casillas, con lo que toma el
aspecto de un mapa de cuatro variables.
Segundo seguir el procedimiento para mapas de cuatro variables.
Caso de 2 Variables:
El mapa que corresponde a las expresiones de Boole
E=(x,y) se visualiza en la siguiente figura:


Se puede ver en la figura que x est representada por los puntos en
la mitad superior del mapa


y Y esta representada por los puntos de la mitad izquierda del mapa



As que X est representada por los puntos de la mitad inferior del mapa.



y Y est representada por los puntos de la mitad derecha del mapa.




De esta manera los cuatro posibles productos fundamentales con dos literales son:
xy, xy, xy, xy que estn representados por los cuatro cuadros en el mapa:









Observe que dos de tales cuadros son adyacentes en el sentido definido anteriormente, si
y solo s estn geomtricamente adyacentes, es decir tienen un lado en comn.

Cualquier expresin de Boole, en su forma cannica de suma de productos E=(x,y) est
representada en un mapa de Karnaugh marcando los cuadros apropiados.




y y
X
x
y y
x

x


y
y
X
x

y y
x
x


Y y
x
x

Y y
x xY xy
x xY Xy
Por ejemplo:
E1= xy + xy E2= xy + xy + xy E3= xy + xy
se representan en los siguientes mapas:
E1= E2= E3=





Un implicante primo de E(x,y) ser una pareja de cuadrados adyacentes o un cuadro
aislado, es decir un cuadrado que no est adyacente en ningn otro cuadrado de E(x,y).

Por ejemplo: haciendo referencia al ejemplo anterior, E1 consta de dos
cuadrados adyacentes, representados por el ovalo, esta pareja de
cuadros adyacentes representa la variable x, as que x es el implicante
primo, el nico de E1, por lo tanto E1 puede Escribirse en su forma minimal
E1= x.

Para E2, este contiene 2 parejas de cuadros adyacentes, como se
muestra en los valos, la pareja vertical representa a y, la pareja
horizontal a x as que x y y son implicantes primos de E2.
E2= y + x que es la suma minimal.

Por otra parte E3 esta formada por dos cuadrados aislados que representan xy y xy, as
que xy y xy son implicantes primos de E3. E3= xy + xy es su suma minimal.
Caso de 3 variables
YZ YZ YZ YZ
X
X

X representa los puntos de la mitad del mapa superior del mapa.





y y
x

x


y y
x

x


y y
x

x

y y
x


x


y y
X

x

YZ YZ YZ YZ
X
X
Y representa los puntos de la mitad izquierda del mapa





La nueva variable Z esta representada por los cuartos izquierdo y derecho del mapa






As X est representada por los puntos de la mitad inferior del mapa, Y por los puntos de
la mitad derecha del mapa, y Z por los puntos de los dos cuartos de la mitad del mapa.





Existen para este mapa 8 productos fundamentales con tres literales que son: xyz, xyz,
xyz, xyz, xyz, xyz, xyz, xyz






Para que puedan ser geomtricamente adyacentes cada pareja de productos
adyacentes, es necesario identificar los bordes izquierdo y derecho del mapa.

Cualquier expresin de Boole completa en su forma cannica de suma de productos
E(x,y,z) esta representada en el mapa de Karnaugh marcando los cuadros apropiados.
Ejemplos:
E1= xyz + xyz+ xyz+ xyz
E2= xyz + xyz+ xyz + xyz + xyz
E3= xyz + xyz+ xyz+ xyz+ xyz
Para E1:
El cual tiene tres implicantes primos:
1er ovalo = xy
2do ovalo = yz
3er ovalo = xyz Por lo tanto: xy + yz + xyz es la suma minimal de E1.


YZ YZ YZ YZ
X
X
YZ YZ YZ YZ
X
X
YZ YZ YZ YZ
X
X
YZ YZ YZ YZ
X
X
YZ YZ YZ YZ
X
X
yz yz yz yz
X xyz xyz xyz xyz
x xyz xyz xyz xyz
YZ YZ YZ YZ
X
X
Para E2:
Tiene dos implicantes primos:
1er ovalo = xy
2do ovalo = z Por lo tanto: xy + z es la suma minimal.

Para E3:
Existen 3 soluciones:
Con 4 valos = xy + yz+ xz + xy
(aunque esta no es la mejor solucin)


Con 3 ovalos = xy + xz + xy



Con 3 valos = xy + yz +xy



Caso de 4 variables
El mapa de Karnaugh que corresponde a las expresiones de Boole E(x,y,z,t) se representa
en la siguiente figura:

zt zt zt zt
xy
xy
xy
xy

Donde cada uno de los 16 cuadros pertenecen a los 16 productos fundamentales.
Las lneas superior e izquierda estn rotulados de tal manera que los productos
adyacentes difieran precisamente en un literal. Nuevamente se debe identificar el borde
izquierdo con el borde derecho, pero tambin tenemos que identificar el borde superior
con el borde inferior.

Un rectngulo bsico es:
Un cuadrado,
Dos cuadrados adyacentes,
Cuatro cuadros que forman un rectngulo de uno por cuatro o dos por dos, y ocho
cuadros que forman un rectngulo de dos por cuatro.



YZ YZ YZ YZ
X
X
YZ YZ YZ YZ
X
X
YZ YZ YZ YZ
X
X
YZ YZ YZ YZ
X
X
X es representada por: X esta representada por:





Y es representada por: Y esta representada por:





Z esta representado por: Z esta representada por:






t esta representada por: t esta representada por:






Ejemplo1 : Se tiene la siguiente tabla de verdad para tres variables.

Se desarrolla la funcin lgica basada en ella. ( primera forma cannica). Ver que
en la frmula se incluyen solamente las variables (A, B, C) cuando F cuando es
igual a "1".
Si A en la tabla de verdad es "0" se pone A, si B = "1" se pone B, Si C = "0" se pone
C, etc.

zt zt zt zt
xy

xy

xy

xy

zt zt zt zt
xy
xy
xy
xy

zt zt zt zt
xy
xy
xy
xy
zt zt zt zt
xy
xy
xy
xy
zt zt zt zt
xy
xy
xy
xy
zt zt zt zt
xy
xy
xy
xy
zt zt zt zt
xy
xy
xy
xy

zt zt zt zt
xy
xy
xy
xy

F = A B C + A B C + A B C + A B C + A B C + A B C
Una vez obtenida la funcin lgica, se implementa el mapa de Karnaugh.

En el mapa de Karnaugh se han puesto "1" en las casillas que corresponden a los
valores de F = "1" en la tabla de verdad.

Para proceder con la simplificacin, se crean grupos de "1"s que tengan 1, 2, 4, 8,
16, etc. (slo potencias de 2).

Los "1"s deben estar adyacentes (no en diagonal) y mientras ms "1"s tenga el
grupo, mejor.


La funcin mejor simplificada es aquella que tiene el menor nmero de grupos
con el mayor nmero de "1"s en cada grupo

Se ve del grfico que hay dos grupos cada uno de cuatro "1"s, (se permite
compartir casillas entre los grupos).


La nueva expresin de la funcin booleana simplificada se deduce del mapa de
Karnaugh.


- Para el primer grupo (azul): la simplificacin da B (los "1"s de la tercera y cuarta
columna) corresponden a B sin negar)


- Para el segundo grupo (rojo): la simplificacin da A (los "1"s estn en la fila inferior
que corresponde a A sin negar)


Entonces el resultado es F = B + A F = A + B


Ejemplo 2:

Una tabla de verdad como la de la derecha da la siguiente funcin
booleana:

F = ABC + AB C + A B C + A B C

Se ve claramente que la funcin es un reflejo del contenido de la
tabla de verdad cuando F = "1"

Con esta ecuacin se crea el mapa de Karnaugh y se escogen los
grupos. Se lograron hacer 3 grupos de dos "1"s cada uno.





Grupos de "1" formados en ejemplo de mapa de karnaugh de 3 variables, Se
puede ver que no es posible hacer grupos de 3, porque 3 no es potencia de 2. Se
observa que hay una casilla que es compartida por los tres grupos.
La funcin simplificada es:

Grupo en azul: AB, grupo rojo: BC, grupo verde: AC

F = AB + B C + A C