MÉTODO DEL MAPA DE KARNAUGH

El método del mapa de Karnaugh es un método gráfico para simplificar expresiones

booleanas de seis o menos variables expresadas en forma de suma de productos y que
representan circuitos combinacionales.

Un mapa de Karnaugh ( mapa K ) es un diagrama que consiste en cuadrados.

Si la expresión booleana contiene n variables, el mapa K correspondiente tendrá 2 n
cuadrados, cada uno de los cuales representa un minitérmino.

Se coloca un "1" en el cuadrado que representa un minitérmino si éste se encuentra

presente en la expresión dada. Se pone "0" en el cuadrado que corresponde al
minitérmino no presente en la expresión. La expresión booleana simplificada que
representa la salida se obtiene entonces al combinar o al agrupar cuadrados adyacentes
que contienen el número 1 .

Lo cuadrados adyacentes son aquellos que representan minitérminos que difieren sólo
por una literal. Para identificar celdas (cuadrados) adyacentes en el mapa K con el fin de
realizar el agrupamiento, deben tenerse en cuenta los siguientes puntos:

1.El número de celdas en un grupo debe ser una potencia de 2, esto es, 2,4,8,16, etc.

2.Una celda que contenga un 1 puede incluirse en cualquier número de grupos.

3. Para minimizar la expresión al grado máximo posible, deben preferirse los grupos más
grandes que puedan formarse. Es decir, no debe considerarse un grupo de dos celdas, si
estas celdas pueden incluirse en grupo de cuatro celdas, etc.

4. Existen celdas adyacentes no sólo dentro del interior del mapa K , sino también en los
extremos de cada columna y de cada renglón; es decir, la celda superior en cualquier
columna es adyacente a la celda inferior en la misma columna. La celda más a la
izquierda en cualquier renglón es adyacente a la celda más a la derecha en ese renglón,
tal como se observa en las figuras.
(d) Todas la formas posibles de lazos simples de cuatro celdas para cuatro variables
(e) Todas la formas posibles de lazos simples de ocho celdas para cuatro variables

Los mapas de Karnaugh para 2 y 3 variables en dos formas para cada una de ellas se
indica en las figuras. Los minitérminos que representan las celdas se escriben dentro de
estas mismas.
DEFINICIONES

1.Un minitérmino de n variables booleanas es un producto booleano de las n literales

en las cuales cada literal aparece una vez.
Por ejemplo: ab, a ' b, ab' y a ' b' forman el conjunto completo de minitérminos de dos
variables a y b

2. Un maxitérmino de n variables booleanas es una suma booleana de las n literales en

las cuales cada literal aparece exactamente una vez.
Por ejemplo: a  b, a ' b, a  b' y a ' b' forman el conjunto completo de maxitérminos
de dos variables a y b

3. Cuando una función booleana se expresa como un producto de maxitérminos, recibe el

nombre de suma de expansión de productos o se dice que está en forma normal
conjuntiva (FNC)

4. Cuando una función booleana se expresa como una suma de minitérminos, recibe el
nombre de producto de expansión de sumas o se dice que está en forma normal
disyuntiva (FND)

5.Se dice que la función booleana expresada en la FND o la FNC está en forma
canónica

6. Si una función booleana en n variables se expresa como la suma (producto) de todos

los 2 n minitérminos (maxitérminos), se dice que está en FND completa (FNC completa)

7. Se dice que las funciones booleanas expresadas en FND completa o en FNC completa
están en forma canónica completa.

EXPRESIÓN DE UNA FUNCIÓN BOOLEANA EN FORMA CANÓNICA

1.Método de la tabla de verdad

Por ejemplo, Considere una función booleana f ( x , y, z ) cuya representación en la tabla

de verdad se da de la siguiente manera:

x y z f
1 1 1 0
1 1 0 1
1 0 1 1
1 0 0 1
0 1 1 0
0 1 0 0
0 0 1 0
0 0 0 0

Luego, f ( x , y, z )  xyz' xy' z  xy' z ' está en su FND

