Universidad Fermn Toro

Vice-rectorado Acadmico
Sistema de Aprendizaje Interactivo a Distancia
Cabudare

Mapa de Karnaugh

Martha Rivero
C.I. 25.748.133
SAIA "B"
 Mapa de Karnaugh

Un mapa de Karnaugh (tambin conocido como tabla de Karnaugh o diagrama de

Veitch, abreviado como Mapa-K o Mapa-KV) es un diagrama utilizado para la
simplificacin de funciones algebraicas Booleanas. El mapa de Karnaugh fue
inventado en 1950 por Maurice Karnaugh, un fsico y matemtico de los laboratorios
Bell.

Los mapas de Karnaugh reducen la necesidad de hacer clculos extensos para la

simplificacin de expresiones booleanas, aprovechando la capacidad del cerebro
humano para el reconocimiento de patrones y otras formas de expresin analtica,
permitiendo as identificar y eliminar condiciones muy inmensas.

El mapa de Karnaugh consiste en una representacin bidimensional de la tabla de

verdad de la funcin a simplificar. Puesto que la tabla de verdad de una funcin de N
variables posee 2N filas, el mapa K correspondiente debe poseer tambin
2N cuadrados. Las variables de la expresin son ordenadas en funcin de su peso y
siguiendo el cdigo Gray, de manera que slo una de las variables vara entre celdas
adyacentes.
 Mapa de Karnaugh

La transferencia de los
trminos de la tabla de
verdad al mapa de Karnaugh
se realiza de forma directa,
albergando un 0 un 1,
dependiendo del valor que
toma la funcin en cada fila.
Las tablas de Karnaugh se
pueden fcilmente realizar a
mano con funciones de hasta
6 variables, para funciones
de mayor cantidad de
variables es ms eficiente el
uso de software
especializado
Vamos a indicar cada uno de los pasos para
obtener la expresin MSP (mnima suma de
productos). Para ello vamos a ilustrarlo con el
ejemplo:

F(x, y, z) = x y z + x y z + x y z+ x y z+ x y z

Los pasos a seguir para conseguir reducir esta

expresin son:

1.Convertir la expresin a una suma de productos

si es necesario. Esto se puede realizar de varias
maneras:
Algebraicamente.
Construyendo una tabla de verdad, trasladando
los valores al mapa de Karnaugh. Esta es la forma
que vamos a utilizar.
2.Cubrir todos los unos del mapa mediante rectngulos de 2N elementos, donde N = 0
... nmero de variables. Ninguno de esos rectngulos debe contener ningn cero (tal y
como indicbamos en el apartado anterior).
Para minimizar el nmero de trminos resultantes se har el mnimo nmero posible
de rectngulos que cubran todos los unos.
Para minimizar el nmero de variables se har cada rectngulo tan grande como sea
posible.

Vase que en este caso se ha unido la columna

izquierda con la derecha para formar un nico
rectngulo.
3.Encontrar la MSP (suma de productos minimal). Ojo porque podemos encontrarnos
con que puede haber ms de una MSP.

Cada rectngulo pertenece a un trmino producto.

Cada trmino se define encontrando las variables que hay en comn en tal
rectngulo.
En nuestro ejemplo tenemos F(X, Y, Z) = Z + XY ntese que las variables resultado
son las que tienen un valor comn en cada rectngulo.
Rectngulos y productos.

Cada rectngulo representa un trmino. El tamao del rectngulo y el del trmino

resultante son inversamente, es decir que, cuanto ms largo sea el rectngulo menor
ser el tamao del trmino final.

En general, si tenemos una funcin con n variables :

Un rectngulo que ocupa una celda equivale a un trmino con n variables.

Un rectngulo que ocupa dos celdas equivale a un trmino con n-1 variables.
Un rectngulo que ocupa 2n celdas equivale al trmino de valor 1.
Por lo tanto, para encontrar el MSP se debe:

Minimizar el nmero de rectngulos que se hacen en el mapa de Karnaugh, para

minimizar el nmero de trminos resultantes.
Maximizar el tamao de cada rectngulo, para minimizar el nmero de variables de
cada trmino resultante.
Agrupacin de rectngulos.

Cuando tenemos distintas posibilidades de agrupar rectngulos hay que seguir ciertos
criterios:

Localiza todos los rectngulos ms grandes posibles, agrupando todos los unos. Estos se
llamarn implicantes primos.

Si alguno de los rectngulos anteriores contiene algn uno que no aparece en ningn otro
rectngulo entonces es un implicante primo esencial. stos han de aparecer en el
resultado final de manera obligatoria.
El resto de implicantes primos se podrn combinar para obtener distintas soluciones.
Vase este ejemplo que ilustra lo que les planteamos. Aqu los implicantes primos son
cada uno de los diferentes rectngulos obtenidos. Los primos implicantes esenciales son
el rectngulo rojo y el verde, por contener unos que no son cubiertos por otros
rectngulos. As todas las posibles soluciones han de contener estos dos implicantes.
La especificacin bsica de una funcin de conmutacin (funcin booleana) es la
tabla de verdad, que muestra la lista de todas las combinaciones posibles de las
variable y el valor que asumir la o las salidas para todas esas combinaciones.

Hasta ahora hemos supuesto que los valores de verdad se especifican estrictamente
para todas las 2n combinaciones de entradas posibles, siendo n el numero de
variables de entrada. Sin embargo, no siempre es as. Existe la posibilidad que
ciertas combinaciones de entrada, debido a restricciones externas, no se produzcan
nunca. Esto no quiere decir que si estas entradas prohibidas se produjeran, el
circuito no responder de alguna forma, de hecho cualquier circuito de
conmutacin responder de alguna forma a cualquier entrada. Sin embargo, dado
que la entrada no puede ocurrir nunca, no importa si el circuito responder a la
salida con un cero o con un uno a esta combinacin de entrada prohibida.
Cuando se presentan estas situaciones se dice que la salida es NO ESPECIFICADA
(Don't care en ingls). Esto se indica en la tabla de verdad y en el mapa de Karnaugh
correspondiente con una X en lugar del 1 o 0.