Está en la página 1de 11

Universidad Fermn Toro

Vice Rectorado Acadmico


Decanato de Ingeniera

MAPAS DE KARNAUGH

CLAUDIA RODRIGUEZ
19780185

Barquisimeto, 25 de Noviembre del 2016.

El mapa de Karnaugh es un mtodo grfico que se utiliza para simplificar una ecuacin lgica
para convertir una tabla de verdad a su circuito lgico correspondiente en un proceso simple y
ordenado. Aunque un mapa de Karnaugh (que de aqu en adelante se abreviar como mapa K) se puede
utilizar para resolver problemas con cualquier numero de variables de entrada, su utilidad practica se
limita a seis variables. El siguiente anlisis se limitara a problemas de hasta cuatro entradas , ya que los
problemas con cinco y seis entradas son demasiado complicados y se resuelven mejor con un programa
de computadora.
Formato del mapa de Kamaugh El mapa K, al igual que una tabla de verdad, es un medio para
demostrar la relaci6n entre las entradas l6gicas y la salida que se busca. La figura +11 da tres
ejemplos de mapas K para dos, tres y cuatro variables, junto con las tablas de verdad correspondientes.
Estos ejemplos ilustran varios puntos importantes:
1. La tabla de verdad da el valor de la salida X para cada combinaci6n de valores de entrada. El mapa
K proporciona la misma informaci6n en un formato diferente. Cada caso en la tabla de verdad
corresponde a un cuadrado en el mapa.

La condicin A = 0, B = 0 en la tabla de verdad corresponde al cuadrado A' B' en el mapa K. Ya


