Simplificacin de funciones lgicas por el mtodo grfico de Karnaugh

Suponiendo que conozcamos la tabla de la verdad de un circuito combinacional, a partir de la cual deseamos disear dicho circuito, lo ms corriente es tener que buscar una expresin simplificada de la funcin o funciones a implementar. En este artculo tratar de explicar cmo ello es posible de una forma sencilla gracias al empleo de un mtodo de simplificacin grfico muy extendido (extendido precisamente por esto, por su facilidad de uso). Para ello me ayudar de una tabla ejemplo mediante la cual ir explicando todo lo referente a este tipo de simplificacin de funciones lgicas. Pero antes, un poco de teora necesaria: Mapas de Karnaugh para dos, tres, cuatro y cinco variables: El aspecto de los mapas de Karnaugh es el de la siguiente figura:

De izquierda a derecha y de arriba a abajo aparecen los mapas para dos, tres, cuatro y cinco variables. Note que en cada mapa existe una lnea diagonal en la esquina superior izquierda. Por encima y por debajo de dicha lnea aparecen los nombres de las variables implicadas (en este caso a, b, c, d y/o e, segn el mapa, aunque pudieran ser otros diferentes), de tal forma que para el mapa de cuatro variables, por ejemplo, las combinaciones de ceros y unos de la parte superior del mapa son las combinaciones posibles de las variables a y b, en este orden, y las combinaciones de dgitos binarios del lateral izquierdo son la posibles combinaciones de las variables c y d, tambin en ese orden. La adyacencia grfica y la adyacencia algebraica

Dos casillas son adyacentes grficamente si estn una junto a otra en el mapa de Karnaugh, teniendo en cuenta que nunca deben considerarse las diagonales. Por otro lado, dos casillas de un mapa de Karnaugh son adyacentes algebraicamente si en el conjunto formado por los bits de sus coordenadas x e y slo hay un dgito diferente, no importando la posicin en la que se encuentre dicho dgito. Pues bien, siempre se verifica que dos casillas que sean adyacentes grficamente tambin lo son algebraicamente (recuerde que no vale en diagonal). El recproco no es cierto en general, de tal forma que hay casillas que son adyacentes algebraicas y no lo son grficamente. La adyacencia algebraica es la que realmente hay que tener en cuenta en el proceso de simplificacin grfica. Podemos decir que la adyacencia algebraica es "ms fuerte" que la grfica. Sin embargo, a efectos de poder realizar la simplificacin de forma fcil convendra que los dos tipos de adyacencias coincidiesen para tener una imagen grfica de las adyacencias algebraicas. Lamentablemente esto no es as, pero con objeto de conseguir una imagen mental y grfica de las adyacencias algebraicas podemos ayudarnos de las siguientes figuras: - Para tres variables:

- Para cuatro variables:

- Para cinco variables (tiene buena visin espacial?):

Si a usted no se le da bien la visualizacin espacial siempre puede aplicar la regla comentada en principio para saber si dos casillas de un mapa son o no adyacentes. La prctica en esta cuestin le har finalmente no tener que ni pensarlo. Las formas cannicas de las funciones lgicas Toda funcin lgica es posible expresarla en cualquiera de las dos formas canonicas que existen. Estas dos formas de representacin universales son por un lado la forma de maxitrminos o maxterms y por otro lado la forma de minitrminos o minterms. Cada una de estas formas cannicas est formada por un nmero de trminos variable. En cada uno de esos trminos deben aparecer todas las variables de la funcin, ya sea en forma negada o en forma directa (sin negar). Adems, en las forms cannicas no existen trminos repetidos. Centrmonos primeramente en la forma canonica de minitrminos. En esta forma cada uno de los trminos estar formado por productos lgicos de unas variables (negadas una a una o no) con otras (negadas una a una o no), teniendo que aparecer finalmente en cada trmino todas y cada una de las variables que intervienen en la funcin (negadas o no una a una). Por ltimo, todos los trminos involucrados debern sumarse lgicamente en una nica expresin. Este expresin es la forma cannica de minitrminos. El aspecto de una forma cannica de este tipo tendr un aspecto similar a los siguientes:

