Académique Documents
Professionnel Documents
Culture Documents
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.
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
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:
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:
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.
Ejemplo 3
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