que la tabla de verdad muestra X = 1 para este caso, se coloca un 1 en el cuadrado A'B' en el mapa K.
En forma similar, la condicin A = 1, B = 1 en la tabla de verdad corresponde al cuadrado AB del mapa
K, ya que X = 1 para este caso, se coloca un 1 en el cuadrado AS. Los dems cuadrados se llenan con
ceros. Esta misma idea se utiliza en los mapas de tres y cuatro variables que se muestran ,Los
cuadrados del mapa K se marcan de modo que los cuadrados horizontalmente adyacentes so1o difieran
en una variable. Por ejemplo, el cuadrado superior de la izquierda del mapa de cuatro variables es
A'B'C'D' en tanto que el cuadrado que se encuentra a la derecha es A'B'C'D (solo la variable D es
diferente).
De la misma manera, los cuadrados verticalmente adyacentes difieren so1o en una variable. Por
ejemplo, el cuadrado superior izquierdo es A'B'C'D' en tanto que el que se encuentra a la derecha es
A'BC'D' (solo la variable B es diferente).
Note que cada cuadrado del renglon superior se considera adyacente al correspondiente
cuadrado del renglon inferior .Por ejemplo, el cuadrado A'B'CD del renglon superior es adyacente al
cuadrado AB'CD del renglon inferior porque so1o difieren en la variable A. Haga de cuenta que la parte
superior del mapa se dobla hasta tocar la parte inferior. Asimismo, los cuadrados del extremo izquierdo
de la columna son adyacentes a los del extremo derecho de la columna.
A fin de que los cuadrados que son adyacentes tanto vertical como horizontalmente difieran en una
sola variable, el marcado de arriba hacia abajo debe hacerse en el orden indicado, A'B', A' B, AB, AB'.
Lo anterior tambin es vlido para el marcado de izquierda a derecha:
Una vez que el mapa K se ha llenado con ceros y unos, la expresi6n de suma de productos para
la salida X se puede obtener operando con OR aquellos que contienen un 1. En el mapa con tres
variables de la figura 11(b), los cuadrados A'B'C', A'BC', A BC' y ABC contienen un 1, de modo que X
= A'B'C' + A'B'C + A'BC' + ABC'.
Agrupamiento La expresin de salida X se puede simplificar adecuadamente combinando los
cuadros en el mapa K que contengan 1. El proceso para combinar estos unos se denomina
agrupamiento.
Agrupamiento de grupos de dos (pares) La figura 412(a) es el mapa K de una tabla de verdad
con tres variables. Este mapa contiene un par de unos que son verticalmente adyacentes entre si; el
primero representa A'BC' y, el segundo ABC'. Note que en estos dos trminos slo la variable A aparece
en forma normal y complementada (B y C' permanecen sin cambio). Estos dos trminos se pueden
agrupar (combinar) para dar un resultante que elimine la variable A, ya que sta aparece en forma
normal y complementada. Esto se demuestra fcilmente como sigue:

Este mismo principio es vlido para cualquier par de unos vertical u horizontalmente adyacentes. En la
figura B muestra un ejemplo de dos unos horizontalmente adyacentes. Estos se pueden agrupar y luego
eliminar la variable C, ya que aparecen en forma no complementada y complementada para dar una
resultante de X = A' B.
Otro ejemplo se da en la figura c. En un mapa K los cuadrados de los renglones superior e
inferior se consideran adyacentes. Asi, los dos unos en este mapa se pueden repetir para dar una
resultante de A'B'C' + AB'C' + B'C'.

La figura 412(d) muestra un mapa K que tiene dos pares de unos que se pueden agrupar. Los
dos unos en el rengln superior son horizontalmente adyacentes. Los dos unos en el rengln inferior
son, asimismo, adyacentes puesto que en un mapa K los cuadrados de las columnas de los extremos
izquierdo y derecho se consideran adyacentes. Cuando se agrupa el par superior de unos, la variable D
se elimina (ya que aparece como D y D') para dar el trmino A'B'C. El agrupamiento del par inferior
elimina la variable C para dar el trmino AB'C'. Estos dos trminos se operan con OR a fin de obtener
el resultado final para X. Para resumir lo anterior:

El agrupamiento de un par de unos adyacentes en un mapa K elimina la variable que aparece en


forma complementada y no complementada.

Agrupamiento de grupos de cuatro (cudruples) Un mapa K puede contener Un grupo de cuatro


unos que sean adyacentes entre s. Este grupo se denomina cudruple. La figura 413 muestra varios
ejemplos de cudruples. En la parte (a) los cuatro unos son verticalmente adyacentes y en la parte (b)
son horizontalmente adyacentes. El mapa K de la figura 4 13(c) contiene cuatro unos en un cuadrado
y se consideran adyacentes entre s. Los cuatro unos en la figura 413(d) tambin son adyacentes igual
que los de la figura 4 13(e) ya que, como mencionamos anteriormente. los renglones superior e
inferior y las columnas de los extremos izquierdo y derecho se consideran adyacentes entre s.
Cuando se repite un cudruple, el trmino resultante contiene slo las variables que no cambian
de forma para todos los cuadrados del cudruple. Por ejemplo, en la figura 4 13(a) los cuatro
cuadrados que contienen un 3uno son A'B'C, A'BC, ABC y AB'C. El anlisis de estos trminos revela
que solamente la variable C permanece sin alterarse (A y B aparecen en forma complementada y no
complementada). De este modo, la expresin resultante para X es simplemente X = C. Esto se puede
demostrar de la siguiente manera:

Para poner otro ejemplo, consideramos las figura 4 13(d), donde los cuatro cuadrados que
contienen unos son ABC'D', A'B'C'D', ABCD', y AB'CD'. El anlisis de estos trminos indica que slo
las variables A y D' permanecen sin cambios, as que la expresin simplificada para X es X = AD
Esto se puede probar de la misma manera anteriormente utilizada.
El lector debe verificar cada uno de los otros casos de la figura 4 13 para comprobar que sean
las expresiones indicadas para X. Para resumir:
El agrupamiento cudruple de unos elimina las dos variables que aparecen en la forma complementada

y no complementada.
Agrupamiento de grupos en ocho (octetos) Un grupo de ocho unos que son adyacentes entre s se
denomina octeto. En la figura 414 se dan varios ejemplos de octetos.

Porque solo una de ellas permanece inalterada. Por ejemplo, el anlisis de los ocho cuadrados
agrupados en la figura 14 14(a) muestra que so1o la variable B est en la misma forma para los ocho
cuadrados; las otras variables aparecen en forma complementada y no complementada. As, para este
mapa, X = B. El lector puede verificar los resultados de los otros ejemplos en la figura 4 14.
PASOS
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.

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
1
1
0
1
0
1
0

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

Condicin dont care


Una condicin dont care es una combinacin de entradas para las cuales la salida no importa si
es un 1 o un 0. Esto permite al diseador del circuito simplificar su implementacin ya que le permite
elegir el valor de salida ms favorable para sus intereses.
Un ejemplo de la aparicin de esta condicin dont care es la siguientes: supngase un circuito que a su
entrada recibe un cdigo BCD (de 4 bits) y que debe proporcionar una salida (0 o 1) en base a unas
ciertas especificaciones. Se har un ejemplo, en el que se indique con un 1 si el numero a la entrada es
primo, o lo que es lo mismo, si corresponde a los decimales 2, 3, 5, 7. Ver nmeros primos.
Como se recordar, el cdigo BCD nicamente representa los valores 09 en decimal. Debido a esto,
slo trabaja con 10 combinaciones de las 24 = 16 posibles. Esto quiere decir, que para las 6
combinaciones sobrantes la salida que proporcione el circuito es indiferente y constituyen condiciones
dont care. La tabla de verdad que reflejara este funcionamiento es la siguiente:
BCD
0
1
2
3
4
5
6
7
8
9
x
x
x
x
x
x

X3
0
0
0
0
0
0
0
0
1
1
1
1
1
1
1
1

X2
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1

X1
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
1

X0
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1

S
0
0
1
1
0
1
0
1
0
0
x
x
x
x
x
x

En esta tabla se ha incluido como primera columna el valor decimal BCD al que corresponde la combinacin de 4 bits,
X3,X2,X1,X0. A partir del valor 9 se puede observar que se han marcado con x el resto de combinaciones binarias ya que
no se utilizan en BCD.
La salida correspondiente a cada una de estas combinaciones binarias se marca tambin con x. De esta forma, se indica que
esa combinacin tiene la condicin dont care y que por tanto, el valor que aparezca en la salida no importa.

Ejemplos
Mapas K de 2 variables
Como ocurre para todos los Mapas K, el primer paso del procedimiento es el dibujo del mapa de
Karnaugh para el nmero de variables con las que se est trabajando. En este caso, el mapa de 2
variables: A y B, ser como el que se muestra en la siguiente figura:

Mapas K de 3 variables
Los mapas K de tres variables se realizan sobre un mapa como el que se muestra en la siguiente figura
para las variables A, B y C:
Mapa K de 3 variables

En este caso, se puede observar que se agrupan las variables AB para identificar las columnas dejando
la C para identificar las dos filas. Podra haberse hecho al revs (en un formato con dos columnas
asignado a 1 variable y cuatro filas asignado a 2 variables) sin que influya en el resultado final.
Simplemente, es necesario ser coherente en la aplicacin del mtodo a la hora de extraer la funcin
algebraica. Como se puede intuir, el procedimiento es el mismo aunque de aplicacin ms sencilla que
para el caso de 4 variables.
Mapas K de 5 variables
En este caso, al ser 5 variables, se dispondrn de 2^5 = 32 casillas. Para hacer una representacin del
mapa correspondiente a las variables A,B,C,D y E se debe realizar un grfico como el de la siguiente
figura:

El resultado es un mapa de Karnaugh de 4 variables, el primero de ellos para A= 0 y el segundo


para A=1. Las variables se han puesto en color azul y los valores numricos de las casillas de color
rojo.
Las variables se han ordenado de la forma ABCDE. Para comprobar esta circunstancia se puede
observar que la casilla identificada ABCDE = 00001 (mapa de la izquierda, primera columna, segunda
fila) tiene el valor decimal 1.
La aplicacin del procedimiento es similar al de 4 variables aunque a la hora de encontrar casillas
adyacentes, las casillas situadas en ambos mapas en la misma posicin relativa se tocan. Es decir, es
como si el mapa de la izquierda estuviera situado sobre el de la derecha de forma que las casillas
BCDE=0000 de ambos mapas son adyacentes y as con el resto de casillas cuyos valores BCDE sean

iguales.
Esto da lugar a una mayor posibilidad de combinaciones a la hora de realizar grupos (ahora tiene ms
sentido llamarlo cubos) y es necesario estar atento durante la realizacin del procedimiento.

También podría gustarte