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 mnima). Tiene como caractersticas:
Un mnimo nmero de trminos en la expresin.
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 o uno. El
resultado de esta expresin es un valor booleano para cada uno de los valores que
tomen dichas variables.
OBJETIVOS
Disear circuitos digitales utilizando el mtodo de reduccin por mapas K.
Construir circuitos digitales a partir una tabla de verdad utilizando el mtodo de
mapas K.
MARCO TERICO
MAPAS DE KARNAUGH
Un mapa de Karnaugh es una representacin grfica de una funcin lgica a partir de
una tabla de verdad. El nmero de celdas del mapa es igual al nmero de
combinaciones que se pueden obtener con las variables de entrada. Los mapas se
pueden utilizar para 2, 3, 4 y 5 variables.
Mapa de Karnaugh empleando Suma de Productos (SDP)
La simplificacin de expresiones lgicas mediante el mapa de Karnaugh utiliza un
mtodo grfico basado en la Suma de Productos.
Mapa de Karnaugh de tres variables
El mapa de Karnaugh se construye a partir de la tabla de verdad de la funcin lgica. El
mapa por medio de una matriz de 8 celdas, representa los ocho mintrminos posibles
que se pueden obtener con tres variables, en un arreglo de una matriz de 2x4. Por
tanto, la primera fila contiene el primer valor posible ("0") y la segunda fila el valor
("1").
Las variables 2 y 3 se agrupan por columna y se distribuyen en las cuatro columnas de
acuerdo a las combinaciones posibles para obtener los mintrminos requeridos. Sus
valores son 00, 01, 10 y 11. Por ejemplo, la celda m2 corresponde al mintrmino 2,
ubicado en la fila 0 y la columna 10. La unin de estos dos nmeros da el nmero 010,
cuyo equivalente es el trmino ABC el decimal 2. La tabla 2.4.1. muestra el mapa
de Karnaugh para 3 variables.
Lnea A B C Mintrmino Mintrmino m
x
Funcin de Salida
0 0 0 0 ABC m
0
F(0,0,0)
1 0 0 1 ABC m
1
F(0,0,1)
2 0 1 0 ABC m
2
F(0,1,0)
3 0 1 1 ABC m
3
F(0,1,1)
4 1 0 0 ABC m
4
F(1,0,0)
5 1 0 1 ABC m
5
F(1,0,1)
6 1 1 0 ABC m
6
F(1,1,0)
7 1 1 1 ABC m
7
F(1,1,1)


La caracterstica de ordenamiento de un mapa de Karnaugh radica en el cambio de un
solo bit en los trminos de las celdas adyacentes de filas y columnas. En la tabla 2.4.1.
las entradas BC se colocan secuencialmente, cambiando cada vez una sola variable, por
eso resulta el orden: 00, 01, 11 y 10. En la interactividad 2.4.1., la pulsacin de cada
cuadro activa el mintrmino correspondiente.

Por ejemplo, la variable C est negada en m4 y m5 no lo est, mientras que A y B no
cambia. Las celdas de los bordes superior e inferior e izquierdo y derecho tambin
cumplen esta condicin al agruparlas unas a otras. En el teorema 12 de la leccin 1, se
demuestra que la suma de los trminos mnimos en celdas adyacentes pueden ser
simplificadas en un trmino AND de dos literales. Por consiguiente, aplicando el
teorema para los trminos m4 y m5 del mapa se tiene:
m
4
+ m
5
= ABC + ABC = AB(C+C) = AB
Los trminos m
4
y m
6
se pueden asociar de la misma forma:
m
4
+ m
6
= ABC + ABC = AC(B+B) = AC
EJEMPLO
Simplificar la funcin F
1
= (m
3
, m
4
, m
5
, m
6
, m
7
).
F
1
= (m
3
, m
4
, m
5
, m
6
, m
7
) = ABC + ABC+ ABC + ABC+ ABC
Aplicando el teorema 6 de la leccin 1 para el trmino ABC.
F
1
= (m
3
, m
4
, m
5
, m
6
, m
7
) = (m
4
, m
5
, m
6
, m
7
) + (m
3
, m
7
) = *ABC+ ABC + ABC+
ABC+ + *ABC + ABC+.
El primer trmino en la sumatoria es el grupo 1 y el segundo trmino corrresponde al
grupo 2. En un mapa de karnaugh, los mintrminos de cada grupo se relacionaran a
travs de lazos independientes.
Desarrollando la expresin,
F
1
= *AB(C+C) + AB(C+ C)+ + *BC(A+A)+= AB(1) + AB(1) + BC(1) = A(B+B) + BC
= A + BC.
El mapa se construye colocando un 1 en las celdas correspondientes a los mintrminos
presentes en la funcin de salida. Por ejemplo, para el trmino F(1,1,0)= ABC = 1 se
situara un 1 en la celda 110. Para los mintrminos no presentes en la funcin se pone
un 0. Por ejemplo el trmino F(0,0,1)= AB'C = 0, ser una celda con valor 0 en la celda
001.
Despus de situar los unos en el mapa, se procede con la agrupacin de 1s, la
determinacin del trmino producto correspondiente a cada grupo y la suma de los
trminos producto obtenidos. La determinacin del trmino producto se realiza de
acuerdo los siguientes criterios:
1. Una celda representa un mintrmino, dando como resultado un trmino de cuatro
literales.
2. Dos celdas agrupadas pueden representar la asociacin de dos mintrminos, dando
como resultado un trmino de dos literales.
3. Cuatro celdas agrupadas pueden representar la asociacin de cuatro mintrminos,
dando como resultado un trmino de un literal.
4. Ocho celdas agrupadas representan un valor de funcin igual a 1.
Ejemplo
Sea la funcin del ejemplo anterior, simplificarla por medio del mtodo del mapa.
La tabla de verdad del ejemplo anterior es la siguiente:
Lnea A B C Salida F
0 0 0 0 0
1 0 0 1 0
2 0 1 0 0
3 0 1 1 1
4 1 0 0 1
5 1 0 1 1
6 1 1 0 1
7 1 1 1 1
El mapa de Karnaugh se configura de acuerdo a los mintrminos iguales a 1 y las celdas
se agrupan.

