Eduardo Jose Martinez Montes

Circuitos digitales :
Mapas K

Junio 2016

Mapa de Karnaugh
El mapa de Karnaugh es una
herramienta
muy
til
para
la
simplificacin y minimizacin de
expresiones algebraicas Booleanas. Es
similar a una tabla de verdad, ya que
muestra todos los posibles valores de
las variables de entrada y la salida
resultante para cada valor
Es una secuencia de celdas en la que cada
celda representa un valor binario de las variables de entrada.
El nmero de celdas de un mapa de Karnaugh es igual al
nmero total de combinaciones de las variables de entrada, al
igual que el nmero de filas para una tabla de verdad, es
decir, si un mapa tiene 3 variables, (2) elevado a la 3 = 8.

Mapa de Karnaugh de dos variables

El mapa de Karnaugh de dos variables es un conjunto de cuatro
celdas.
La siguiente figura nos muestra la tabla de verdad y el mapa K para
una funcin escogida arbitrariamente de dos variables.
Mapa de Karnaugh de tres variables
El mapa de Karnaugh de tres variables es un conjunto de ocho
celdas.
La siguiente figura nos muestra la tabla de verdad y el mapa K para
una funcin escogida arbitrariamente de tres variables.
Mapa de Karnaugh de cuatro variables
El mapa de Karnaugh de cuatro variables es una matriz de diecisis
celdas.
La siguiente figura nos muestra el mapa K para cuatro variables.

Paso para realizar un Mapa K

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 EN
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.

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.
.
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.
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.

Uso de la Condicin NO importa (Dont Care)

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.
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.
Esta X en el mapa de Karnaugh la utilizaremos como un comodn,
hacindola valer 0 o 1 segn nuestra conveniencia a la hora de
minimizar. Cuando queremos simplificar una funcin utilizando mapas
de Karnaugh, estas condiciones de don't care para formar grupos de
"unos" mas grandes que nos generaran trminos productos menores.
Vemoslo con un ejemplo: Disear un circuito que detecte los
nmeros primos entre 1 y 9.

Ejercicios a resolver

4.
5.
6.

F(a,b,c,d) = m(2,8,9,12,11,14,15)
F(x,y,z,w) = m(3,5,7,9,15)
F(a,b,c,d) = m(0,2,9,10,11,14)

F(a,b,c,d) = m(2,8,9,12,11,14,15
Tabla de la verdad de la funcin
Ahora resolvemos el Mapa K y
obtenemos sus grupos

Y por ultimo obtenemos la

simplificacin final de la funcin

= + + +

Y luego se obtiene el circuito de la funcin

F(x,y,z,w) = m(3,5,7,9,15)
Tabla de la verdad de la funcin
Ahora resolvemos el Mapa K y
obtenemos sus grupos

Y por ultimo obtenemos la

simplificacin final de la funcin
= + + +

Y luego se obtiene el circuito de la funcin

F(a,b,c,d) = m(0,2,9,10,11,14)
Tabla de la verdad de la funcin
Ahora resolvemos el Mapa K y
obtenemos sus grupos

= + +AC

Y luego se obtiene el circuito de la funcin