Veamos ahora la forma cannica de maxitrminos. En ella los trminos se forman no con el producto lgico, sino con la suma lgica y la expresin completa de maxitrminos se consigue multiplicando lgicamente todos los trminos y no sumndolos como pasaba en la otra forma cannica. As, ejemplos de formas cannicas de maxitrminos podran ser los siguientes:

La relacin existente entre tablas de la verdad y formas cannicas: Supongamos que tenemos una tabla de la verdad de una funcin lgica tal como la que sigue (W es la funcin y a, b y c las variables de dicha funcin): a b c W

0 0 0 0 1 1 1 1

0 0 1 1 0 0 1 1

0 1 0 1 0 1 0 1

1 1 0 1 1 0 0 0

Para expresar W en forma cannica de minitrminos debemos fijarnos en aquellas filas de la tabla en las que W=1. Cada una de estas filas corresponder a un trmino de la forma cannica. Dentro de cada trmino, si una variable tiene valor cero deber negarse. Por contra, si tiene valor uno deber aparecer sin negar. Entonces, la forma cannica de minitrminos correspondiente a la funcin W es la siguiente:

Veamos ahora la forma cannica de maxitrminos. En este caso es necesario fijarse en las filas de la table en las que W=0. Igual que antes, cada una de estas filas corresponder a un trmino de la forma cannica de maxitrminos. Ahora bien, dentro de cada trmino la variable que tenga valor cero debe aparecer sin negar y negada la que tenga valor uno. As pues, W en forma cannica de maxitrminos sera la siguiente:

Basta de teora! He aqu la tabla de la verdad: La tabla que usaremos para explicar la simplificacin grfica de Karnaugh es la siguiente: a 0 0 0 0 0 0 b 0 0 0 0 1 1 c 0 0 1 1 0 0 d 0 1 0 1 0 1 F 1 1 0 1 1 0 G 0 0 0 0 0 1 H 0 0 1 1 0 0

0 0 1 1 1 1 1 1 1 1

1 1 0 0 0 0 1 1 1 1

1 1 0 0 1 1 0 0 1 1

0 1 0 1 0 1 0 1 0 1

1 1 1 0 1 1 1 0 0 1

0 1 0 0 0 1 0 0 0 0

1 1 1 0 1 0 0 0 1 1

En esta tabla se han diferenciado las funciones de salida de las variables de entrada gracias al empleo de maysculas (para las funciones) y minsculas (para las variables). Tenemos pues cuatro variables de entrada y tres funciones de salida. Cada una de estas funciones corresponder a una salida de nuestro circuito combinacional (es por eso que reciben ese nombre, funciones de salida). Por contra, cada una de las variables de entrada corresponder a una entrada del circuito. Entonces, la tabla de la verdad indica cmo se comportar el circuito, desde el punto de vista de sus salidas, ante cualquier combinacin lgica en sus entradas (vea que en la tabla aparecen todas las combinaciones lgicas posibles de entrada). Empecemos diciendo que de esta tabla se podran sacar las formas cannicas (de minitrminos o de maxitrminos) de las funciones F, G y H y, a partir de estas formas cannicas, implementar el circuito lgico correspondiente a cada funcin. Sin embargo, esta forma de proceder no es la ms adecuada por motivos de economa de medios, ya que las formas cannicas no son las expresiones ms simples de una determinada funcin, y mientras ms simple sea una funcin ms simple ser el circuito que la implemente. As pues, se hace necesario simplificar las formas cannicas para obtener otras expresiones ms simples. Es aqu donde entran en juego los mapas de Karnaugh. Como ya se desprende de lo comentado ms arriba, la simplificacin se puede llevar a cabo de la forma cannica de minitrminos o de la forma cannica de maxitrminos. A nosotros nos toca decidir. Cmo?. Pues el criterio que considero ms lgico (salvo demostracin en contra) es el de simplificar la forma cannica que ya de por s sea ms simple, o sea, la que tenga menos trminos. En el caso de la funcin F de la tabla estaramos hablando de forma cannica de maxitrminos. Bien, pues simplifiquemos primeramente F en su forma cannica de maxitrminos. Para ello eligiremos un mapa de Karnaugh de igual nmero de variables que las que tenga la funcin a simplificar, en este caso ser de cuatro variables. A continuacin, colocaremos ceros en las casillas del mapa cuyas coordenadas correspondan con los valores de las variables que producen los ceros de F:

