MINIMIZACIN

DE FUNCIONES LGICAS.

MAPAS DE KARNAUGH

Pgina 1 de 5

El comportamiento de un proceso puede expresarse a travs de una Tabla de Verdad. Dicha tabla puede ser representada en un Mapa denominado de Karnaugh.

La finalidad de dicho diagrama consiste en obtener de manera simplificada las funciones lgicas que definen el comportamiento del proceso en cuestin.

En el diagrama de Karnaugh se representan todas las combinaciones posibles de las variables en un plano, indicando en las casillas correspondientes los valores que adopta la funcin ante las distintas combinaciones de las entradas. Veamos el siguiente ejemplo.

Tabla de Verdad: A 0 0 1 1 B 0 1 0 1 S 0 1 1 0

Representacin de los valores obtenidos a partir de la Tabla de Verdad en el Mapa de Karnaugh. \ B 0 1 A 0 0 1 1 1 0

Pgina 2 de 5

A continuacin indicamos la representacin de un Mapa de Karnaugh para 2, 3 y 4 variables.

2 variables: \ B 0 1 A 0 1

3 variables: \ BC 00 01 11 10 A 0 1

4 variables: \ AB CD 00 01 11 10 00 01 11 10

Al realizar un diagrama de Karnaugh, ha de tenerse en cuenta que de un cuadro a otro adyacente solamente cambiar una variable. En cada caso, cualquier cuadro queda definido por la totalidad de las variables que lo componen.

Pgina 3 de 5

Las propiedades ms importantes del diagrama de Karnaugh, son las siguientes:

1) Cada cuadro del diagrama corresponde a un valor muy especfico de cada una de las variables. 2) Dos cuadros son adyacentes cuando tienen un lado comn. 3) Entre dos cuadros adyacentes slo puede cambiar un bit.

Para obtener la ecuacin de una funcin disponiendo de su diagrama, se proceder teniendo en cuenta el valor que las entradas toman en las casillas en las que la salida tiene un 1. \ BC 00 01 11 10 A 0 0 0 1 0 1 1 0 0 0

La funcin lgica que corresponde con el anterior diagrama de Karnaugh quedar como sigue: S = A BC + AB C

La utilidad de estos diagramas para la simplificacin de ecuaciones, aparece cuando los 1 aparecen en casillas adyacentes y se pueden agrupar en grupos de potencias de 2 (2, 4, 8, 16...). Despus se tiene en cuenta que cuando una variable cambia de estado en dos celdas consecutivas se puede eliminar de la funcin.

Es conveniente rodear con un bucle los 1 que se han combinado, ya que una funcin puede tener varios bucles y cada uno de ellos de diferentes dimensiones.

Cuanto mayor sea el bucle, la ecuacin resultante es ms reducida. Por tanto, uno de los objetivos ser siempre el de realizar bucles que contengan el mximo de 1 en condiciones de combinar.

Pgina 4 de 5

Otra posibilidad muy utilizada dentro de un diagrama es la de que el mismo 1 pertenezca a dos bucles diferentes.

Veamos distintos ejemplos y las ecuaciones resultantes.

\ AB CD 00 01 11 10

00

01

11

10

1 1

1 1

S = BD

\ AB CD 00 01 11 10

00

01

11 1 1 1 1

10 1 1 1 1

S=A

\ AB CD 00 01 11 10

00

01

11 1 1 1 1

10

1 1

S = AB + AD

Pgina 5 de 5