ELO211: Sistemas Digitales Toms Arredondo Vidal 1er Semestre 2009

Este material est basado en:

textos y material de apoyo:

Borriello and Randy Katz. Prentice Hall, 1994, 2005 material del curso ELO211 del Prof. Leopoldo Silva material en el sitio http://es.wikipedia.org

Contemporary Logic Design 1st / 2nd edition. Gaetano

5: Karnaugh

5-Mapas de Karnaugh
5.1 Representacin y mapas de diferentes dimensiones 5.2 Generalizaciones sobre mapas de Karnaugh 5.3 Ejemplos de uso de mapas de Karnaugh

5: Karnaugh

Representacin
Los mapas de Karnaugh tambin permiten

visualizar las funciones booleanas en espacios n-dimensionales discretos. Las representaciones grficas estn restringidas a valores de n pequeos (<6).

5: Karnaugh

Representacin
Existe una relacin uno a uno entre un mapa

y una tabla de verdad. El mapa tambin puede ser considerado una representacin equivalente a los diagramas de Venn. Una tabla tiene un rengln por cada mintrmino; y un mapa, como se ver, tiene una celda (o casillero o cuadro) para cada mintrmino.
5: Karnaugh 4

Representacin
Un mapa de Karnaugh es una mapa aplanado de un N-Cubo
r r r

K-mapas estn doblados (conectados) alrededor de sus bordes difcil dibujar y visualizar para mas de 4 dimensiones casi imposible para mas de 6 dimensiones

Alternativa a tabla de verdad para ayudar a visualizar

minimizaciones (adyacencias) r ayudan a aplicar el teorema de minimizacin r minterminos o elementos del on-set con solo un cambio de una variable son adyacentes (y se pueden agrupar para minimizar) r Ejemplo:
A 01 B 1 00 A 10
1

A 0 0 1 1

11

B 0
0

0 1
2

1 1 0
3

0 1 0 1

1 0 1 0
5: Karnaugh 5

Representacin
Consideremos un diagrama de Venn para dos variables A y B:

Si el orden de las variables para la asignacin del cdigo de

mintrminos es AB, se puede rotular el diagrama con el nmero decimal asociado al mintrmino.
Resultan reas desiguales para cada mintrmino; y el grfico

refleja las adyacencias entre mintrminos, pero no tan claramente como un 2-cubo.

5: Karnaugh

Representacin
La identificacin de los cuadros con el nmero del

mintrmino, depende de la eleccin del orden de las variables que se haya elegido para la representacin decimal equivalente.
La representacin de funciones mediante k-mapas, se logra

marcando los mintrminos presentes con un "1"; los ceros suelen omitirse.
Los cdigos de los mintrminos quedan ordenados segn el

cdigo de Gray.
Solo 1 bit cambia entre celdas adyacentes. Para mapas de Karnaugh de 2 variables f(A, B):
A 0 0 1 1 B 0 1 0 1 F 1 0 1 0 B 0
0

0 1
2

1 1 0
3 5: Karnaugh 7

1
1

Representacin
Para mapas de Karnaugh de 3 variables f(A,B,C),

partiendo del n-Cubo y aplanndolo:

AB C 0
0 2 3 6 7 4 5

A 00 01 11 10

C 1
1

Ntese que m0 es adyacente a m1, m2 y m4. Cuales mintrminos son adyacentes a m6?

5: Karnaugh

Representacin
En general se puede o no escribir el valor de los cdigos de

los mintrminos:
AB C 0
0 2 3 6 7 4

A 00 01 11 10
0 2 3 6 7

A
4 5

C 1
1 5

C
1

Equivalen al siguiente diagrama de Venn:

5: Karnaugh

Representacin
El mapa de Karnaugh de 4 variables f(A,B,C,D):
A
0 1 3 4 5 7 6 12 13 15 14 8 9 11 10

C
2

5: Karnaugh

10

Representacin
Ntese que el mapa de 5 variables se obtiene a partir de dos

mapas para n = 4.
A uno se le antecede un cero en la codificacin de las

columnas y al otro un 1.
El mapa de Karnaugh de 5 variables f(A,B,C,D,E):

5: Karnaugh

11

Representacin
Otra forma de representacin

5: Karnaugh

12

5-Mapas de Karnaugh
5.1 Representacin y mapas de diferentes dimensiones 5.2 Generalizaciones sobre mapas de Karnaugh 5.3 Ejemplos de uso de mapas de Karnaugh

5: Karnaugh

13

Generalizaciones
Un mapa de Karnaugh n variables tiene 2n celdas o

cuadros. Cada celda o casillero de un mapa de n variables, tiene n celdas adyacentes; es decir, los cdigos binarios de los mintrminos estn a distancia uno. Una celda est asociada a un producto que contiene las n variables, pudiendo stas estar o no complementadas. Agrupando dos celdas adyacentes, se logra una expresin tipo producto de (n-1) variables. Esto empleando: a = ab + ab Considerando que dos celdas adyacentes difieren en slo una variable, ya que estn a distancia 1 (cdigo Grey).
5: Karnaugh 14

Generalizaciones
Bloques pueden agruparse de un nmero de celdas

que es una potencia de dos; es decir: 2, 4, 8, 16... Agrupando 2k celdas, que forman un k-cubo, la expresin booleana asociada es la que resulta de eliminar k variables de las n del mintrmino correspondiente. Los grupos posibles de k literales, cuando se tienen n variables (k n), quedan dados por: n k n! k
2 = 2 k k!(n k )!

