3-11.

Seleccin de los primeros implicados

La seleccin de los primeros implicados que forman la funcin minimizada se hace a partir de una tabla de primeros implicados. En esta tabla, cada primer implicado se representa en una fila y cada trmino mnimo en una columna. Se colocan cruces en cada fila para mostrar la composicin de los trminos mnimos que constituyen los primeros implicados. Un mnimo grupo de primeros implicados se escoge de manera que abarque todos los trminos mnimos de la funcin. Este procedimiento se ilustra en el Ejemplo 3-15

Ejemplo 3-15: Minimizar la funcin 3-14. El tabulado de los primeros implicados para este ejemplo se muestra en la tabla 3-8. Hay seis filas, una para cada primer implicado (derivado del Ejemplo 3-14) y nueve columnas que representan cada una un trmino mnimo de la funcin. Se colocan cruces en cada fila para indicar los trminos mnimos contenidos en el primer implicado de esa fila. Por ejemplo, las dos cruces en la primera fila indican que los trminos mnimos 1 y 9 estn contenidos en el primer implicado x`y`z. Es aconsejable incluir el equivalente decimal del primer implicado en cada fila y conveniente dar los trminos mnimos contenidos en l. Una vez se hayan marcado todas las cruces se proceder a seleccionar un nmero mnimo de primeros implicados.
Tabla 3-8 Tabla de primeros-implicados del ejemplo 3-15

La tabla completa de primeros implicados se inspeccin para obtener columnas que contenga solamente una cruz. En este ejemplo hay cuatro trminos mnimos cuyas columnas tiene una sola cruz: 1, 4, 8 y 10. El trmino mnimo 1 est cubierto por el primer implicado primer implicado funcin. De manera similar al trmino mnimo 4 est cubierto por el primer implicado y los trminos mnimos 8 y 10 por el primer implicado . Los ; es decir, la seleccin del

garantiza que el trmino mnimo 1 est incluido en la

primeros implicados que cubren los trminos mnimos con una sola cruz en su columna se llama primeros implicados esenciales. Para permitir que la expresin final simplificada contenga todos los trminos mnimos no queda otra alternativa que incluir los primeros implicados esenciales. Se coloca una

marca en la tabla a continuacin de los primeros implicados esenciales para indicar que han sido seleccionados. En seguida se observa cada columna cuyo trmino mnimo est cubierto por los primeros implicados esenciales seleccionados. Por ejemplo, el primer implicado seleccionado cubre los trminos mnimos 1 y 9, entonces se

coloca una marca en la parte inferior de las columnas. De manera similar, el primer, implicado cubre los trminos mnimos 4 y 6 y cubre 8, 9, 10 y

11 respectivamente. La inspeccin de la tabla de primeros implicados cubre todos los trminos de la funcin con excepcin de 7 y 15. Estos dos trminos mnimos deben ser incluidos por la seleccin de uno o ms primeros implicados. En este ejemplo es claro que el primer implicado cubre ambos trminos mnimos y es por tanto el seleccionado. As se ha encontrado el conjunto mnimo funcin minimizada requerida: de primeros implicados cuya suma da la

Las expresiones simplificadas deducidas en los ejemplos anteriores estaban expresadas en la forma de suma de productos. El mtodo del tabulado puede adaptarse para dar una expresin simplifica en producto de sumas. De la misma manera que en el mtodo del mapa se tiene que comenzar con el

complemento de la funcin tomando los ceros como la lista inicial de los trminos mnimos. Esta lista contiene aquellos trminos mnimos no incluidos en la funcin original, los cuales son numricamente iguales a los trminos mximos de la funcin. El proceso de tabulacin se lleva a cabo con los ceros de la funcin para terminar con una expresin simplificada en suma de productos del complemento de la funcin. Obteniendo de nuevo el

complemento se consigue la expresin simplificada en producto de sumas. Una funcin con condiciones de no importa puede ser simplificada por el mtodo del tabulado despus de una pequea modificacin. Los trminos de no importa se incluyen en la lista de los trminos mnimos cuando los

primeros implicados se determinan. Esto permite la deduccin de primeros implicados con el mnimo nmero de literales. Los trminos de no importa no se incluyen en la lista de los trminos mnimos cuando se prepara la tabla de los primeros implicados ya que los trminos de no importa no tienen que estar cubiertos por los primeros implicados seleccionados.

3-12 Observaciones concluyentes

Se introdujeron dos mtodos de simplificacin de funciones de boole en este captulo. El criterio para la simplificacin fue el de minimizar el nmero de literales en expresiones de suma de productos o productos de sumas. Tanto el mtodo del mapa como el de tabulado son tan restringidos en sus alcances ya que son tiles para simplificar solamente funciones de Boole expresadas en las formas normalizadas. A pesar de que ello es una desventaja de los mtodos, no es muy crtica, ya que la mayora de aplicaciones buscan, ms la forma normalizada, que cualquier otra forma. Se ha visto de la figura 3-15 que la ejecucin con compuertas, de expresiones en la forma normalizada, consiste a lo sumo en dos niveles de compuertas. Las expresiones que no estn en la forma normalizada se ejecutan con ms de dos niveles. Humphrey (5) muestra una extensin del mtodo del mapa que produce expresiones simplificadas de multiniveles. Se debe reconocer que la secuencia del cdigo reflejado escogido para los mapas no es nica. Es posible dibujar un mapa y asignar una secuencia

