11/05/2012

Mapas de Karnaugh
Es una representacin grfica de una tabla de verdad, y existe
una asociacin unvoca entre ambas.
La tabla de verdad tiene una fila por cada mintrmino,
mientras que el mapa de Karnaugh tiene una celda por cada
mintrmino.
Existe una correspondencia unvoca entre las filas de la tabla
de verdad y las celdas del mapa de Karnaugh si se utilizan
maxtrminos.

CHA/UDEP/2003

Funciones y variables

g=/A

f=A

Consideremos ahora dos variables A y B

que deben tener una representacin en
K. Cuatro son las formas posibles de
combinar A y B:
A=0 y B=0,
A=0 y B=1,
A=1 y B=0,
A=1 y B=1.
CHA/UDEP/2003

11/05/2012

Mapas de Karnaugh de 2 variables

Sea f una funcin de 2
variables f (A,B)
Para elaborar el mapa
de Karnaugh
tendremos 22 = 4
combinaciones.
La tabla de verdad
con la lista de los
mintrminos y el lugar
que ocupa cada uno
de ellos en un mapa.

CHA/UDEP/2003

Mapas de Karnaugh de 3 variables

Sea f una funcin de 3
variables:f (A,B,C)
Para el mapa de Karnaugh
tendremos 23 = 8
combinaciones.
Es importante colocar las
variables en el orden indicado
de mas significativo a menos
significativo (A, B, C).
Debe haber ADYACENCIA LOGICA: que entre
una casilla y otra, en forma horizontal o vertical
solo cambie una variable.
Ejemplo la casilla:

2 (010) es adyacente a la 0 (000) (cambia B),

2 (010) es adyacente a la 3 (011) (cambia C) y a la
2 (010) es adyacente a la 6 (110) (cambia A).

CHA/UDEP/2003

11/05/2012

Mapas de Karnaugh de 4 variables

Sea f una funcin de 4
variables: f (A,B,C,D)
Tendremos 24 = 16
combinaciones.
Obtenemos el mapa.
Cuidar el orden en que se
colocan las variables A, B,C
y mas significativo a menos
significativo.
Para las columnas AB, las
filas CD siguen el orden 00,
01, 11, 10 para que haya
adyacencia lgica

CHA/UDEP/2003

Mapas de Karnaugh de 5 variables

Sea f una funcin de 5 variables:f (A,B,C,D,E)

Para elaborar el mdk tendremos 25 = 32 combinaciones.
Ahora una casilla, adems de ser adyacente en forma horizontal o vertical,
es adyacente a la casilla que ocupa la misma posicin en el cuadrado
cercano.
Ejemplo:

la casilla 15(01111) es adyacente al las casillas 13, 7, 14, 11 y a la 31(1111)

Esto porque cambia una sola variable entre una casilla y otra.
CHA/UDEP/2003

11/05/2012

Mapas de Karnaugh de 6 variables

Sea f una funcin de 6
variables: f (A,B,C,D,E,F)
Tendremos 26 = 64
combinaciones.
Ahora una casilla, adems
de ser adyacente en forma
horizontal o vertical, es
adyacente a la casilla que
ocupa la misma posicin
en el cuadrado cercano
horizontal y en el cuadrado
cercano vertical.
Ejemplo:

La casilla 10 (001010) es
adyacente a las casillas
11(001011), 14(001110),
8(001000), 2(000010) y a
las casillas 26(011010) y
42 (101010)

CHA/UDEP/2003

Simplificacin de funciones con

mapas de Karnaugh
Utilizaremos los Mapas de Karnaugh
para obtener una funcin mnima de
dos niveles Suma de Productos (sdp).
Una expresin de dos niveles sdp se
considerar la expresin mnima si:

No existe otra expresin equivalente

que incluya menos productos.
No hay otra expresin equivalente
que conste con el mismo numero de
productos, pero con un menor numero
de literales.

La minimizacin de funciones sobre el

