MAPAS DE KARNAUGH

Introduccin
El mtodo de Karnaugh convierte una expresin a otra ms simplificada. En nuestro
caso, convierte una suma de productos en otra mnima denominada Minimal Sum
Product (MSP o suma de productos minimal) . Tiene como caractersticas:
o Un mnimo nmero de trminos en la expresin.
o Un mnimo nmero de variables en cada trmino de dicha expresin.
Inicialmente poseemos una expresin booleana constituida por una suma de productos
de variables, que pueden tomar nicamente los valores de cero 1[1]2 o uno. El resultado
de esta expresin es un valor booleano para cada uno de los valores que tomen dichas
variables. Dichos valores se van almacenando en una tabla de verdad como la que
ilustramos en el siguiente ejemplo:
F(x, y, z) = x y z + xz
X
0
0
0
0
1
1
1
1

Y
0
0
1
1
0
0
1
1

Z
0
1
0
1
0
1
0
1

Resultado
1
0
1
0
0
0
0
1

Podemos hacer una representacin grfica de dicha tabla de verdad, mediante la matriz
que se encuentra al lado, denominada mapa de Karnaugh. As el resultado en rojo
obtenido en la tabla de verdad se corresponde con la posicin indicada en rojo en la
matriz. Cada valor en esta matriz recibe el nombre de implicante siendo los valores uno
minterm.
3

[1] Las variables se representarn con letras.[1] Las variables se representarn con
letras. Los valores que pueden tomar son el cero, que corresponde con el valor
booleano falso y se representa con la letra y el smbolo ej: x y el uno que corresponde
con el valor booleano verdadero, que se representa con la letra misma ej: x.

Metodologa de mapas de Karnaugh con introduccin de variables.

1
2
3

Este procedimiento nos permite tratar funciones de n+1, n+2, etc., variables con una
tabla de Karnaugh de n variables.
Con una tabla de n variables es posible representar una funcin de n+1 asignando a cada
cuadrado dos trminos cannicos en lugar de uno solo. De esta forma cada cuadrado
puede contener un uno, un cero, una de las n+1 variables en forma directa o en forma
inversa. La seleccin de la variable es arbitraria.
Por ejemplo, la realizacin del mapa de Karnaugh para una funcin de cinco variables,
f(a,b,c,d,e), es de la siguiente manera:

Tabla 1.1
Ahora si tomamos una variable arbitraria, por ejemplo la variable c, observamos que
m0 y m4 son adyacentes por que solo hay un cambio de variable, que es en la variable
c. Es el mismo caso para m1 y m5. De tal manera que podemos simplificar la tabla si
asignamos a una cuadrado los dos minitrminos adyacentes, por lo que la tabla sera de
la siguiente manera.

Tabla 1.2
Ahora, para el llenado de la tabla anterior, aplicamos las siguientes reglas 1.11:
1) si el valor de cada mintermino adyacente es uno, se le asigna un uno en el cuadro
correspondiente.
2) Si el valor de un minitermino es uno, y el valor del otro minitermino es cero,
entonces se asigna el estado de la variable c (es decir, por ejemplo: si mo=1 y
m4=0, entonces asignamos el valor c, dado que en esos cuadros, el valor de la

variable c es 1; pero si mo=0 y m4=1, entonces asignamos al cuadro el valor de c'

, ya que el valor de la variable c es cero).
El agrupamiento de trminos en la tabla 1.2 se realiza segn las siguientes reglas 1.12
de la forma siguiente:
Se agrupan los trminos que poseen un uno tratando de cubrirlos todos de la manera
ms sencilla posible.
Se agrupan entre si los trminos que poseen la variable c y con los que poseen
uno, de tal manera que se cubran de la forma mas sencilla posible todos los
cuadrados que poseen la variable c.
Se agrupan entre si todos los cuadrados que poseen c' , y con los que poseen uno,
de tal manera que se cubran de la forma mas sencilla posibles todos los
cuadrados que poseen la variable c'.
Y as obtenemos la expresin resultante de la funcin f(a,b,c,d,e).
Reglas de simplificacin
1. Las agrupaciones son exclusivamente de unos. Esto implica

que ningn grupo puede contener ningn cero.

2. Las agrupaciones nicamente pueden
hacerse en horizontal y vertical. Esto implica

que las diagonales estn prohibidas.

3. Los grupos han de contener 2n elementos. Es decir que cada
grupo tendr 1,2,4,8... nmero de unos.

4. Cada grupo ha de ser tan grande como sea posible. Tal y

como lo ilustramos en el ejemplo.

5. Todos los unos tienen que pertenecer como

mnimo a un grupo. Aunque pueden pertenecer a
ms de uno.

6. Pueden existir solapamiento de grupos.

7. La formacin de grupos tambin se puede

