SISTEMA DIGITALES MAPAS DE KARNAUGH

Es un mtodo sencillo y apropiado para la minimizacin de funciones lgicas. El tamao del mapa depende del nmero de variables, y el mtodo de minimizacin es efectivo para expresiones de hasta 6 variables. Representacin de funciones.- Representacin grfica de una tabla de verdad, y por lo tanto 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. El proceso de minimizacin usando como herramienta los mapas de Karnaugh se basa en la forma en cmo se acomodan las celdas del mapa que representan cada una un mintrmino. Al igual que en una tabla de verdad, en la que colocamos 1 o 0 en el valor de la funcin correspondiente a una de las 2n combinaciones, as hacemos en un mapa de Karnaugh, colocando un 1 en la celda correspondiente a la combinacin para la cual la funcin vale 1 y dejando en blanco las celda correspondientes a la combinacin para la cual la funcin vale 0.

Para entender cmo se representa un mapa de Karnaugh, supongamos que K sea el conjunto de los ceros y unos de una funcin y su representacin sea un rectngulo o un cuadrado, Como se muestra en la figura.

Una variable A podr asumir slo dos valores de verdad: 0 o 1, por lo que podemos dividir K en dos porciones: una donde A vale cero (A no existe) otra donde A vale uno (A existe). Colocamos la A a un lado del rectngulo para definir a cual variable corresponde la distribucin de K. Observe que el contrario de A ( existe donde A no existe y viceversa; en esta forma podemos aadir al mapa de A dos letras indicando el lugar en donde son vlidas A y

LUIS H. LEMA GRUPO No4

SISTEMA DIGITALES MAPAS DE KARNAUGH

. Si la funcin fuera g = , colocaramos un 1 en el rea donde A es igual a cero ( ) como se muestra en la figura.

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. Note que cada uno de los 4 cuadrados en los que se subdivide el mapa corresponde a un mintrmino. Por ejemplo el cuadrado superior izquierdo corresponde a la combinacin A = 0 y B = 0. Esto es la INTERSECCION del rea donde A vale 0 con el rea donde B vale 0, lo que podemos expresar como .

Recuerde que la combinacin m0

en una funcin de 2 variables es el mintrmino

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. En la figura se muestra la tabla de verdad con la lista de los mintrminos y el lugar que ocupa cada uno de ellos en un mapa.

Una manera ms sencilla de representar el mintrmino en la casilla correspondiente es sealando su valor decimal. Por ejemplo la combinacin A=1 y B=1 es el termino AB cuyo valor binario es 11 y que convertido a decimal da 3. (Mintrmino m3).
LUIS H. LEMA GRUPO No4

SISTEMA DIGITALES MAPAS DE KARNAUGH

Mapas de Karnaugh de 3 variables Sea f una funcin de 3 variables:f (A,B,C) Para elaborar el mapa de Karnaugh tendremos 23 = 8 combinaciones. Al igual que antes cada casilla del mapa corresponde a un mintmino de la tabla de verdad. Es importante colocar las variables en el orden indicado de ms significativo a menos significativo (A, B, C), de otra forma el valor decimal de las casilla sera diferente.

CUIDADO: Note que en las columnas AB no se sigue el orden progresivo de valores, 00, 01, 10, 11 sino 00, 01, 11,10. Esto es muy importante, ya que el proceso de minimizacin depende de la ubicacin de las casillas en el mdk. Esto se hace para que entre una casilla y otra, en forma horizontal o vertical solo cambie una variable, lo que llamamos ADYACENCIA LOGICA. Por ejemplo la casilla 2 (010) es adyacente a las casillas 0 (000)(cambia B), a la 3 (011)(cambia C) y a la 6 (110)(cambia A). Cuales son las casillas adyacentes a la casilla 4? Note que adems de la 6 y la 5 tambin es adyacente a la 0 (entre 100 (4) y 000 (0) cambia A)

Antes de seguir con 4, 5 y 6 variables veamos cmo se representa una funcin en un mapa de Karnaugh:
LUIS H. LEMA GRUPO No4

SISTEMA DIGITALES MAPAS DE KARNAUGH

1. Desde la tabla de verdad Supongamos que tenemos la siguiente tabla de verdad para una funcin de 3 variables f (ABC):

El mapa de Karnaugh se obtiene colocando un 1 en las casillas correspondientes a las combinaciones para las cuales la funcin es igual a 1. En este caso para las combinaciones: __ _ _ _ ABC,ABC,ABC,ABC

2. Directamente desde una funcin. Para este caso la funcin puede ser o no cannica. Si es cannica cada termino producto es un mintrmino, por lo que tiene una casilla especifica en el mapa de karnaugh. __ _ _ _ Por ejemplo la f=ABC+ABC+ABC+ABC funcin Es una funcin cannica (cada termino producto posee todos los literales de la funcin) y tendr la misma representacin que el mdk anterior ya que corresponde a la funcin de la tabla de verdad. En este punto es bueno recordar el significado geomtrico de los mapas de Karnaugh. Si tomamos una funcin de 3 variables, f(A, B, C), en el mdk debemos poder representar lo siguiente el rea de existencia de A, de , de B, de , de C y de .

rea de existencia de A
LUIS H. LEMA GRUPO No4

rea de existencia de B

rea de existencia de C

SISTEMA DIGITALES MAPAS DE KARNAUGH

rea de existencia de rea de existencia de rea de existencia de Una casilla del mapa corresponde a un mintrmino. Por ejemplo la casilla 6 corresponde a la combinacin AB que quiere decir A=1 Y B=1 Y C=0. Esto es el AND de A, B y . Geomtricamente se representa como la INTERSECCION de las reas donde A existe, B existe y existe. Si sobreponemos estas reas, la nica casilla comn es la casilla 6 y es la representacin de AB . Siguiendo esta misma relacin el OR es la UNION de reas. Pruebe como ejercicio a representar en un mapa de Karnaugh de 2 variables la funcin f = A+B y comprela con la tabla de verdad del OR. Con lo dicho anteriormente, cuando la funcin es cannica, la interseccin de las reas que representan a los literales del trmino solo coinciden en una casilla y por eso cada mintrmino tiene su casilla correspondiente. Qu sucede cuando la funcin no es cannica? Pruebe a representar la funcin f(A, B, C)= A B + B + C Esta funcin no es cannica (el primer termino no tiene todas las variables de la funcin). Si utilizamos el mismo razonamiento grfico podemos decir que la funcin es la UNION de las reas que representan cada uno de los trminos, y cada trmino es la INTERSECCION de las reas que representan sus literales. El termino AB ser la interseccin de las reas de A=1 y B=1, el termino B la interseccin de las reas de A=0, B=1 y C=0 y el termino C la interseccin de las reas de A=0, B=0 y C=1. El mapa final se obtiene con la unin de los tres resultados.

Termino AB

Termino B

Termino

LUIS H. LEMA GRUPO No4

SISTEMA DIGITALES MAPAS DE KARNAUGH

Si unimos los resultados tendremos:

Colocando un 1 en las casillas correspondientes:

: Si vemos este resultado es el mismo que obtuvimos para el ejemplo anterior. Su representacin en un mapa de karnaugh es la misma por lo que las funciones son equivalentes. Esto quiere decir que: AB +ABC+ B + C=AB+ B + C Si lo demostramos utilizando lgebra de Boole: AB(C+ ) + B + C = A B + B + C AB + B + C = A B + B + C El hecho de simplificar AB(C+ ) = AB es lo que grficamente llamamos ADYACENCIA LOGICA y que nos servir para minimizar directamente desde el mdk sin utilizar manejo algebraico.

Conclusiones: El mapa de Karnaugh, podra considerarse como una especie de Tabla de la verdad. Su gran utilidad radica en la posibilidad de minimizar expresiones booleanas, y con esto, las compuertas lgicas. Gracias a este mtodo podemos expresar en trminos grficos la agrupacin de expresiones con factores comunes y as eliminamos las variables que no necesitamos. El mapa de Karnaugh tambin ha venido a sustituir el uso de algunos teoremas de lgebra booleana y manipulacin de ecuaciones facilitando la minimizacin de expresiones de este tipo. Por esto debe considerarse el aprendizaje de este mtodo como una herramienta importante en el estudio de informtica y electrnica, entre otras. Bibliografa: http://www.unicrom.com/Dig_mapa-karnaugh.asp http://grp9seca.galeon.com/Metodo.htm

LUIS H. LEMA GRUPO No4