Ejemplo: los grupos de 1 literal cuando n=4 4 1 4! 2 = 21 = 8 1 1!(4 1)!

r

Los 3-cubos posibles son: A, B, C, D, A, B, C, D

5: Karnaugh 15

Generalizaciones
Ejemplo, para n = 4 (e.g. A, B, C, D): Un mintrmino se expresa como un producto de 4

variables. Una agrupacin de 2 mintrminos, que forman un 1cubo (o que son adyacentes), puede expresarse en tres variables. Una agrupacin de 4 mintrminos, que forman un 2cubo, se expresa en dos variables. Una agrupacin de 8 mintrminos (que forman un 3-cubo), puede expresarse como una variable. Una agrupacin de los 16 mintrminos (forman un 4-cubo), puede expresarse como 1 (usando 0 variables). Ntese que bajo el mapa suele escribirse la funcin que ste representa.
5: Karnaugh 16

Generalizaciones
Ejemplo: los grupos de 2 literales (k=2), cuando n=4:
4 2 4! 2 = 2 2 = 24 2 2!(4 2)!

Los 2-cubos resultantes son: AB, AB, AB, AB, AC,

AC, AC, AC,..., CD

5: Karnaugh

17

Definiciones

Un implicante de una funcin F es un elemento del on-set o un grupo de elementos que pueden ser combinados en un mapa de Karnaugh Un implicante primo es un implicante que no puede ser combinado con otros implicantes para eliminar un literal (porque ya es lo mas grande posible) Un implicante primo esencial es cuando un implicante primo es el nico que cubre un elemento del on-set El objetivo de la simplificacin es encontrar el conjunto mas pequeo de implicantes primos que juntos cubren todos los elementos del on-set (opcionalmente incluyendo dont cares)

5: Karnaugh

18

Derivacin de una Expresin Mnima de un Mapa

1.

Un procedimiento para encontrar una expresin mnima como suma de productos es el siguiente (Katz p. 100): Elegir un elemento del on-set y buscar todos los grupos mximos de 1s y Xs adyacentes a ese elemento. Repetir el paso 1 para encontrar todos los implicantes primos. Visitar un elemento del on-set. Si esta cubierto por un solo implicante es esencial y va a contribuir un termin a la expresin final de suma de productos. Repetir el paso 2 para encontrar todos los implicantes primos esenciales. Si es que faltan algunos 1s que no estn cubiertos entonces seleccionar un numero mnimo de implicantes primos para cubrirlos. Tratar varias alternativas de cubrimientos para encontrar el que tenga el numero menor de implicantes.

2.

3.

5: Karnaugh

19

5-Mapas de Karnaugh
5.1 Representacin y mapas de diferentes dimensiones 5.2 Generalizaciones sobre mapas de Karnaugh 5.3 Ejemplos de uso de mapas de Karnaugh

5: Karnaugh

20

Uso de mapas de Karnaugh

F(A,B) = m(0,2)
1

A
1

F(A,B,Cin) =m(3,5,6,7) f(A,B,C) = m(0,4,5,7)

0

A
0 1 1 1 0 1

AB + ACin + BCin

Cin A
1 0 0 0 1 1 1

AC + BC + AB
5: Karnaugh 21

Uso de mapas de Karnaugh

A
0 0 0 1 1 1 1

G(A,B,C) = A

B A
1 0 0 0 1 1 1

F(A,B,C) = m(0,4,5,7) = AC + BC

B A
0 1 1 1 0 0 0

F' simplemente replaza 1's con 0's y vice versa F'(A,B,C) = m(1,2,3,6)= BC + AC

B
5: Karnaugh

22

Uso de mapas de Karnaugh

F(A,B,C,D) = m(0,2,3,5,6,7,8,10,11,14,15)

F = C + ABD + BD
A
1 0 1 0 1 1 1 0 0 1 1 1 0 1 1

0111

1111

C 0000

D B

C
1

1000

encontrar el menor numero de subcubos de mayor tamao para cubrir el ON-set (menor numero de trminos con el menor numero de inputs por termino)
5: Karnaugh 23

Uso de mapas de Karnaugh con dont cares

f(A,B,C,D) = m(1,3,5,7,9) + d(6,12,13)
r

sin don't cares f = AD + BCD

A
0 1 1 0 1 1 X X X 0 0 0 1 0 0

C
0

5: Karnaugh

24

Uso de mapas de Karnaugh con dont cares

f(A,B,C,D) = m(1,3,5,7,9) + d(6,12,13)
r r

f = A'D + B'C'D f =A'D + C'D

sin don't cares con don't cares

A
0 1 1 0 1 1 X X X 0 0 0 1 0 0

usando un don't care como un "1" se puede formar un 2-cubo en ves de un 1-cubo para cubrir este nodo don't cares se pueden usar como 1s or 0s dependiendo de lo que sea mas conveniente
5: Karnaugh 25

C
0

Actividad
Minimizar la funcin F = m(0, 2, 7, 8, 14, 15) +

d(3, 6, 9, 12, 13)

A
1 0 X 0 0 1 X X X 1 1 1 X 0 0 1 0 0 1 X X X 1 1

A
1 X 0 0

C
1

F = AC + AC + BC + AB + ABD + BCD

0 X

C
1

B A
1 0 0 1 X X X 1 1 1 X 0 0 26

F = BC + ABD + BCD F = AC + AB + BCD

C

0 X 1

B 5: Karnaugh