binaria de cdigo reflejado a las filas y columnas diferentes a la secuencia que se ha venido empleando. Siempre y cuando la secuencia binaria escogida produzca el cambio de un solo bit entre cuadrados adyacentes, se producir un mapa til y vlido. Dos versiones alternas de mapas de tres variables que a menudo se encuentran en la literatura de lgica digital se muestran en la figura 3-29. Los nmeros de los trminos mnimos se escriben en cada cuadrado para referencias. En (a), la asignacin de las variables a las filas y columnas es diferente de la que se usa en este libro. En ( b) se ha rotado el mapa a

Figura 3-29 Variaciones del mapa de tres variables

la posicin vertical. La asignacin del nmero del trmino mnimo en todos los mapas permanece en el orden . Por ejemplo, el cuadrado del

trmino mnimo 6 se encuentra asignando a las variables ordenadas el nmero binario . El cuadrado para este trmino mnimo se encuentra en (a) y la fila . El correspondiente cuadrado en y a la fila con El

de la columna marcada

(b) pertenece a la columna marcada con

proceso de simplificacin con estos mapas es exactamente el mismo que el descrito en este captulo excepto por supuesto por las variaciones de trminos mnimos y la asignacin de variables.

Otras dos versiones del mapa de cuatro variables se muestran en la figura 3-30. El mapa en (a) es muy popular y se usa muy a menudo en la literatura sobre tales temas. De nuevo la diferencia es muy pequea y se manifiesta por el solo intercambio de la asignacin de la variable de filas a columnas y viceversa. El mapa en (b) es el diagrama original de Veitch (1), el cual karnaugh (2) modific al mostrado en la figura (a). Los procesos de

simplificacin no cambian cuando se usan estos mapas vez de los usados en este libro. Hay tambin variaciones de los mapas de cinco o seis variables. De todas maneras, cualquier mapa que parezca diferente al usado en este libro a que se llame de manera diferente, debe reconocerse simplemente como una variacin de la asignacin de trminos mnimos a los cuadrados del mapa

Figura 3-30 Variaciones del mapa de cuatro variables

Como es evidente de los ejemplos 3-13 y 3-14, el mtodo del tabulado tiene el inconveniente que ocurren errores inevitables al tratar de comparar los nmeros por medio de listas largas. El mtodo del mapa podra ser preferible, pero para ms de cinco variables no se puede estar seguro que se ha encontrado la mejor expresin simplificada. La ventaja real del mtodo del tabulado est en el hecho de que consiste en procedimientos paso a paso que garantizan la respuesta. Es ms, este procedimiento formal es adecuado para mecanizacin por computador. Se ha establecido en la seccin 3-9 que el mtodo de tabulado siempre comienza con la lista de trminos mnimos de la funcin. Si la funcin no est en esta forma, debe convertirse a ella. En la mayora de las aplicaciones, la

funcin que va a ser simplificada proviene de una tabla de verdad, de la cual se puede obtener la lista de los trminos mnimos. De otra manera, la conversin de trminos mnimos agrega un trabajo considerable de manipulacin al problema. Sin embargo, existe una extensin del mtodo del tabulado para encontrar los primeros implicados de expresiones algebraicas de suma de productos. Ver ejemplo McCluskey (7).

En este captulo se ha considerado la simplificacin de funciones con muchas variables de entrada y una sola variable de salida. Sin embargo algunos circuitos digitales tienen ms de una salida. Tales circuitos se describen mediante un conjunto se funciones de Boole, una para cada variable de salida. Un circuito con mltiples salidas puede algunas veces tener trminos comunes entre las diferentes funciones que pueden ser utilizadas para formar compuertas comunes durante la ejecucin. Esto dar como resultado una ulterior simplificacin que no se ha considerado cuando cada funcin se simplifica separadamente. Existe una extensin del mtodo del tabulado para los circuitos de salidas mltiples (6 y 7). Sin embargo, este mtodo es muy especializado y bastante tedioso para manipuleo humano. Tiene importancia prctica solamente si se le ofrece al usuario un programa de computador basado en este mtodo.

Referencia
1. Veitch, E. W., "A Chart Method for simplifying Truth Functions. Proc. Of the ACM (mayo 1952), 127-33. 2. Karnaugh,M., A Map Method for synthesis of Combinational Logic Circuits. Trans. AIEE, comm. And electronics, vol. 72 parte l (noviembre 1953), 593-99. 3. Quine, W.V.,The Problem of Simplifying Truth functions. AM. Math monthly, vol. 59 No 8 (octubre 1952), 521- 31. 4. McCluskey, E. J., Jr, Minimization of Boolean functions Bell system Tech. J., vol. 35, No6 (noviembre 1956), 1417-44. 5. Humphery, W. S., Jr., Switching Circuits with computer

Applications. Nueva York: McGraw-Hill Book Co..,1958, capitulo 4. 6. Hill, F. J. y G. R. Peterson, Introduction to SwichingTheory and Logical design, 2a. ed . Nueva York: John Wiley & sons, Inc, 1974, capitulo 6 y7. 7. McCluskey, E. J. Jr., Introduction to the Theory of Switching Circuits. Nueva York: : McGraw-Hill Book Co..,1965, capitulo 4. 8. Kohavi, z. Swiching and Finite Automata Theory. : McGraw-Hill Book Co..,1970 9. Nagle, H.T.Jr., B.D. carrol, y J.D. Irwin, An Introduction to Computer Logic. Englewood Cliffs, N. J. :Prentice- Hall, Inc, 1975

Problemas.

3-1 Obtenga las expresiones simplificadas en suma de productos de las siguientes funciones de Boole: a) b) c) d) ( ( ( ( ) ( ) ) ) ( ( ( ) ) ) )

3-2 Obtenga las expresiones simplificadas en suma de productos de las siguientes funciones de Boole: a) b) c) d) 3-3 Obtenga las expresiones simplificadas en suma de productos de las siguientes funciones de Boole: a) b) c) d) e) ( ) ( ) ( )

3-4 Obtenga las expresiones simplificadas en suma de productos de las siguientes funciones de Boole: a) b) c) ( ) ( )

3-5 Dada la tabla de verdad:

a) Exprese

en producto de trminos mximos.

b) Obtenga las funciones simplificadas en suma de productos. c) Obtenga las funciones simplificadas en productos de sumas. 3-6 Obtenga las expresiones simplificadas en producto de sumas: a) ( b) ( c) ( ) ) ) ( ( ( ) ) )

3-7 Obtenga las expresiones simplificadas en (1) suma de productos y (2) productos de sumas. a) b) ( c) ( d) ( e) 3-8 Dibuje la ejecucin con compuertas de las funciones de Boole simplificadas, obtenidas en el problema 3-7 usando las compuertas AND y OR. 3-9 Simplifique cada una de las siguientes funciones y ejecuetelas con compuertas NAND. Dar dos alternativas. a) b) ( )( )( )( ) )( )( )( )( )( )( )( )( ) )( )

3-10 Repita el problema 3-9 para ejecuciones NOR

3-11 Ejecute las funciones siguientes con compuertas NAND. Asuma que se cuenta con entradas normales y complementarias a) cada una con tres entradas. b) ( )( ) con dos compuertas de dos entradas. con no ms de seis compuertas,

3-12 Ejecute las siguientes funciones con compuertas NOR. Asuma que se cuenta con alas entradas normal y complementada. a) b) 3-13 Haga una lista de las formas degeneradas de dos niveles y demuestre que se reducen a una sola operacin. Explique cmo las formas degeneradas de dos niveles pueden ser usadas para aumentar el fan-out de las compuertas. 3-14 Ejecute las funciones del problema 3-9 con las siguientes formas de dos niveles: NOR-OR, NAND-AND, OR-NAND Y AND NOR 3-15 Simplifique las funciones de Boole F en suma de productos usando las condiciones de no importa d: a) ( ) ( )

b)

3-16 Simplifica la funcin de boole F usando las condiciones de ni importa (1) su a de productos y (2) producto de sumas: a)

b) ( c)

( ) )

d)

3-17 Ejecute las siguientes funciones usando las condiciones de no importa que se cuenta con las entradas normales y sus complementos. a) compuertas NOR a lo sumo

b)

)(

)(

) tres compuertas NAD a lo sumo

c)

con compuertas NAND

3-18 Ejecute las siguientes funciones en compuertas NAND y NOR. Use solamente cuatro compuertas. Solamente se cuenta con las entradas normales.

3-19 La siguiente expresin de boole:

3-20 De tres maneras posibles de expresar las funciones:

Con ocho o menos literales.

3-21 Con el uso de mapas, encuentra la forma mas simple en suma de productos de la funcin , donde f y g estn dados por:

)(

)(

3-22 Simplifique la funcin de Boole del ProblemaS-2(a) usando el mapa definido en la figura il-29(a). Repita el ejercicio con el mapa de la Figura 329(b). 3-22 Simplifica la funcin de boole del problema 3-3(a) usando el mapa definido en la figura 3-30(a). Repita con el mapa de la figura 3-30 (b). 3-24 Simplifica las siguientes funciones de Boole por medio de mtodo del tabulado a) b) ( ( ) ) ( ( ) )

c)

3-25 Repita el problema 3-6 mediante el uso del mtodo del tabulado. 3-26 Repita el problema 3-16 (c) y (d) usando el mtodo del tabulado. .