Para el anlisis de Circuitos Combinacionales nosotros manejamos funciones booleanas que nos representan el comportamiento de los mismos en funcin del estado de sus entradas. Una funcin booleana sencilla es la siguiente: F(X) = X' Esta funcin indica que para cada valor de X la respuesta de la misma es el complemento, como X slo puede tomar dos valores (0 y 1), las respuestas sern sus complementos (1 y 0). Como en el lgebra, las funciones pueden tener varias variables, F(X,Y) = (X+Y').Y Para esta funcin en particular podemos notar que cuando F(0,0) = (0+0').0 = (0+1).0 = 1.0 = 0 F(0,1) = (0+1').1 = (0+0).1 = 0.1 = 0 F(1,0) = (1+0').0 = (1+1).0 = 1.0 = 0 F(1,1) = (1+1').1 = (1+0).1 = 1.1 = 1
Y como habamos probado en la seccin de Ejercicios del Algebra de Conmutacin, esta funcin es lo mismo que tener la multiplicacin lgica de X y Y, de donde la salida slo es "1" cuando las dos entradas son "1", y la salida es "0" en los dems casos. La representacin bsica de una funcin lgica es la tabla de verdad, la cual, para la funcin anterior la podemos ver en la figura No. 8; como se observa, el nmero de columnas de la tabla de verdad est dado por el nmero de variables de la funcin seguido de su resultado. El nmero de filas de la tabla de verdad est dado por el nmero mximo de diferentes posibles combinaciones de los estados de las entradas (2 n , n= nmero de variables), por ejemplo, si tenemos 3 variables en una funcin sern 8 filas en la tabla de verdad y cuatro columnas. Figura No. 8 Tabla de Verdad de la funcin F(X,Y) = (X+Y').Y
Como se pudo observar, por medio de la funcin booleana se defini el comportamiento de la tabla de verdad; de similar manera, nosotros podemos partir de una tabla de verdad para poder deducir la funcin booleana, el problema es que se pueden obtener una multitud de funciones booleanas que tendrn el mismo comportamiento, as que nuestra misin ser encontrar la funcin que este lo ms simplificada posible. Mapas de Karnaugh Un mapa de Karnaugh es una representacin grfica de la tabla de verdad de una expresin lgica. Bsicamente es una tabla de cuadros de 2 i filas por 2 J columnas, en donde i + j = n, siendo n el nmero de variables, adems se cumple que 2 n =2 i *2 j , es decir, la tabla tendr tantos cuadros como posibles combinaciones de las variables de entrada (Ver figura No. 11). Como el mapa de Karnaugh es otra forma de representar la tabla de verdad, debemos asignar un nmero i de variables para designar las filas y un nmero de j variables para designar las columnas, se acostumbra colocar las primeras i variables de la tabla de verdad a las filas y las j variables restantes a las columnas (ver figura No. 12). Figura No. 11 Ejemplo de un mapa de Karnaugh para una expresin de 4 variables
Las expresiones 2 i y 2 j indican el nmero de posibles combinaciones que se pueden realizar con las i y las j variables respectivamente, es por eso que las filas y las columnas son el mismo nmero de combinaciones posibles de cada grupo de variables asignadas a cada lado del mapa de Karnaugh; pero el truco es no colocar las posibles combinaciones en el mismo orden en que se generaran como si estuvisemos contando en binario (00, 01, 10, 11); las posibles combinaciones de las variables asignadas en las filas y columnas, deben de una a la siguiente combinacin variar uno slo de sus dgitos es decir: 00, 01, 11, 10 Podemos ver la aplicacin de este concepto en la figura No. 13. Tenga en cuenta que el primer dgito de cada trmino (sea en la fila o la columna) corresponde a la primera variable asignada para la fila o la columna; de manera similar se hace con los dems dgitos, es decir, el segundo dgito va con la segunda variable, el tercer dgito con la tercera variable, etc. Figura No. 12 Ubicacin de las variables en un mapa de Karnaugh para una expresin de 4 variables
Lo que nos falta es relacionar cada lnea de la tabla de verdad con cada cuadro del Mapa de Karnaugh. Para hacerlo, lo que hacemos es analizar cada una de las intersecciones entre las filas y las columnas, por ejemplo, la fila dos y la columna tres en la Figura No. 13 es la interseccin entre el trmino 01 y el trmino 11, lo que nos indica que debe ser el trmino de la expresin correspondiente a F(X,Y,Z,W) = F(0,1,1,1); de similar manera, la interseccin entre la fila tres y la columna cuatro es el trmino de la expresin correspondiente a F(X,Y,Z,W) = F(1,1,1,0). En otras palabras cada cuadro del mapa de Karnaugh tiene un mintrmino correspondiente en la tabla de verdad; y en cada cuadro se colocar el resultado esperado para cada uno de ellos. Es importante tener en cuenta que existen columnas y filas adyacentes en el mapa de Karnaugh en las cuales una de las variables es "1" y no vara, esto lo podemos observar en la figura No. 14. Figura No. 13 Mapa de Karnaugh para una expresin de 4 variables
Figura No. 14 Mapa de Karnaugh para: a) Dos variables b). Tres variables c). Cuatro variables