mapa de Karnaugh se aprovecha del
hecho de que las casillas del mapa
estn arregladas de tal forma que
entre una casilla y otra, en forma
horizontal o vertical existe
ADYACENCIA LOGICA
CHA/UDEP/2003

11/05/2012

Agrupando trminos adyacentes

Agrupando casillas adyacentes
obtenemos trminos productos que
eliminan las variables que se
complementan, resultando esto en una
versin simplificada de la expresin.
Ser esta la funcin mnima?

CHA/UDEP/2003

Agrupando de mayor a menor en 8,4,2,1

Es importante que al "tomar" un

uno, se agrupe con todos los
unos adyacentes, aunque estos
uno sean parte de otros grupos.
Fjese que el mintrmino 13
(11002) es comn a los tres
trminos.

CHA/UDEP/2003

11/05/2012

Procedimiento
Cada casilla (mintrmino) en un MDK de n variable tiene n casillas
adyacentes, cada par de casillas defiere en una variable.
Agruparemos un nmero de mintrminos que sea potencia de dos.
Al agrupar 2n casillas eliminamos n variables.
Agrupar tantas casillas como sea posible; cuanto mayor sea el grupo,
el termino producto resultante tendr menos literales.
Incluir todos los "unos" adyacentes a un mintrmino que sea igual a
uno.
Debemos formar el menor numero de grupos posibles que cubran
todas las casillas (mintrminos) que sean iguales a uno.
Un "uno" puede ser utilizado por varios grupos, no importa si los
grupos se solapan. Si un grupo est incluido completamente en otro
grupo, o sus "unos" estn cubiertos por otros grupos, no hace falta
incluirlo como termino.

CHA/UDEP/2003

Terminologa para la simplificacin: Implicante,

Implicante Primo, Implicante Primo Esencial
Implicante:
Conjunto de unos en un MDK que representa un
termino producto de variables. Se denomina implicante
porque cuando este termino toma el valor 1, implica que
tambin la funcin toma el valor 1. Un mintrmino solo
es un implicante.
Implicante Primo:
Implicante que no est incluido completamente dentro
de otro implicante. No puede combinarse con otro
implicante para eliminar un literal.
Implicante Primo Esencial:
Implicante primo que contiene uno o mas mintrminos
que no estn incluidos en cualquier otro implicante
primo.

CHA/UDEP/2003

11/05/2012

Implicante,
implicante primo
implicante primo esencial
Los trminos I, II y III son
implicantes primos, el termino
IV no es implicante primo
Los trminos I y III son
implicantes primos esenciales,
el termino II no es un
implicante primo esenciales
La funcin se obtiene con los
trminos I y III.
El termino IV no es implicante
primo.

CHA/UDEP/2003

Algoritmo de minimizacin con MDK

1. Identificar los implicantes primos, buscando
que tengan la mayor cantidad de unos
adyacentes. Los grupos deben contener un
numero de unos que son potencias de 2.
2. Identificar todos los implicantes primos
esenciales
3. La expresin mnima se obtiene seleccionando
todos los implicantes primos esenciales y el
menor numero de implicantes primos para
cubrir los mintrminos no incluidos en los
implicantes primos esenciales.
CHA/UDEP/2003

11/05/2012

Ej: Simplificar la funcin f(A,B,C,D)

Ejemplo para 4 variables

CHA/UDEP/2003

Ejemplo: Programa
AB:

00

01

11

10

CD:

00

01

11

10

CHA/UDEP/2003

11/05/2012

Minimizacin en MDK de 5 variables: ABCDE

CHA/UDEP/2003

Minimizacin en MDK de 5 variables:

ABCDE

CHA/UDEP/2003

11/05/2012

Minimizacin en MDK de 6 variables:

ABCDEF

CHA/UDEP/2003

Funciones no especificadas completamente

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.

CHA/UDEP/2003

10

11/05/2012

Sistemas Numricos
Algoritmos Bsicos

11