SIMPLIFICACIN DE FUNCIONES POR EL MTODO DE LOS MAPAS DE KARNAUGH

Anteriormente comentamos que haban otras formas de simplificar una funcin aparte de la simplificacin algebraica. Otra manera de simplificar funciones es representndolas en lo que se conoce como mapas de Karnaugh. ste constituye 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. Por supuesto que siempre podrn resolverse las simplificaciones por teoremas. Sin embargo, mucha gente considera que resulta ms fcil visualizar las simplificaciones si se presentan grficamente. Como ya se dijo, los mapas de Karnaugh pueden aplicarse a dos, tres, cuatro, cinco y seis variables ya que para ms variables, la simplificacin resulta tan complicada que conviene en ese caso utilizar teoremas mejor. Entonces, el mapa de Karnaugh es un mtodo grfico que se utiliza para simplificar una funcin lgica y as facilitar el diseo del correspondiente circuito lgico, todo en un proceso simple y ordenado. Obtener la funcin de un Mapa de Karnaugh es el procedimiento inverso a la de la realizacin del mapa. Un trmino de la funcin coloca uno o mas "unos" en el mapa de Karnaugh. Tomar esos unos, agrupndolos de la forma adecuada, nos permite obtener los trminos de la funcin. Utilizaremos los Mapas de Karnaugh para obtener una funcin mnima. Una expresin es mnima si no existe otra expresin equivalente que incluya menos trminos y no hay otra expresin equivalente que conste con el mismo nmero de trminos, pero con un menor nmero de literales. Pueden existir varias expresiones distintas, pero equivalentes, que satisfagan esta definicin y tengan el mismo nmero de trminos y literales. La minimizacin de funciones sobre el mapa de Karnaugh se aprovecha del hecho de que las casillas del mapa estn arregladas de tal forma que entre una casilla y otra, en forma horizontal o vertical

existe ADYACENCIA LOGICA. Esto quiere decir que entre una casilla y otra slo cambia una variable. Definimos los trminos mnimos adyacentes desde el punto de vista lgico como dos trminos mnimos que difieren slo en una variable. Agrupando casillas adyacentes obtenemos trminos que eliminan las variables que se complementan, resultando sto en una versin simplificada de la expresin. El procedimiento es el de agrupar "unos" adyacentes en el mapa. Cada grupo corresponder a un trmino producto, y la expresin final dar un OR (suma) de todos los trminos producto. Se busca obtener el menor nmero de trminos productos posible. Veamos ahora algunos ejemplos ya que creo que la mejor forma de entender este concepto es con ellos. 1.- Simplificar la funcin de dos variables F=A'B+AB'+AB Lo primero que hay que hacer es representarlo en un mapa de dos variables. La forma de hacerlo es similar a una tabla. Veamos como sera la tabla de la verdad:

A 0 0 1 1

B 0 1 0 1

F 0 1 1 1

Para un mapa de dos variables, el concepto sera algo como:

A\B

0 1

m0 m2

m1 m3

OJO: Puse el signo \ por comodidad pero en realidad es una lnea completa desde la esquina superior izquierda hasta la inferior derecha que divide esa celda en dos tringulos iguales. Las variables con las que se est trabajando se colocan en cada una de esas divisiones. En este caso quiero hacer ver que la A es la columna y la B es la fila. De ahora en adelante lo mostraremos siempre as pero en realidad debera verse as:

