SImpIIfIcacIn de funcIones IgIcas por eI 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 1
0 0 1 1
0 1 0 0
0 1 1 1
1 0 0 1
1 0 1 0
1 1 0 0
1 1 1 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 b c d F G H
0 0 0 0 1 0 0
0 0 0 1 1 0 0
0 0 1 0 0 0 1
0 0 1 1 1 0 1
0 1 0 0 1 0 0
0 1 0 1 0 1 0
0 1 1 0 1 0 1
0 1 1 1 1 1 1
1 0 0 0 1 0 1
1 0 0 1 0 0 0
1 0 1 0 1 0 1
1 0 1 1 1 1 0
1 1 0 0 1 0 0
1 1 0 1 0 0 0
1 1 1 0 0 0 1
1 1 1 1 1 0 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).