La FNC de f es el producto booleano de los maxitérminos correspondientes a las
literales en esos renglones. Mientras se forma el maxitérmino correspondiente a un
renglón, la entrada 0 se sustituye por la variables correspondiente y la entrada 1 por el
complemento de la variable respectiva. Por lo tanto , en el ejemplo se tiene que
f ( x , y, z )  ( x ' y' z ' )( x  y' z ' )( x  y' z )( x  y  z ' )( x  y  z ) está en su FNC

2. Método algebraico
Expresar f ( x , y, z )  x ( y' z ' ) en FND
Solución
f ( x , y, z)  x ( y' z ' )
f ( x , y, z )  xy' xz'
f ( x, y, z )  xy' (z  z ' )  xz' ( y  y' )
f ( x , y, z)  xy' z  xy' z' xz ' y  xz' y'
f ( x , y, z )  xy' z  xy' z' xyz'

Expresar f ( x , y, z )  x ( y' z ' ) en FNC

Solución
f ( x , y, z)  x ( y' z ' )
f ( x , y, z )  ( x  yy' )( y' z' xx ' )
f ( x , y, z)  ( x  y)( x  y' )( y' z ' x )( y' z ' x ' )
f ( x , y, z )  ( x  y  zz ' )( x  y' zz ' )( y' z ' x )( y' z ' x ' )
f ( x , y, z)  ( x  y  z)(x  y  z' )(x  y' z)(x  y' z' )(x  y' z' )(x ' y' z' )
f ( x , y, z )  ( x  y  z )( x  y  z ' )( x  y' z )( x  y' z ' )( x ' y' z ' )

Ejercicios
Simplificar las siguientes funciones booleanas usando el Mapa de Karnaugh

1. F  x ' y  xy' xy
2. F  x ' y' x ' y  xy
3. Dada la tabla de verdad, escribir la función booleana canónica y simplificarla

x y F
0 0 1
0 1 0
1 0 1
1 1 1

4. F  x ' y' xy' xy

5. F  xyz' xy' z ' x ' y' z  x ' yz
6. F  xyz' xy' z' x ' y' z ' x ' y' z
7. F  x ' y' z  x ' yz  x ' yz' xy' z  xyz
8. F  xy' z ' xy' z ' x ' y' z  x ' yz'
9. F  a ' bc  abc  ab' c'abc'
10. F  a ' b' c  abc  ab' c' a ' b' c' a ' b' c
11. F  ab' c' abc' abc  ab' c  a ' b' c
12. F  ab' c' abc' a ' bc  a ' b' c  a ' b' c  ab'
13. F  ab  ab' c' a ' b' c
14. F  ab' ab' c' a ' b' c  a ' (ab  a ' )
15. F  x ' yz  xz
16. F  ab' c' ab' c  abc' a ' bc'
17, F  a ' b' c  a ' bc  ab' c  abc  abc'
18. F  a ' b' c' a ' b' c  ab' c' ab' c  abc'
19. F  a ' b' c'a ' bc  a ' b' c  ab' c  abc'abc
20. F  a ' b' c' a ( b.a ' )' abc
21. F  a ' b' c' d ' a ' bc' d ' a ' b' cd ' a ' bcd' ab' c' d ' ab' c' d
22. F  a ' b' c' d  a ' bc' d ' a ' b' c' d ' a ' b' cd' ab' c' d ' ab' c' d
23.
F  a ' b' c' d'a ' bc' d 'a ' b' c' d  a ' bc' d  a ' bc' d  a ' b' cd  a ' bcd  a ' b' cd'a
24. F  a ' b' c' d ' a ' bc' d ' a ' b' cd ' a ' bcd' ab' c' d ' ab' c' d
25.
F  a ' b' c' d' a ' b' c' d  abc' d'abc' d  abcd  abcd'a ' b' cd  ab' cd ' ab' c' d
26. F  c' d  ab' cd'ab' c' d' abc' d' b' cd  ab'
27 F  c' d  ab' cd 'ab' c' d 'abc' d ' bcd
28. F  a ' b' cd  a ' bcd  ab' cd  ab' cd  a ' b' cd'a ' bcd'
29. F  a ' b' cd' ab' cd'abcd'abcd  abc' d  abc' d '
30. F  a ' b' c' a ' b' cd'a ' bcd' abcd'ab' cd' ab' c' d '
31. F  a ' b' c  a ' c(b' ac' )  ab' c' abc
32. F  b' d ' (a ' c  ac)  a ' bc' d  bcd(a 'a )  a ' bcd'abcd'