producir con las celdas extremas de la tabla.
De tal forma que la parte inferior se podra agrupar
con la superior y la izquierda con la derecha tal y
como se explica en el ejemplo.

8. Tiene que resultar el menor nmero de grupos posibles

siempre y cuando no contradiga ninguna de las reglas
anteriores. Esto es el nmero de grupos ha de ser minimal.

MAPAS DE KARNAUGH PARA DOS, TRES, CUATRO Y CINCO VARIABLES:

El aspecto de los mapas de Karnaugh es el de la siguiente figura:

De izquierda a derecha y de arriba a abajo aparecen los mapas para dos, tres, cuatro y
cinco variables. Note que en cada mapa existe una lnea diagonal en la esquina superior
izquierda. Por encima y por debajo de dicha lnea aparecen los nombres de las variables
implicadas (en este caso a, b, c, d y/o e, segn el mapa, aunque pudieran ser otros
diferentes), de tal forma que para el mapa de cuatro variables, por ejemplo, las
combinaciones de ceros y unos de la parte superior del mapa son las combinaciones
posibles de las variables a y b, en este orden, y las combinaciones de dgitos binarios del
lateral izquierdo son la posibles combinaciones de las variables c y d, tambin en ese
orden.
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). El recproco no es cierto en
general, de tal forma que hay casillas que son adyacentes algebraicas y no lo son
grficamente. 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?):

Si a usted no se le da bien la visualizacin espacial siempre puede aplicar la regla

comentada en principio para saber si dos casillas de un mapa son o no adyacentes. La
prctica en esta cuestin le har finalmente no tener que ni pensarlo.
EJEMPLO 1.

Simplificar la funcin de cinco variables:

F(a,b,c,d,e)=?(0,4,5,8,12,16,18,19,24,26,30)
Para ejemplificar todo lo mencionado anteriormente, realicemos el mapa de Karnaugh
de la tabla 1.1,

Ahora procederemos a realizar el mapa de Karnaugh de la tabla 1.2, con la variable c,

como la variable a utilizar dentro del mapa. De acuerdo a la regla 1.11

Para simplificar aplicamos las reglas 1.12

Agrupamos los unos de la manera mas sencilla:

Procedemos a simplificar.
Para el primer lazo: la simplificacin es: a'd'e'.
Para el segundo lazo: la simplificacin es: abde'.
agrupamos la variable c, de la mejor manera:

Simplificando el lazo: a'b'cd'

Agrupamos la variable c'

Simplificando los dos trminos:

Para el mapa de la izquierda: ab'c'd
Para el mapa de la derecha: ab'c'e'
De tal manera que la expresin resultante es:
F(a,b,c,d,e)=a'd'e'+abde+a'b'cd'+ab'c'd+ab'c'e'

Ejemplo 2.
Simplifique la siguiente funcin dada su tabla de verdad mediante mapas de
Karnaugh con introduccin de variables. En la tabla se coloca el smbolo X de no
importa en las columnas de las variables indicando que no importa el valor de esta. En
esta tabla no se indican todos los trminos correspondientes a las combinaciones de las
variables a, b, c, y d superiores a 1010 porque se supone que son indiferentes, de manera
que se reduce considerablemente el tamao de la tabla de verdad.
g
0
X
X
X
1
X
X
X
0
X
X

e
X
X
X
1
X
0
X
X
X
X
X

d
0
0
0
0
0
0
0
0
1
1
1

c
0
0
0
0
1
1
1
1
0
0
0

b
0
0
1
1
0
0
1
1
0
0
1

a
0
1
0
1
0
1
0
1
0
1
0

f
1
0
1
0
1
0
1
0
0
1
1

Utilizamos una mapa K para las variables a, b, c, y d que son las variables definidas
en todas las lneas de la tabla, con la introduccin de las variables e y g dentro del
mismo mapa tenemos.

Para los valores de a, b, c, y d donde no importan las condiciones de e y g se coloca

el valor de la funcin en esa posicin, y en los valores donde si importa el valor de e y g
se coloca el valor que tiene esa variable. Los lazos de un mismo color indican un solo
lazo. De donde tenemos que apartir de los lazos la funcin simplificada es:

Ejemplo 3

Simplifique la siguiente funcin dada su tabla de verdad mediante mapas de

Karnaugh con introduccin de variables.
g
X
X
X
X
X
X
1
X
X
1

e
X
1
X
X
0
X
X
X
1
X

d
0
0
0
0
0
0
0
0
1
1

c
0
0
0
0
1
1
1
1
0
1

b
0
0
1
1
0
0
1
1
0
1

a
0
1
0
1
0
1
0
1
1
0

f
1
1
1
0
1
0
1
0
1
1

Para este problema utilizamos un mapa K con las variables a, b, c y d y agregamos

las variables e y g como en el ejercicio anterior dentro del mapa de la siguiente manera.

De forma que la expresin simplificada para la funcin es la siguiente: