MAPAS DE KARNAUGH

MANUEL VEGA PEREZ

UNIVERSIDAD DE SANTIAGO DE CHILE 1

MAPAS DE KARNAUGH

El mapa de Karnaugh es un mtodo grfico para representar y reducir una

expresin booleana a su mnima expresin. El mapa de Karnaugh muestra, tal
como lo hace la Tabla de Verdad, todas las posibles combinaciones de las
variables o seales de entrada y el valor de la salida para cada una de ellas.

La simplificacin de una funcin a travs de las propiedades del lgebra de Boole

requiere habilidad para aplicar las leyes y teoremas. Los Mapas de Karnaugh, en
cambio, sirven simplificar las funciones a travs de un mtodo grfico que nos
asegura que obtenemos las Suma de Productos o Producto de Sumas ms
simples posibles.

El mapa de Karnaugh est formado por un conjunto de celdas o casilleros. Cada

celda corresponde a cada una de las posibles combinaciones de las variables o
seales de entrada. El nmero total de celdas es igual a 2n, dnde n es el nmero
de variables o seales de entrada.

En las figuras siguientes, se muestran los mapas de Karnaugh de 2, 3 y 4

variables.

Cuando hay slo 2 variables, el nmero de celdas o casilleros del mapa es 22, es
decir 4, como se muestra en la Figura 1. En cada celda, se coloca el valor de la
funcin S (0 o 1) correspondiente a cada combinacin de variables A y B.

Figura 1 Tabla de Verdad y Mapa de Karnaugh de 2 variables: A y B

UNIVERSIDAD DE SANTIAGO DE CHILE 2

Cuando hay 3 variables, el nmero de celdas o casilleros es 23, es decir 8, como
se muestra en la Figura 2.

Figura 3.2 Tabla de Verdad y Mapas de Karnaugh de 3 variables: A, B y C

En este caso, el Mapa puede dibujarse de 2 formas: a) horizontal donde la

variable A est identificando las filas y las variables BC identifican las columnas y
b) vertical donde las variables AB identifican las filas y la variable C identifica las
columnas. Es importante destacar que las celdas estn ordenadas de modo que
entre una celda y la celda adyacente hay slo un bit que cambia. Por este motivo,
la secuencia es 00-01-11-10

Cuando hay 4 variables, el nmero de celdas o casilleros es 24, es decir 16, como
se muestra en la Figura 3

Figura 3.3 Mapa de Karnaugh de 4 variables: A, B, C y D

Cada combinacin de las variables de entrada de un circuito, donde la salida vale

1, corresponde a un producto de la funcin expresada como Suma de Productos.
En cada producto la variable aparece sin complementar si vale 1 y
complementada si vale 0.

UNIVERSIDAD DE SANTIAGO DE CHILE 3

Por otro lado, cada combinacin de las variables de entrada de un circuito, donde
la salida vale 0, corresponde a un sumando de la funcin expresada como
Producto de Sumas. En cada suma la variable aparece complementada si vale 1
y sin complementar si vale 0.

ORDENAMIENTO DE LAS CELDAS DE UN MAPA DE KARNAUGH

Las celdas estn ordenadas de manera tal que entre una celda y las celdas
adyacentes hay un solo cambio en el valor de las variables. Cada celda es
adyacente a las celdas que estn ubicadas inmediatamente junto a cualquiera de
sus 4 costados.

PROCEDIMIENTO DE SIMPLIFICACIN

El procedimiento de simplificacin de una funcin lgica, mediante el Mapa de

Karnaugh, est basado en las propiedades del Algebra de Boole y puede
resumirse en la siguiente ecuacin:

Aa + A = A(a + a) = A

Consideremos, a modo de ejemplo, una funcin S, de 2 variables, cuya Tabla de

Verdad es la siguiente:

Figura 4 Representacin de la salida S en el Mapa de Karnaugh

La funcin vale 1 para las combinaciones A=1 y B=0; y para A=1 y B=1.

A partir de la Tabla de Verdad, podemos expresar la funcin como Suma de

Productos o como Producto de Sumas.

Si la expresamos como Suma de Productos nos queda:

S = A B + AB

UNIVERSIDAD DE SANTIAGO DE CHILE 4

Usando el Algebra de Boole, aplicamos la propiedad distributiva, se tiene:

S = A(B+ B)

Aplicando la propiedad de complementacin, se tiene que (B+ B) = 1 y S = A x 1

Finalmente, aplicando la propiedad de idempotencia, la funcin se reduce a S = A

Ahora bien, el Mapa de Karnaugh nos permite, de manera simple, determinar

grficamente este resultado. Para estos efectos, enlazamos en el mapa, los dos
1s formando un subcubo cuyo valor es independiente de B, puesto que la funcin
vale 1 para B=0 y para B=1.

Este subcubo tiene el valor A, puesto que A vale 1 en ambas celdas.

Figura 5 Simplificacin de la funcin S mediante Karnaugh.

Consideremos ahora otro ejemplo: una funcin Q, cuya tabla de verdad es la

siguiente:

Figura 6 Representacin de la funcin Q en el Mapa de Karnaugh

UNIVERSIDAD DE SANTIAGO DE CHILE 5