El primer grupo se forma con los mintrminos m4, m5, m6 y m7 y el segundo grupo
con los mintrminos m3 y m7.
Del primer grupo resulta el trmino A ya que para las cuatro columnas de la tabla
existen transiciones entre las variables B y C. El segundo grupo da como resultado el
trmino BC por el cambio existente en la variable A.
En total, la funcin queda reducida a la expresin: F
1
= A + BC
MAPA DE KARNAUGH DE CUATRO VARIABLES
La construccin de un mapa de Karnaugh de 4 variables es similar al de 3 variables. La
diferencia radica en el nmero de variables de entrada. El mapa por medio de una
matriz de 16 celdas, representa los 16 mintrminos posibles (24) que se pueden
obtener con cuatro variables de entrada, en un arreglo de 4 x 4. La disposicin de
celdas en el mapa se muestra en la tabla 2.4.3.
Lnea A B C D Mintrmino Mintrmino m
x
Funcin de Salida
0 0 0 0 0 ABCD m
0
F(0,0,0,0)
1 0 0 0 1 ABCD m
1
F(0,0,0,1)
2 0 0 1 0 ABCD m
2
F(0,0,1,0)
3 0 0 1 1 ABCD m
3
F(0,0,1,1)
4 0 1 0 0 ABCD m
4
F(0,1,0,0)
5 0 1 0 1 ABCD m
5
F(0,1,0,1)
6 0 1 1 0 ABCD m
6
F(0,1,1,0)
7 0 1 1 1 ABCD m
7
F(0,1,1,1)
8 1 0 0 0 ABCD m
8
F(1,0,0,0)
9 1 0 0 1 ABCD m
9
F(1,0,0,1)
10 1 0 1 0 ABCD m
10
F(1,0,1,0)
11 1 0 1 1 ABCD m
11
F(1,0,1,1)
12 1 1 0 0 ABCD m
12
F(1,1,0,0)
13 1 1 0 1 ABCD m
13
F(1,1,0,1)
14 1 1 1 0 ABCD m
14
F(1,1,1,0)
15 1 1 1 1 ABCD m
15
F(1,1,1,1)

Por ejemplo, la celda m
9
corresponde al mintrmino 9, ubicado en la fila 10 y la
columna 01. La unin de estos dos nmeros da el nmero 1001, cuyo equivalente es el
trmino ABCD - el decimal 9.
La minimizacin por medio de un mapa de 4 variables se puede efectuar con las celdas
adyacentes entre s y las celdas de los bordes que se pueden concatenar para reducir
la expresin. Por ejemplo, m
13
y m
15
son celdas adyacentes as como m
0
, m
8
, m
2
y m
10
.
El mapa se construye colocando un 1 en las celdas correspondientes a los mintrminos
presentes en la funcin de salida. Por ejemplo, para el trmino F(1,1,0,0)= ABCD = 1
se situara un 1 en la celda 1100. Para los mintrminos no presentes en la funcin se
pone un 0. Por ejemplo el trmino F(1,1,1,1)= ABCD = 0, ser una celda con valor 0
en la celda 1111.
Igual que en el mapa de 3 variables, se procede con la agrupacin de 1s, la
determinacin del trmino producto correspondiente a cada grupo y la suma de los
trminos producto obtenidos.
Las reglas para reducir trminos en un mapa de Karnaugh de 4 variables son las
siguientes:
1.Una celda representa un mintrmino, dando como resultado un trmino de cuatro
literales.
2. Dos celdas agrupadas pueden representar la asociacin de dos mintrminos, dando
como resultado un trmino de tres literales.
3.Cuatro celdas agrupadas pueden representar la asociacin de cuatro mintrminos,
dando como resultado un trmino de dos literales.
4.Ocho celdas agrupadas pueden representar la asociacin de ocho mintrminos,
dando como resultado un trmino de un literal.
5. Diecisis celdas agrupadas pueden representan un valor de funcin igual a 1.
Ejemplo
Simplquese la funcin de Boole F
2
= (m
1
, m
3
, m
8
, m
10
, m
12
, m
14
)