Pues bien, mn representa los trminos mnimos. Si tuvisemos la funcin expresada en forma cannica segn sus trminos mnimos ya sabramos exactamente donde colocar todos los unos. Observen tambin que en el mapa se ve 0's y 1's tanto en la columna como en la fila. La columna indicara cuando A=0 (tambin puede colocarse A' en vez del 0) y cuando A=1 (puede colocarse A). Sabiendo sto, y con ayuda de la tabla de la verdad que nos indica cuales son los casos en los que se hace uno la funcin, veamos ahora como sera con un mapa de Karnaugh:

A\B 0 1

0 0 1

1 1 1

O incluso podran hacer algo como:

B' A' A 0 1

B 1 1

O sea, que para llenar la tabla, pongo un uno en todos los trminos mnimos que contenga la funcin (que para la funcin F=A'B+AB'+AB son m1, m2 y m3 respectivamente) o sencillamente donde la tabla de la verdad me indique [que son los grupos (A,B) = (0,1), (1,0) y (1,1)]. Dicho sto, creo que ya pueden visualizar bien la forma en la que se hace el mapa. Continuemos. Una vez hecho el mapa, debemos marcar las regiones contiguas que manejen 1's. En el siguiente dibujo vemos cmo se marcan dos regiones. Estas regiones son las simplificaciones. Como la regin azul involucra solamente a la B, eso representa. La regin roja, por su parte, involucra solamente a la A.

Una vez definidas las regiones o agrupaciones, se escribe la funcin simplificada y en este caso es F=A+B (Que es la respuesta obvia ya que el nico 0 que contiene la funcin es M0 y dicho trmino mximo es A+B). Viendo la tabla de la verdad, tambin se deduce que la operacin es una OR.
Las agrupaciones siempre se hacen en forma de rectngulo. En general, si tenemos una funcin con n variables :

Un rectngulo que ocupa una celda equivale a un trmino con n variables. Un rectngulo que ocupa dos celdas equivale a un trmino con n-1 variables.

Un rectngulo que ocupa 2n celdas equivale al trmino de valor 1.

Todos los rectngulos o agrupaciones contendrn un nmero par de celdas (en realidad con 2n celdas) con la nica excepcin de cuando

es una celda nica. Por lo tanto, para encontrar expresin ms simplificada se debe:

Minimizar el nmero de rectngulos que se hacen en el mapa de Karnaugh, para minimizar el nmero de trminos resultantes.

Maximizar el tamao de cada rectngulo, para minimizar el nmero de variables de cada trmino resultante.

Veamos otro ejemplo: Simplificar la funcin de tres variables F=A'B+AB'C+C' Lo primero que hay que hacer es representarlo en un mapa de Karnaugh de tres variables. En el caso de 3 variables la forma genrica sera algo como:

A \ BC 0 1

00 m0 m4

01 m1 m5

11 m3 m7

10 m2 m6

Ok, ponga muchsima atencin ac. En las tablas para tres variables, colocamos una variable sla (ya sea en la columna o en la fila) y las otras dos variables juntas en el otro extremo. Yo lo coloco as por costumbre pero como usted lo ordene no cambiar el resultado. OBSERVE con especial atencin la forma en la que vara los nmeros en el mapa. En el caso de la fila que contiene a BC, los bits que contienen NO incrementan en forma normal. En vez de ello el cambio se hace de forma tal que los valores adyacentes reflejen nicamente el cambio de un bit (algo as al estilo del cdigo Gray o reflejado que vimos en captulos anteriores). Esto DEBE HACERSE AS. De lo contrario el mapa no servira ya que celdas adyacentes podran contener cambios de ms de una variable lo cual es impermisible. Observen tambin que debido a esta caracterstica los trminos mnimos en las celdas no cambian incrementando naturalmente en decimal. Se ve que en la fila de A' se encuentran m0, m1, m3, y m2 respectivamente y en ese extricto orden. NOTA: Un tip. El trmino mnimo que debe ir en cada celda se puede calcular fcilmente convirtiendo los bits ABC a decimal. Por ejemplo, en la celda en la que la combinacin de los bits para ABC es 011 (cuyo valor decimal es 3), va

rellena con m3. Esta propiedad se cumple siempre y lo veremos en los casos con ms variables. Dicho esto continuemos. Aqu no realizar la tabla de la verdad. En vez de ello colocar los unos directamente sobre el mapa. Si usted quiere puede hacer la tabla de la verdad o llevar la funcin a su forma cannica. Yo sencillamente no lo hago para ahorrar tiempo ya que en este punto, esos temas ya deben ser dominados por ustedes. En todo caso el resultado de la funcin en sus formas cannicas simplificadas esF(A,B,C)=(1,7)=(0,2,3,4,5,6)

A \ BC 0 1

00 1 1

01 0 1

11 1 0

10 1 1

Coloqu los unos donde corresponda y ahora debemos buscar las regiones que nos indiquen la funcin simplificada. Lo primero que debemos observar es que las regiones pueden agruparse de los extremos del mapa, como la regin azul que vemos a continuacin:

Esta regin representa a C'. Por qu queda C'? Observe que el rectngulo de 4 celdas son comunes a C=0. (Para facilitar el entendimiento de este punto, coloque A en amarillo en el borde izquierdo para cuando A=1 y coloqu unas llaves que indican cuando B=1 y C=1). Se ve que

el rectngulo rodeado por azul es C' (La llave con C no tiene ningn caso all) y se ve que no importan los valores de A ni de B ya que estn complementados (0 1 en ambas variables). Vemos tambin que queda un bit en A'BC (que est en rojo) y uno en AB'C (en amarillo), pero siempre conviene agruparlo lo ms posible, en regiones cuyas celdas sean potencias de 2. En este caso, los agrupamos con el 1 contiguo, para que la regin quede como A'B (ya que la elipse roja est sobre A' y bajo B -vea la llave) y AB' (analcelo) respectivamente. As, la funcin resultante sera F=A'B+AB'+C'.

Veamos otro caso. Simplificar la funcin de cuatro variables F(A,B,C,D)=(0,2,3,5,7,8,10,13) En los casos de 4 variables podemos organizar de la siguiente forma:

AB \ CD 00 01 11 10

00 m0 m4 m12 m8

01 m1 m5 m13 m9

11 m3 m7 m15 m11

10 m2 m6 m14 m10

Note nuevamente la variacin en las filas y columnas. Slo un bit cambia en las adyacencias. FJESE muy bien como quedaron organizados los trminos mnimos. Vea y deduzca que si combina los bits ABCD y convierte a decimal, ver que la celda correspondiente contiene el trmino mnimo que explicamos anteriormente que debera contener. Por ejemplo si AB,CD=10,11, (1011) 2=11 y en dicha celda est m11. Lo primero que hacemos es vaciar la funcin al mapa. Como ya tenemos la forma cannica, el vaciado es directo. Observe como queda el mapa.

AB \ CD

00

01

11

10

00 01 11 10

1 0 0 1

0 1 1 0

1 1 0 0

1 0 0 1

Ahora, lo siguiente es agrupar las variables en regiones. La primera regin agrupada son las esquinas (en rojo). Esta agrupacin representa B'D' ya que los valores comunes son B=0 y D=0. A y C tienen ambos valores, o sea, estn complementados. Como ejercicio muestre este mapa con las llaves indicando donde las variables son 1 tal como mostr el caso anterior. No lo hago yo aqu porque me consume mucho tiempo. Sigamos. La siguiente regin la agrupo con los 1's en verde y esta agrupacin representa A'CD. Pude hacer el grupo con el 1 a la derecha, pero hubiera significado agrupar un 1 ya agrupado (que, como vimos, a veces es requerido para simplificar an ms la expresin), y dejar otro 1, an no agrupado, por agrupar. As que se agrupa de esta forma para obtener menos trminos. Los 1's que quedan hasta este momento, en azul, pueden agruparse juntos. Esto representa a BC'D. Por lo tanto la funcin queda: F=B'D'+A'CD+BC'D. Es importante notar que se puede agrupar otra region con un 1 verde y uno azul y representara A'BD. Esta regin es una simplificacin adicional vlida, que pudo haberse manejado e incluso agregado a la funcin. En ocasiones, habr varias formas de agrupar a los 1's. Todas son vlidas, y representan soluciones equivalentes. Sin embargo, hay que cuidar de siempre agrupar las regiones lo ms grandes posibles, y cuidando de agrupar a los 1's de manera que se repitan lo menos posible. Como esos unos ya fueron agrupados no requieren volver a serlo. Entonces los pasos a seguir para simplificar una funcin son: 1. Convertir la expresin a una suma de productos si es necesario. sto se puede realizar de varias maneras:

Llevndola algebraicamente a su forma cannica.

Construyendo una tabla de verdad, trasladando los valores al mapa de Karnaugh.

2. Cubrir todos los unos del mapa mediante rectngulos de 2n elementos. Ninguno de esos rectngulos debe contener ningn cero.

Para minimizar el nmero de trminos resultantes se har el mnimo nmero posible de rectngulos que cubran todos los unos.

Para minimizar el nmero de variables se har cada rectngulo tan grande como sea posible. Ejemplo:

Vase que en este caso se ha unido la columna izquierda con la derecha para formar un nico rectngulo y que el uno en 001 se ha emparejado con el uno de al lado con la idea de reducir ese trmino en un literal. 3. Encontrar la suma de productos mnima. Ojo, como ya se dijo, podemos encontrarnos con que puede haber ms de una suma de productos e incluso casos en que tengamos dos reducciones con el mismo nmero de trminos y literales siendo ambas vlidas.

Cada rectngulo pertenece a un trmino producto. Cada trmino se define encontrando las variables que hay en comn en tal rectngulo.

En nuestro ejemplo tenemos F(X, Y, Z) = Z + XY . Ntese que las variables resultado son las que tienen un valor comn en cada rectngulo. Cada rectngulo representa un trmino. El tamao del rectngulo y el del trmino resultante son inversamente proporcionales, es decir que,

cuanto ms largo sea el rectngulo menor ser el tamao del trmino final. Cuando tenemos distintas posibilidades de agrupar rectngulos hay que seguir ciertos criterios: 1. Localiza todos los rectngulos ms grandes posibles, agrupando todos los unos. Estos se llamarn implicantes primos. 2. Si alguno de los rectngulos anteriores contiene algn uno que no aparece en ningn otro rectngulo entonces es unimplicante primo esencial. stos han de aparecer en el resultado final de manera obligatoria. 3. El resto de los implicantes primos se podrn combinar para obtener distintas soluciones. Vase este ejemplo que ilustra lo dicho. Aqu los implicantes primos son cada uno de los diferentes rectngulos obtenidos. Los implicantes primos esenciales son el rectngulo rojo y el verde, por contener unos que no son cubiertos por otros rectngulos. As todas las posibles soluciones han de contener estos dos implicantes.

La mejor solucin, por ser la que usa menos trminos y menos literales es: F( X, Y, Z, T ) = XY + XYT + XZT

Ejemplo. Para la funcin:

F=A'B'C'D'+A'BC'D'+ABC'D'+AB'C'D'+A'BC'D+ABC'D+AB'C'D +ABCD+AB'CD+A'B'CD'+A'BCD'+ABCD'+AB'CD' el mapa es:

Supongamos por un momento que agrupamos los "unos" del mapa de Karnaugh como se muestra en la siguiente figura:

Segn esto tenemos cuatro trminos que son: trmino I : agrupa 8 unos y es de una variable. sta es A. Este trmino es un implicante primo esencial. trmino II : agrupa 4 unos y es de dos variables. stas son BC con C negado. Es un implicante primo esencial. trmino III : agrupa 2 unos y es de tres variables. stas son ACD con A y D negados. NO es un implicante primo. trmino IV : agrupa slo un 1 y es de cuatro variables que son ABCD todos negados. ste, NO es un implicante primo. Esa forma de organizar el mapa NO contiene ningn implicante primo que NO sea esencial. Puede verse que a medida que agrupamos mayor cantidad de "unos", el trmino tiene menos literales. El agrupamiento se hace con una cantidad de "unos" que son potencias de 2. As agrupamos 2 minterm's, 4 minterm's y 8 minterm's. Cada vez que aumentamos el rectngulo, el trmino va eliminando una variable. En una funcin de 4 variables, un trmino que tenga un slo "uno" tendr las cuatro variables. De hecho es un trmino cannico. Al agrupar dos minterm's eliminaremos una variable y el trmino quedar de tres variables. Si agrupamos cuatro "unos" eliminaremos dos variable quedando un trmino de dos variables y finalmente si agrupamos ocho "unos" se eliminaran tres variable

para quedar un trmino de una nica variable. Todo esto se debe a la adyacencia entre casillas y cada vez que agrupamos, se eliminan las variables que se complementan. En este ejemplo obtenemos F=A'B'C'D'+A'CD'+BC'+A Pero en realidad, sta no es la funcin mnima... cierto? El mismo mapa podemos agruparlo de otra forma y obtener:

sta forma de agruparlos nos da como resultado: F=D'+BC'+A que s es expresin mnima. Es importante que al "tomar" un uno, se agrupe con todos los unos adyacentes, aunque stos ya sean parte de otros grupos. Fjense que el minterm en ABCD=(1100)2 es comn a los tres trminos. Aqu, los tres grupos son implicantes primos esenciales por lo que todos deben ir incluidos en la funcin simplificada. Vamos de nuevo. Recuerden que para simplificar funciones utilizando mapas de Karnaugh hay que tener en cuenta que:

Podemos concluir que cada casilla (minterm) en un mapa de Karnaugh de n variable tiene n casillas adyacentes lgicamente, o sea, que se diferencian en las adyacencias por una sola variable (se complementan). Esta informacin es de gran utilidad en los casos de 5 y 6 variables. Al combinar las casillas en un mapa de Karnaugh, agruparemos un nmero de minterm's que sea potencia de dos. As, al agrupar dos casillas eliminamos una variable, al agrupar cuatro casillas eliminamos dos variables, y as sucesivamente. De hecho podemos concluir que al agrupar 2n casillas, eliminamos n variables. Debemos agrupar tantas casillas como sea posible; cuanto mayor sea el grupo, el trmino producto resultante tendr menos literales. Es importante incluir todos los "unos" adyacentes a un minterm que sea igual a uno.
Para que hayan menos trminos en la funcin simplificada, debemos formar el menor numero de grupos posibles que cubran todas las casillas (minterm's) que sean iguales a uno. Un "uno" puede ser utilizado

por varios grupos, no importa si los grupos se solapan. Lo importante es que si un grupo est incluido completamente en otro grupo, o sus "unos" estn cubiertos por otros grupos, no hace falta incluirlo como trmino.

Veamos otro caso en el que repasamos lo que significa trminos implicantes. En el siguiente mapa de Karnaugh:

Los trminos I, II y III son implicantes primos. El trmino IV no es implicante primo. Los trminos I y III son implicantes primos esenciales. El trmino II no es un implicante primo esenciales. La funcin se obtiene con los trminos I y III

Mapas de Karnaugh con 5 y 6 variables

Los ejemplos anteriores se realizaron con funciones de hasta 4 variables. Para mapas de Karnaugh de 5 y 6 variables el procedimiento es esencialmente el mismo y slo hay que recordar que un trmino mnimo tiene adyacente a otro minterm, tanto en forma horizontal o vertical, qu muestra diferencia en una sola variable. Veamos a continuacin el caso de 5 variables. Aqu hay 25 = 32 posibilidades. Una de las formas de ver el mapa es:

sta ser la forma que nosotros usemos. Se observa que se separan los casos para A=0 y A=1 para hacerlo ms fcil de entender y que en las adyacencias slo una variable cambia. Todos los nmeros en las celdas hacen referencia a los trminos mnimos. Tambin debe saber que, tanto en este caso como

en el de 6 variables, la adyacencia tambin se cumple para las mismas celdas de los cuadros que se encuentren al lado tanto

horizontal como verticalmente (Slo

horizontal en 5 variables y ambos sentidos en 6). O sea, el trmino mnimo 31 es adyacente al 15. De la misma forma los trminos mnimos 31 y 30 son adyacentes a los 15 y 14 respectivamente. Se ve tambin que, al igual que en los otros casos, los trminos mnimos que corresponden a cada celda pueden calcularse convirtiendo el nmero binario de la respectiva combinacin ABCDE. Por ejemplo, para ABCDE=(10110)2 =22, el trmino mnimo en la celda es el m22. Supongamos el siguiente caso: Simplificar la funcin F= (0,2,8,11,15,18,20,21,27,28,29,31) Colocando un uno en los trminos mnimos correspondientes, tenemos que:

De forma anloga a lo que hemos venido haciendo, agrupamos los trminos mnimos. Una forma ideal de agruparlos sera:

Vemos que ningn trmino queda solo y que se hicieron la menor cantidad de grupos posibles. Esta funcin quedara en su forma simplificada: F=A'C'D'E'+BDE+B'C'DE'+ACD' que son los grupos I, II, III y IV respectivamente. Por ltimo, para el caso de 6 variables tenemos 64 combinaciones posibles y la forma para expresar el mapa que nosotros usaremos ser:

Se observa que se separan los casos para A=0, A=1, B=0 y B=1. Por supuesto que, como en el resto de los casos, todos los nmeros en las celdas hacen referencia a los trminos mnimos. Tambin se cumple que los trminos

mnimos que corresponden a cada celda pueden calcularse convirtiendo el nmero binario de la respectiva combinacin ABCDEF. Por ejemplo, para ABCDEF=(101101)2=45, el trmino mnimo en la celda es el m45. Aqu la adyacencia es un poco ms difcil de ver. Por ejemplo, las casillas con los trminos mnimos (63,62) es adyacente, adems de a todas las adyacencias normales del cuadro, a (47,46) y a (31,30). Otro ejemplo, m0 es adyacente a m1, m4, m2, m8,m16 y m32. (OJO: pero NO a m48 ya que aqu hay dos variables distintas con respecto a m0).

Como ejercicio, resuelva el siguiente mapa:

La solucin a este problema est en esta misma carpeta y el nombre de la imagen solucin es el mismo que el de la imagen problema agregndole _Solucion (sin los parntesis) al final.

Para practicar les voy a dar un programa freeware muy intuitivo y fcil de usar, aunque limitado a 4 variables. Llenan la tabla de la verdad y a medida que van colocando los unos, se va llenando el mapa de Karnaugh, a la vez que se van agrupando los trminos y mostrando el resultado abajo. A/B/CD representa AB'C'D. Usan /X para simular la raya sobre la letra que representa el smbolo de negado (al igual que el tilde). Tambin se pueden marcar los unos directamente en el mapa de Karnaugh. Es un archivo pequeo y no se requiere instalacin. Hagan clickaqu para bajarlo. ####################################################### NOTA AGREGADA: He conseguido otro programa bastante bueno y gratuito. El programa fue creado por Javier Garca Zuba y su pgina web est en http://paginaspersonales.deusto.es/zubia/. All

encontrarn varios links. El programa en cuestin est en BOOLEDEUSTO: Descarga gratuita (espaol) . Tambin all encuentran un manual en BOOLE-DEUSTO: Manual (espaol). El programa que me interes ms est dentro del archivo comprimido BOOLE_SP con nombre boole.exe. Si no quieren leer el manual (cosa que deberan), luego de usarlo un rato se entiende como funciona. No es para nada tan fcil de usar como el otro programa que les di, pero si muchsimo ms completo con muchas ms opciones. Muy Interesante. He hecho ejemplos de hasta 12 variables. Tambin tiene varios mtodos para la entrada de los datos. Prubenlo. ####################################################### Hagan el siguiente ejercicio a mano y luego, con la tabla de la verdad o la forma cannica que consiguieron, prueben el programa. F(x, y, z,w) = xyzw + xyz + xyzw' + xyz + xyz

TEMA 5: CONDICIONES IRRELEVANTES (DON'T CARE).

Hasta ahora siempre hemos visto en nuestras tablas de la verdad los casos para cuando una combinacin cualquiera en las entradas hacen nuestra salida del circuito cierta (un 1), y solamos asumir que el resto de ellas eran falsas (cero). sto no es siempre cierto. Al momento de disear nuestros circuitos se nos pueden presentar casos en los que una combinacin en la entrada no sea de nuestro inters. Estas condiciones que no nos importan se conocen como condiciones irrelevantes o tambin con la frase inglesa don't care. Estas condiciones suelen expresarse en las tablas de la verdad con una 'X' y al momento de realizar la simplificacin de la funcin podemos asumir que este valor es

uno o cero segn ms nos convenga (lo que haga la expresin an ms reducida). Incluso podemos sencillamente ignorar este valor si no obtenemos ningn beneficio de l. Pero me imagino que se preguntarn, Cmo es eso de una combinacin en la entrada que no nos importa? Bien, un ejemplo clsico es que al circuito se le entregue para procesar un nmero en BCD. Ya sabemos que el cdigo BCD usa 4 bits para expresar los 10 dgitos decimales pero de esta forma sobran otras seis combinaciones que no se usan (1010, 1011, 1100, 1101, 1110 y 1111). Pues bien, si nuestro circuito procesar este nmero en BCD, en nuestra tabla de la verdad tendramos seis casos que no nos importan ya que sencillamente nunca ocurrirn. Veamos un ejemplo tambin clsico para ejemplificar sto. Supongamos que se pide disear un circuito que debe reconocer cuando un nmero entre 1 y 9 es primo. Para este caso tendramos una tabla de la verdad como la que sigue:

A 0 0 0 0 0 0 0 0

B 0 0 0 0 1 1 1 1

C 0 0 1 1 0 0 1 1

D 0 1 0 1 0 1 0 1

Out X 0 1 1 0 1 0 1

1 1 1 1 1 1 1 1

0 0 0 0 1 1 1 1

0 0 1 1 0 0 1 1

0 1 0 1 0 1 0 1

0 0 X X X X X X

Se observa que en la entrada que representara el valor decimal 0 se coloca X ya que este caso no est dentro de los presentados en el enunciado (entre 1 y 9). De forma anloga, los casos del 10 al 15 tienen X por la misma razn. En ciertas bibliografas muestra la expresin: d(A,B,C,D) = (0,10,11,12,13,14,15) para representar los casos que no importan (letra d por don't care). Bien, ahora, veamos como se vera un mapa derivado de esta tabla de la verdad:

CD\AB 00 01

00 X 0

01 0 1

11 X X

10 0 0

11 10

1 1

1 0

X X

X X

Ok. Vemos que la mejor forma de considerar los casos irrelevantes es haciendo que donde va m0, m12, y m14 haya cero y en el resto un uno. As podremos hacer el menor nmero de grupos y a la vez los hacemos lo ms grandes posibles, tal y como vemos en el siguiente mapa:

As obtendramos la funcin de salida: F = BD + B'C Veamos otro ejemplo. Sabiendo que su circuito recibir una entrada BCD, el mismo debe determinar cuando el nmero de entrada es par. (Aunque segn para algunos lo que dir a continuacin no es cierto, asuma para este ejemplo que que el cero es par).

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

Par 1 0 1 0 1 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 0 1 0 X X X X X X

De esa tabla de la verdad podemos concluir el siguiente mapa:

CD\AB 00 01 11 10

00 1 0 0 1

01 1 0 0 1

11 X X X X

10 1 0 X X

Se hace bastante fcil de ver que la mejor forma de agrupar es:

que se resume como: Par = D', conclusin bastante obvia segn la tabla de la verdad donde se ve que para los casos que importan, la salida es igual al bit menos significativo negado (siempre que D=1 la divisin entre dos dara resto de 1). Si lo desean, para practicar, tome los ejemplos y ejercicios del captulo pasado y reemplacen algunos ceros por X a su antojo y vean los diferentes resultados que pueden obtener.

UNIVERSALIDAD DE LAS COMPUERTAS NAND Y NOR

Las compuertas NAND y NOR son llamadas universales debido a que a travs de la combinacin de stas pueden obtenerse las AND, OR y NOT. sto quiere decir que cualquier circuito puede implementarse (si bien es cierto que no necesariamente de forma ms eficiente) con slo compuertas de alguno de esos tipos. Una compuerta NAND no es mas que una AND con una NOT a la salida. Anlogamente, una compuerta NOR es una OR con una NOT en la salida. Voy a aprovechar unos grficos que consegu en Internet para mostrar como pueden combinarse las NAND y las NOR para crear los distintos tipos de compuertas que usamos en nuestras funciones booleanas y tambin para mostrar como se expresan grficamente esas compuertas.

FORMA NORMAL

NAND

NOR

OJO: Recuerden que colocar una raya sobre la variable indica que sta est negada, como si pusiramos el tilde ('). NOTA: Existen otras compuertas que tienen las mismas funcionalidades que las NAND y las NOR. Para el caso de las NAND tenemos la compuerta OR con todas sus entradas negadas (el smbolo es el mismo de la or pero con un crculo en cada entrada indicando que son negadas). Claro, sabemos por Morgan que A'+B' = (AB)'. De forma anloga, la compuerta NOR puede verse como una compuerta AND con todas sus entradas negadas (el smbolo es una AND con crculos en todas sus entradas.). Se ve que la nica diferencia entre una NAND y una AND y entre una OR y una NOR es el crculo que se encuentra en el lado de la salida de la compuerta. Los casos ms interesantes son para la construccin de una AND con NOR y de una OR con NAND en los que se ve la aplicacin del teorema de Morgan. En realidad, al menos en los circuitos integrados, los circuitos se construyen con mucha ms frecuencia con compuertas NAND y NOR que con las AND, OR y NOT. Esto es debido a que esas compuertas son mucho ms fciles de construir y requieren de la integracin de menos transistores. Entonces, todo circuito puede ser llevado a formas estructuradas por puras compuertas NOR o puras compuertas NAND. Si se quiere implementar con compuertas NAND se lleva la funcin a una forma de suma de productos y se niega dos veces ya que sabemos, por el principio de involucin, que as obtenemos la misma funcin original. Al momento de negar hacemos uso del Teorema de Morgan . Si en cambio se

quiere ver con compuertas NOR debe llevarse a una forma de producto de sumas y negar dos veces. Ejemplos: Implementar F = AB + CD + E con compuertas NAND. F = [(AB+CD+E)']' = [(AB)'.(CD)'.E']' que es una implementacin con 5 compuertas NAND. El grfico se hizo en clase. No lo coloco aqu por falta de tiempo para hacerlo. Veamos que pasa si se pide implementar con NOR. Tenemos F = (A+B)(C+D)E, que se ve que ya est en forma de producto de trminos sumas. De hecho, esta funcin es la dual de la anterior. Al aplicar involucin obtenemos: F = [(A+B)'+ (C+D)'+E']'. Ver la clase para el diagrama del mismo. Estos dos ejemplos tienen slo dos niveles de ejecucin. Las entradas van a una compuerta y las salidas de stas van a su vez a la entrada de otra. Si la salida del segundo nivel fuese a otra compuerta, entonces se dira que tiene tres niveles de ejecucin. NOTA: Esto ya es de clases pasadas, pero recuerden que si les digo que F(A,B,C)=(0,6), F' ser la suma de los trminos mnimos que son cero en la tabla de la verdad o en el mapa de K.