Agrupemos las celdas adyacentes formando dos subcubos como se muestra en la
Figura 7

En este ejemplo, podemos formar dos

subcubos. Observa que un 1 puede
pertenecer a ms de un subcubo a la
vez.

Figura 7 Simplificacin de la funcin Q mediante Karnaugh

El primer grupo o subcubo (indicado con color rojo en la Figura 7) est formado
por dos 1s que corresponden a las coordenadas A = 1, B = 0 y A = 1, B = 1. En
ambas celdas, la variable A es igual a 1, independientemente del valor de B. Por
lo tanto, cuando A = 1, no importando el valor de B, la salida es igual a 1. En
consecuencia, el primer valor de la Suma de Productos es A. En otras palabras, el
primer trmino de la expresin de salida ser A.

El segundo subcubo (en color azul), se caracteriza porque independientemente del

valor que tome A, siempre B es 0. Entonces, este subcubo es igual a B. En otras
palabras, cuando B = 0, la salida S es 1. En resumen, la simplificacin, a travs
del mapa, nos indica que la salida del circuito ser: S= A + B

Caractersticas de los subcubos:

Los subcubos solamente pueden estar formados por 2, 4, 8, 16, etc., celdas
adyacentes (es decir, el nmero de celdas de un subcubo debe ser
potencia de 2).
Podemos agrupar ceros o unos, segn trabajemos con Producto de Sumas
o Sumas de Productos, respectivamente.
Los subcubos pueden formarse con celdas contiguas horizontales o
verticales, pero nunca entre celdas diagonales, ni mezclando 0s y 1s.
Para lograr la mxima simplificacin, cada subcubo debe ser lo ms grande
posible. En el ejemplo de la Figura 8 se ha formado 3 subcubos. Cada uno
de ellos enlaza dos 1s. Con esto, simplificamos la expresin, pero no
obtenemos una simplificacin mxima.

BC
A 00 01 11 10
0 0 0 1 1

1 1 1 1 1

Figura 8 Simplificacin Deficiente S = AB + AB + AB

UNIVERSIDAD DE SANTIAGO DE CHILE 6

En cambio en la Figura 9, hemos enlazado 2 subcubos de cuatro 1s cada uno,
formando as los grupos ms grandes posibles. La funcin S, en este caso, se
reduce a A + B. Debe tomarse en cuenta que los subcubos deben ser siempre
potencias de 2 y que no importa que un 1 pertenezca a ms de un subcubo.

Figura 9 Simplificacin correcta S= A + B

Puede existir solapamiento de subcubos, es decir, los elementos de un

subcubo pueden pertenecer a otro, como se muestra en la Figura 9.
Segn el mtodo escogido, cada elemento (0s 1s) debe pertenecer
como mnimo a un subcubo.

Las celdas de la fila inferior son adyacentes con las celdas de la fila superior.
Del mismo modo, las celdas de la columna de la extrema izquierda son
adyacentes con las celdas de la extrema derecha. En la Figura 10, se muestra
la simplificacin de un mapa de Karnaugh que ilustra este caso.

CD
AB 00 01 11 10

00 0 1 0 0

01 1 0 0 1

11 1 0 0 1

10 0 1 0 0

Figura 10 Simplificacin correcta S = BCD + BD

UNIVERSIDAD DE SANTIAGO DE CHILE 7

 Tambin puede formarse un grupo con las celdas ubicadas en las cuatro
esquinas del mapa, como se muestra en la Figura 11.

CD
AB 00 01 11 10

00 1 0 0 1

01 0 0 0 0

11 0 0 0 0

10 1 0 0 1

Figura 11 Simplificacin correcta S = BD

REPRESENTACIN SIMPLIFICADA DE LOS MAPAS DE KARNAUGH

Se acostumbra a representar los Mapas de Karnaugh, indicando las

combinaciones de las variables donde la funcin vale 1 o donde vale 0. Si se
indica donde la funcin vale 1, se utiliza el smbolo sigma () que representa la
Suma de Productos. Si se indica donde la funcin vale 0, se utiliza el smbolo pi
() que representa el Producto de Sumas. Las combinaciones de las variables, se
indican en esta representacin con el valor decimal de la combinacin y no con el
valor binario.

En la Figura 12, se muestra un Mapa de Karnaugh que puede representarse en

forma simplificada como F(a,b,c) = (1,3,4,6 ). Esta representacin indica que la
funcin F tiene el valor 1 en las combinaciones de las variables: 1(001), 3(011),
4(100) y 6(110). En todas las otras combinaciones, la funcin F tiene el valor 0.

Figura 12 Representacin de una Suma de Productos en un Mapa de Karnaugh

UNIVERSIDAD DE SANTIAGO DE CHILE 8

El mismo mapa se puede representar tambin como F(a,b,c) = ( 2,5,6,7), tal
como se indica en la Figura 13. En este caso, la funcin F tiene el valor 0 en las
combinaciones 2(010), 5(101), 6(110) y 7(111). En todas las otras combinaciones,
la funcin F tiene el valor 1.

Figura 13 Representacin de un Producto de Sumas en un Mapa de Karnaugh

UNIVERSIDAD DE SANTIAGO DE CHILE 9