El primer grupo se forma con los mintrminos m
1
y m
3
y el segundo grupo se forma con
los mintrminos m
8
, m
10
y m
12
, m
14
.
Del primer grupo resulta el trmino ABD ya que en la columna 1 no se presentan
cambios para las variables A y B y se presenta transicin en la variable C en las
columnas 2 y 3. El segundo grupo da como resultado el trmino AD. La razn radica
en la simplificacin de la variable B en la tercera y cuarta fila y en la variable C en la
primera y cuarta columna.
Sumando los mintrminos obtenidos se tiene la ecuacin simplificada:
F
2
= ABD + AD
MAPAS DE KARNAUGH EMPLEANDO PRODUCTO DE SUMAS (PDS)
La simplificacin de expresiones lgicas mediante el mapa de Karnaugh tambin es
posible mediante el mtodo de producto de sumas. En este mtodo, cada celda
representa un maxtrmino.
La construccin del mapa es similar a la suma de productos. La diferencia radica en que
cada celda representa un maxtrmino. Por ejemplo, la celda m
2
corresponde al
maxtrmino 2, ubicado en la fila 0 y la columna 10. La unin de estos dos nmeros da
el nmero 010, cuyo equivalente es el trmino A+B+C. La figura 2.4.3. muestra el
mapa de Karnaugh para 3 variables.

La representacin de la funcin lgica se hace simplemente copiando los ceros de la
tabla de verdad en las celdas del mapa. Este mtodo es ms apropiado cuando en la
columna de resultados de la tabla de verdad predominan los ceros.
Ejemplo
Utilizar el mapa de Karnaugh para minimizar el producto de sumas,
F
3
= (A+B+C)(A+B+C)(A+B+C)(A+B+C)
Los maxtrminos se trasladan a cada una de las celdas del mapa de Karnaugh y las
celdas se agrupan.

El trmino suma para cada grupo se muestra en la figura y la suma de productos
resultante es:
F
3
= C
Ejemplo
Utilizar el mapa de Karnaugh para minimizar el producto de sumas,
F
4
=
(A+B+C+D)(A+B+C)(A+B+C+D)(A+B+C+D)(A+B+C+D)(A+B+C+D)(A+B+C+D)
(A+B'+C+D)
El segundo trmino tiene que ampliarse a (A+B+C+D)(A+B+C+D). La funcin
completa se pasa al mapa de karnaugh


El trmino suma para cada grupo se muestra en la figura 2.4.5. y el producto de sumas
resultante es:
F
4
= (A+C+D)(B'+D')(A'+D')
CONDICIONES DE NO IMPORTA
Hasta el momento se ha asumido que la funcin es igual a 0 en los casos donde la
funcin no es igual a 1. En algunas aplicaciones esta suposicin no es siempre
verdadera ya que existen combinaciones de entrada que no presentan. En un mapa de
Karnaugh estas combinaciones de entrada sirven de herramienta para simplificar la
funcin y su representacin se hace por medio de una X en la celda del mapa. Segn la
agrupacin que convenga se asume un valor de 1 0 para la X con el fin de obtener la
expresin ms simple.
Ejemplo
Simplificar la funcin de Boole F
5
= S (m
0
, m
4
, m
7
, m
9
) con condiciones de importa, NI =
S (m
1
, m
5
, m
11
, m
14
).
Los mintrminos se marcan con un 1, las condiciones de no importa con una X y las
celdas restantes con 0.
El mapa de Karnaugh de la funcin F
5
se muestra en la figura.

En suma de productos obtenemos,
F
5
= ACD + A'BC + ABCD + AB'D
CONCLUSIONES
Con forme a lo desarrollado en el presente trabajo, podemos asegurar que el mtodo
de mapas de Karnaugh son una herramienta sumamente practica durante la
implementacin de circuitos digitales, ya que al permitirnos simplificar la expresin
original obtenida de la tabla de verdad que deseamos alcanzar a una ms sencilla que
cumple el mismo objetivo, logramos una importante reduccin de costos, una mejor
eficiencia en el consumo energtico y un circuito final simplificado. A su vez, nos
explica terminologa bsica para entender de una mejor manera la tcnica aplicada, as
de ejemplos de aplicacin con tres y cuatro variables, que nos permiten verde una
manera cual es la forma en la que se aplica en cada uno de los casos para obtenerla
mejor expresin equivalente que sea posible.
BIBLIOGRAFA
[1] http://www.virtual.unal.edu.co/cursos/ingenieria/2000477/lecciones/020401.htm
[2] http://www.dma.fi.upm.es/java/matematicadiscreta/karnaugh/metodokar.htm
[3] http://es.wikipedia.org/wiki/Mapa_de_Karnaugh