A continuacin hay que intentar realizar agrupamientos de los ceros colocados en el mapa. Slo se permiten agrupamientos de un nmero de ceros que sea una potencia de dos (2, 4, 8, 16 , etc.) y nunca en diagonal. Adems, los agrupamientos que se hagan hay que tratar que sean lo mayor posible. Los agrupamientos que pueden realizarse en el mapa de ms arriba son los siguientes:

La simplificacin de la funcin se producir en los agrupamientos. As, ninguno de los dos ceros de la lnea inferior no se han podido agrupar. Eso har que cada uno de ellos de lugar a un maxitrmino de la siguiente forma:

O sea, la variable que tenga valor cero aparece en el maxitrmino de forma directa y la que tenga el valor uno aparece de forma negada. Esto respecto a los trminos que no se simplifican. Respecto a los que s se simplifican lo hacen de la siguiente forma:

Como puede verse, se sigue la misma regla que en los trminos no simplificados en cuanto a la negacin o no de una variable, pero adems, cada agrupamiento (y no cada casilla) da lugar a un trmino en el que la variable que cambia de valor en las casillas del agrupamiento desaparece del trmino directamente, o sea, no se incluye en l. La funcin F simplificada tendr el siguiente aspecto:

Sera posible simplificar an ms la funcin F? S, pero ya aplicando mtodos de simplificacin algebraica. Por ejemplo, se podra sacar factor comn c + d', con lo que quedara:

Pasemos a simplificar otra funcin de las de la tabla. Acometamos la simplificacin de la funcin G. Esta funcin tiene menor nmero de unos que de ceros. Por tanto, simplificaremos por minitrminos. Adems, como G tiene cuatro variables deberemos usar un mapa de Karnaugh de ese nmero de variables. Ahora se irn rellenando las casillas igual que en el caso anterior pero con unos en lugar de con ceros (es un convenio que permite que se sepa con un simple vistazo si se est trabajando con base en minitrminos o en maxitrminos):

Agrupando segn la regla que ya se ha visto tendremos:

En el agrupamiento cambia (y por tanto desaparece de su trmino correspondiente) la variable c y en el uno no agrupado no se puede hacer simplificacin alguna (y por tanto su trmino contendr todas las variables). As pues:

Como puede verse, el criterio que se ha seguido para negar o no una variable es el contrario que en el caso de los maxitrminos, es decir, en minitrminos una variable se niega si su valor es cero y se deja sin negar si su valor es uno. Bien, pasemos ya a simplificar la funcin restante, o sea, la funcin H. Esta funcin tiene igual nmero de ceros que de unos, as que es indiferente que nos basemos en minitrminos o en maxitrminos. Yo personalmente tengo preferencia por los minitrminos. Basmonos en minitrminos pues. El mapa de Karnaugh con los agrupamientos ya hechos ser el siguiente:

La funcin H simplificada segn Karnaugh ser

Se podra simplificar H de forma algebraica hasta conseguir lo siguiente:

Por tanto, como resumen de las funciones simplificadas tendremos que

Ya slo quedara el diseo del circuito lgico que las implemente (vea el artculo referente a ello).