LIC.

EN FSICA Curso 03-04

ELECTRNICA Tema 8

TEMA 8. ALGEBRA DE CONMUTACIN: FUNCIONES LGICAS. 8.1. Introduccin a la Electrnica Digital. Los dispositivos electrnicos digitales son circuitos electrnicos que trabajan en sus entradas y salidas en dos posibles estados fsicos que se corresponde, cada uno de ellos, con un valor del voltaje respecto al de referencia, con un cierto margen de tolerancia. Cada uno de estos estados fsicos est asociado a un estado lgico que denominamos 0 1. El estado fsico asociado al estado lgico 1 es normalmente el de mayor voltaje respecto al nivel de referencia, mientras que asociamos al estado lgico 0 el de menor voltaje respecto al de referencia, en este caso se dice que se trabaja con lgica positiva. Si invertimos la relacin se denomina lgica negativa. El dispositivo electrnico ms usado para definir estos dos estados fsicos es el transistor BJT en la configuracin de emisor comn, trabajando entre los estados de corte y saturacin como conmutador. En la figura 8.1 representamos un transistor BJT en la configuracin de emisor comn, al cual atacamos con una seal Vi que tiene dos niveles posibles VCC y 0 voltios que se corresponden con los dos estados fsicos antes mencionados. Para que nuestro circuito responda como un dispositivo digital su salida ha de estar siempre en uno de estos dos estados fsicos: VCC 0 voltios, con un cierto margen de tolerancia. Efectivamente, si la eleccin de las resistencias Rb y RC ha sido adecuada, la respuesta a cada uno de stos dos posibles niveles de tensin a la entrada dan como respuesta en la salida el nivel de tensin opuesto, es decir, entrada igual a VCC voltios (1 lgico) le corresponde una salida 0 voltios (0 lgico) y viceversa. El dispositivo se comporta como un dispositivo digital inversor de estados. Fig. 8.1 La eleccin de las resistencias ha de conseguir que una entrada de VCC voltios sature al transistor y una entrada de 0 voltios lleve al transistor a corte. Esta eleccin de estados no es casual, sino que viene determinada por la fiabilidad de los estados. La alternativa de escoger alguno de los estados del transistor en conduccin, fuera de saturacin, sera poco fiable dada la variedad de caractersticas de un mismo transistor, adems de los problemas de ruido. El nivel bajo en la entrada, Vi = 0 voltios, es evidente que lleva el transistor a corte y por tanto la salida pasa al estado alto, VS = VCC voltios. Pero para que el nivel alto en la entrada, Vi = VCC voltios, lleve al transistor a saturacin se ha de cumplir que:

R b < (hFE )MIN R C

VCC VBESAT VCC VCESAT

F. MUGARRA, DEP. DENGINYERIA ELECTRNICA FACULTAT DE FSICA Universitat de Valncia

ELECTRNICA Tema 8

LIC. EN FSICA Curso 03-04

Dada la dispersin de valores de hFE, se debe de tomar un valor de Rb y RC que aseguren una saturacin del transistor en el peor de los casos. Con esta eleccin de Rb y RC se garantiza que una entrada "alta", Vi VCC, da como salida una VS 0, VC =VCESAT ( 0,2 voltios). 8.2. lgebra de conmutacin. Las operaciones y funciones que van a realizar los dispositivos digitales se rigen por el lgebra de conmutacin. Esta es un lgebra de Bool bivaluada, los elementos de esta lgebra pueden tomar dos valores: {0, 1}, y en la que estn definidas dos operaciones:

+ que cumplen los siguientes axiomas:

Suma. Producto.

DUAL A1. A2. A3. A4. A5. x = 1 s x 0 x = 0 x = 1 00=0 11=1 01=10=0 A1. A2. A3. A4. A5. x=0 s x 1

x = 1 x = 0 1+1=1 0+0=0 0+1=1+0=1

A partir de estos axiomas se demuestran una serie de teoremas por induccin perfecta. Estos teoremas los agruparemos en teoremas de una sola variable y teoremas de dos variables. Los teoremas de una sola variable son:

DUAL T1. T2. T3. T4. T5. x x = 0 x 1 = x x 0 = 0 x x = x (x) = x T5. x + x = 1 T1. T2. T3. x+0=x x+1=1 x+x=x

F. MUGARRA, DEP. DENGINYERIA ELECTRNICA FACULTAT DE FSICA Universitat de Valncia

LIC. EN FSICA Curso 03-04

ELECTRNICA Tema 8

Los teoremas de dos variables son: DUAL T6. Cumplen la propiedad conmutativa respecto a ambas operaciones: x+y=y+x x y=y x

T7.

Cumplen la propiedad asociativa respecto a ambas operaciones: x + (y + z) = (x + y) + z x (y z) = (x y) z

T8.

Cumplen la propiedad distributiva respecto ambas operaciones: suma respecto al producto y producto respecto a la suma. x + y z = (x + y) (x + z) x (y + z) = x y + x z

T9.

Cobertura: x (x + y) = x x+x y = x

T10.

Combinacin: (x + y) (x + y) = x x y + x y = x

T11.

Consenso: x y + x z + y z = x y + x z

(x + y) (x + z) (y + z) = (x + y) (x + z)

Igualmente enunciaremos cuatro teoremas de n variables: T12. Idempotencia generalizado: x x x=x x+x+ +x=x

T13.

Teorema de DeMorgan: (x1 + x2 + xn ) = x1 x2 xn

(x1 x2 xn ) = x1 + x2 + xn

F. MUGARRA, DEP. DENGINYERIA ELECTRNICA FACULTAT DE FSICA Universitat de Valncia

ELECTRNICA Tema 8

LIC. EN FSICA Curso 03-04

T14.

Teorema de DeMorgan generalizado : [F(x1 , x2 , , xn , +, )] = F(x1 , x2 , , xn , , +)

T15.

De expansin, teorema de Shanon: F(x1 , x2 , , xn ) = x1 F(1, x2 , , xn ) + x1 F(0, x2 , , xn ) F(x1 , x2 , , xn ) = [x1 + F(0, x2 , , xn )] [x1 + F(1, x2 , , xn )]

Los teoremas de n variables, T12 a T15, se demuestran por el mtodo de induccin finita. Es importante tener en cuenta lo que se denomina Principio de dualidad: Cualquier teorema o identidad en el lgebra de conmutacin sigue siendo vlido si se intercambian 0 y 1, y las operaciones + y entre s. El principio es vlido ya que los duales de los axiomas son verdaderos, luego los duales de los teoremas se demuestran usando los duales de los axiomas. 8.3. Funciones del lgebra de conmutacin: Funciones lgicas. Funciones lgicas son aquellas que formamos combinando variables de nuestra lgebra mediante las dos operaciones definidas en ella: + y . Por ejemplo: F1 = a b c + a b c + a b c

Una representacin sencilla de una funcin lgica es mediante su tabla de verdad. sta es la tabla en la que se dan todas las combinaciones posibles de las variables que forman parte de nuestra funcin lgica y en donde para cada combinacin se expresa el valor posible de la funcin. La funcin lgica del ejemplo previo, es una funcin lgica de tres variables, F(a,b,c), y poseer una tabla de verdad con 23 filas: a 0 1 0 1 0 1 0 1 b 0 0 1 1 0 0 1 1 c 0 0 0 0 1 1 1 1 F1 0 0 0 1 0 1 1 0

F. MUGARRA, DEP. DENGINYERIA ELECTRNICA FACULTAT DE FSICA Universitat de Valncia

LIC. EN FSICA Curso 03-04

ELECTRNICA Tema 8

La tabla de verdad del ejemplo define uno de los dos valores posibles {0,1} de F1 para cada una de las posibles combinaciones de todas las variables que forman parte de la funcin. Pueden darse casos en que esto no sea as ya que nuestra funcin no tenga valor definido para ciertas combinaciones de las variables, posteriormente trataremos este caso. Nos planteamos ahora el problema de definir la funcin lgica a partir de la tabla de verdad. Para ello definimos previamente tres elementos: trmino normal, minitrmino y maxitrmino. Trmino normal es una suma o producto de las variables de una funcin, en el que cada una solo aparece una sola vez, y que por tanto no admite simplificacin. Por ejemplo: 1. a b c 2. a + b + c,

son trminos normales de las variables a, b y c. Minitrmino es un trmino producto normal que incluye todas las variables de la funcin. En los ejemplos previos de trminos normales, el primer ejemplo sera un minitrmino de las variables a, b y c. Para n variables, el nmero de minitrminos posibles es 2n . Maxitrmino es un trmino suma normal que incluye todas las variables de la funcin. El segundo de los ejemplos sera un maxitrmino de las variables a, b y c. Para n variables, el nmero de maxitrminos posibles es 2n . La realizacin de una funcin lgica, de la cual se conoce su tabla de verdad, tiene dos mtodos inmediatos. El primero es obvio, como suma de minitrminos: F(c, b, a) = minitrminos, F(c, b, a) = abc' + ab'c + a'bc

Para simplificar la escritura se ha suprimido el smbolo de la operacin producto. Los minitrminos que incluimos en la suma son aquellos para los que la funcin era uno en la tabla de verdad. El proceso de construccin es inmediato ya que cada lnea de la tabla de verdad es un minitrmino. El segundo mtodo no es tan obvio y se basa en los teoremas T4 y T14:

[F(c, b, a)] = F(c, b, a)

F. MUGARRA, DEP. DENGINYERIA ELECTRNICA FACULTAT DE FSICA Universitat de Valncia

ELECTRNICA Tema 8

LIC. EN FSICA Curso 03-04

Construyamos F como suma de minitrminos a partir de la tabla de verdad. Ser la suma de los minitrminos para los que F es cero, que en nuestro ejemplo sera:

F(c, b, a) = abc + abc + abc + abc + abc

Luego se ha de cumplir, por T4, que:

F = (abc + abc + abc + abc + abc)

Si ahora aplicamos T14, a la expresin previa:

F = (abc) (abc) (abc) (abc) (abc) F = (a + b + c) (a + b + c) (a + b + c) (a + b + c) (a + b + c) F = maxitrminos Luego hemos encontrado una representacin de la funcin como producto de maxitrminos. Se ha de tener en cuenta que los maxitrminos incluidos, son aquellos para los que la funcin es cero y adems que cada variable se ha sustituido por su complementaria. Ambos mtodos tienen su forma de realizacin fsica, pero para llegar a ello hemos de introducir los elementos bsicos con los que construiremos el circuito fsico que realice las diferentes funciones lgicas posibles. 8.4. Puertas lgicas. Las puertas lgicas son circuitos digitales que realizan operaciones con variables lgicas mediante las dos operaciones definidas: + y , y en la definicin de complementario o inverso de una variable, la cual qued implcita en los axiomas. 8.4.1. Puertas lgicas bsicas. 8.4.1.a. Puerta And (Y). Es la puerta lgica que realiza la operacin producto lgico de dos o ms variables, segn el nme ro de entradas de que disponga. En la figura 8.2 podemos observar su smbolo lgico, su tabla de verdad y el nuevo smbolo, segn la nueva normativa de representacin:

F. MUGARRA, DEP. DENGINYERIA ELECTRNICA FACULTAT DE FSICA Universitat de Valncia

LIC. EN FSICA Curso 03-04

ELECTRNICA Tema 8 NUEVO SMBOLO

a & b ab

Fig. 8.2

En la representacin clsica, hemos incluido unos nmeros en las entradas y salidas del dispositivo, as como un nmero debajo del bloque y un texto encima del mismo. Los nmeros en las entradas y salidas indicarn el nmero del pin (patilla) del circuito integrado (IC) que estamos usando, en este caso es un 7408 (tecnologa TTL) que tiene 14 pines. De los catorce pines que tiene el IC, doce los usa para los pines de las entradas y salidas de cuatro de estos bloques, y dos para la alimentacin, VCC y tierra (GND). El texto que est encima del bloque creo que ya podis suponer lo que es: indica que pertenece al primer IC del esquema general, ya que en nuestro esquema puede tener ms IC, y la letra A indica cual de los cuatro bloques del IC estoy usando. Como hemos dicho, puede haber puertas AND de mas entradas. Por ejemplo el IC 7411 es una puerta AND de tres entradas y la 7421 es de cuatro entradas.

8.4.1.b. Puerta Or (O). Es la puerta lgica que realiza la operacin suma lgica de dos o ms variables, segn el nmero de entradas de que disponga. En la figura 8.3 podemos observar su smbolo lgico, su tabla de verdad y el nuevo smbolo, segn la nueva normativa de representacin, para la puerta OR de dos entradas:

a b

a+b

Fig. 8.3

F. MUGARRA, DEP. DENGINYERIA ELECTRNICA FACULTAT DE FSICA Universitat de Valncia

ELECTRNICA Tema 8

LIC. EN FSICA Curso 03-04

8.4.1.c. Puerta Not (No). Es la puerta que obtiene el complemento de una variable, figura 8.4.

Fig. 8.4

8.4.1.d. Puerta Nand (NoY). Es la puerta que obtiene el inverso, o completo, del producto lgico de dos o ms variables. En la figura 8.5 podemos observar su smbolo lgico, su tabla de verdad y el nuevo smbolo, para la puerta NAND de dos entradas: :

a b

&

(ab)

Fig. 8.5

8.4.1.e. Puerta Nor (NoO). Es la puerta que obtiene el inverso, o complemento, de la suma lgica de dos o ms variables. En la figura 8.6 podemos observar su smbolo lgico, su tabla de verdad y el nuevo smbolo, para la puerta NOR de dos entradas:

a b

(a+b)

Fig. 8.6

F. MUGARRA, DEP. DENGINYERIA ELECTRNICA FACULTAT DE FSICA Universitat de Valncia

LIC. EN FSICA Curso 03-04

ELECTRNICA Tema 8

8.4.1.f. Puerta EXor (Or Exclusiva). Es la puerta que obtiene la funcin anticoincidencia de dos variables. En la figura 8.7 se da su smbolo lgico clsico, la tabla de verdad y el smbolo de la puerta segn la nueva normativa.

a ab b =1

Fig. 8.7

8.4.1.g. Puerta EXNor (NOr Exclusiva). Es la puerta que obtiene la funcin coincidencia de dos variables. En la figura 8.8 se da su smbolo lgico clsico, la tabla de verdad y el smbolo de la puerta segn la nueva normativa.

a =1 b (ab)

Fig. 8.8

8.5. Sntesis y anlisis de Funciones lgicas. A la hora de realizar una funcin lgica recurrimos a puertas NAND o puertas NOR, ya que con cualquiera de ambas se puede realizar todas las dems. Por ejemplo veamos la realizacin de todas los tipos de puertas previamente expuestas con puertas NAND, figura 8.9, salvo las puertas anticoincidencia y coincidencia de dos variables lgicas, puertas EXOR y EXNOR. Se deja como ejercicio la realizacin con puertas NAND, de una puerta EXOR o EXNOR.

F. MUGARRA, DEP. DENGINYERIA ELECTRNICA FACULTAT DE FSICA Universitat de Valncia

ELECTRNICA Tema 8

LIC. EN FSICA Curso 03-04

Fig. 8.9

En la realizacin, sntesis, hemos de buscar mtodos para optimizar la realizacin. El proceso contrario sera el anlisis de un circuito ya construido. En general esto ltimo no es muy complicado, por ello nos centraremos en los mtodos para simplificar la sntesis de funciones lgicas.

8.6. Simplificacin de Funciones lgicas: Tablas de Karnaugh. El mtodo ms empleado para realizar una funcin lgica, de la cual se sabe su tabla de verdad, es la tabla de Karnaugh, siempre y cuando el nmero de variables lgicas no sea

10

F. MUGARRA, DEP. DENGINYERIA ELECTRNICA FACULTAT DE FSICA Universitat de Valncia

LIC. EN FSICA Curso 03-04

ELECTRNICA Tema 8

muy alto. La razn es que a travs de ella podemos realizar fcilmente simplificaciones que permiten una realizacin sencilla de la funcin. La tabla de Karnaugh de una funcin lgica es una tabla verdad de dos entradas, en la que entre cada casilla y sus contiguas solo cambia el estado de una de las n variables que son parte de la funcin lgica. Tngase en cuenta que las casillas que estn en los laterales de la tabla tambin tienen el mismo nmero de contiguas que el resto de las casillas de la tabla, pero parte de ellas en lado opuesto de la tabla. Veamos algunos ejemplos que nos ilustren lo que acabamos de exponer:
b
a

0 0 1

1 0 1

F(b, a) = ba + ba = = b (a+a) = b

0 1

F(c, b, a) = cba + cba = = cb (a+a) = cb

Los ejemplos previos con dos y tres variables son demasiado sencillos, por eso recurriremos a un ejemplo con cuatro variables para explicar el mtodo de la Tabla de Karnaugh.

ba dc 00 01 11 10

00 0 0 1 1

01 0 0 0 0

11 1 1 1 1

10 0 0 1 1

F(d, c, b, a) = dcba + dcba + dcba + dcba + dcba + dcba + dcba + dcba

Lo primero que hemos de tener en cuenta es que los trminos contiguos de cualquier trmino de la tabla son aquellos que se obtienen al cambiar una de las variables del trmino, por su complementaria. Por ejemplo el trmino dcba tiene cuatro trminos contiguos, a saber: dcba, dcba, dcba y dcba. Por lo tanto los elementos de la tabla

F. MUGARRA, DEP. DENGINYERIA ELECTRNICA FACULTAT DE FSICA Universitat de Valncia

11

ELECTRNICA Tema 8

LIC. EN FSICA Curso 03-04

que estn en el extremo de una lnea o columna se tocan, en contigidad, con el elemento del otro extremo de su lnea o columna. Por ejemplo los contiguos del elemento dcba, ltimo elemento de la segunda columna, tiene como elementos contiguos: dcba, dcba, dcba y al elemento que est el primero de la segunda columna dcba. Como segundo ejercicio obtenemos los cuatro elementos contiguos del elemento abcd

ELEMENTO

CONTIGUOS

dcba

dcba

dcba

dcba dcba

La posicin del elemento dcba, y de sus cuatro elementos contiguos en una tabla de Karnaugh se da en la figura 8.10.
ba dc 00 01 11 10 00 01 11 10

d'c'ba'

dcba'

dc'b'a'

dc'ba
Fig. 8.10

dc'ba'

El mtodo de simplificacin usando esta tabla, consiste en reunir los trmino s contiguos que son unos de la funcin: a) Dos trminos contiguos de valor 1, en la tabla, forman un trmino producto en el que se ha eliminado una variable. En nuestro ejemplo tenemos mltiples casos de este tipo, por ejemplo:
ba 00 dc 00 0 0 1 1 01 0 0 0 0 11 1 1 1 1 10 0 0 1 1

dcba + dcba = (c + c) dba = dba

01 11 10

12

F. MUGARRA, DEP. DENGINYERIA ELECTRNICA FACULTAT DE FSICA Universitat de Valncia

LIC. EN FSICA Curso 03-04

ELECTRNICA Tema 8

b) Cuatro trminos contiguos de valor 1, que forman un cuadrado o una lnea en columna o fila, dan lugar a un trmino producto en que hemos eliminado dos variables. En el ejemplo se podran formar tres de estas agrupaciones. Toma ndo como ejemplo la tercera columna:
ba 00 dc 00 0 0 1 1 01 0 0 0 0 11 1 1 1 1 10 0 0 1 1

dcba + dcba + dcba + dcba = (d + d) cba + (d + d) cba = cba + cba = (c + c) ba = ba

01 11 10

En el proceso de simplificacin de cuatro minitrminos hemos pasado a un trmino producto de solo dos variables. Si realizamos el mismo proceso con los dos ltimos trminos de las columnas primera y cuarta se obtendr el trmino da, esta agrupacin se puede ver en la tabla contigua. Por tanto la funcin lgica de la tabla de Karnaugh contigua ser:

dc

ba 00 0 0 1 1

01 0 0 0 0

11 1 1 1 1

10 0 0 1 1

00 01 11 10

F(d, c, b, a) = ba + da

Fig. 8.11

Si se observa la tabla se ve que existen ms agrupaciones que no hemos usado. La razn de ello es que su uso no dara como resultado una realizacin de la funcin ms sencilla. Una aclaracin importante es que un minitrmino que sea 1, se puede usar para varias agrupaciones simultneamente. La justificacin la tenemos en el teorema T3. Otra cuestin que todava no nos hemos planteado, pero que surge muchas veces en el diseo, son los trminos indiferentes. Trminos indiferentes son los que no se pueden dar fsicamente en nuestra realizacin y su hipottico valor no influye en el valor de la funcin, es decir le son indiferentes. En la tabla de verdad se marcarn con una X, y se usarn como cero o uno segn ms nos interese para obtener la mejor simplificacin de la funcin. En los ejemplos expuestos nos hemos parado en el mtodo de simplificacin en agrupaciones de cuatro elementos, pero el proceso sigue indefinidamente. Si lograra agrupar ocho trminos contiguos todos unos, es decir si en nuestra tabla las dos ltimas filas fueran todo unos, agrupndolos obtendramos un trmino en que hemos eliminado tres variables, en este caso sera a.

F. MUGARRA, DEP. DENGINYERIA ELECTRNICA FACULTAT DE FSICA Universitat de Valncia

13

ELECTRNICA Tema 8

LIC. EN FSICA Curso 03-04

La realizacin de la funcin como suma de trminos producto se basa en el uso de puertas NAND. Veamos a continuacin como realizar la funcin de la tabla mediante estas puertas.

F(c, b, a) = ba + da

Fig. 8.12

Fig. 8.13

Fig. 8.14

14

F. MUGARRA, DEP. DENGINYERIA ELECTRNICA FACULTAT DE FSICA Universitat de Valncia

LIC. EN FSICA Curso 03-04

ELECTRNICA Tema 8

Es importante que se comprenda la equivalencia de los circuitos representados en las figuras 8.12 a 8.14. En la primera transformacin, figura 8.13, aadimos una doble negacin a las seales de paso de las salidas de las puertas AND hacia las entradas de la puerta OR, por tanto no alteramos la funcin. En la segunda transformacin, figura 8.14, el paso no es tan evidente, pero si se piensa es obvio. Una puerta OR con sus seales de entrada complementadas, equivale a una puerta NAND. Para comprenderlo basta aplicar el teorema de DeMorgan. Por tanto la realizacin de una funcin como suma de trminos producto es inmediata y muy sencilla, mediante puertas NAND. La funcin que hemos seleccionado para el ejemplo, una vez simplificada, constaba de la suma de dos trminos producto de dos variables cada uno. La realizacin que acabamos de implementar con puertas NAND ha dado lugar a que cada trmino producto requiera una puerta NAND con tantas entradas como variables tiene el trmino producto, y donde las variables complementadas, se obtienen mediante puertas NAND trabajando como puerta inversora. La realizacin se acaba llevando la salida de estas puertas NAND a la entrada de una puerta NAND, una entrada por cada puerta NAND, es decir por cada trmino producto de la funcin lgica a realizar. Como ejercicio se propone, que a partir de la funcin:

F(d, c, b, a) = dcba + dcba + dcba + dcba+ dcba + dcba + dcba ,

que una vez simplificada mediante una tabla de Karnaugh da:

F(d, c, b, a) = dc + da + cba ,

Se ha de realizar con puertas NAND. El resultado de la realizacin debe ser:

Fig. 8.15

F. MUGARRA, DEP. DENGINYERIA ELECTRNICA FACULTAT DE FSICA Universitat de Valncia

15

ELECTRNICA Tema 8

LIC. EN FSICA Curso 03-04

Al igual que hemos utilizado la tabla de Karnaugh para simplificar y obtener la expresin ms sencilla de la suma de trminos producto con puertas NAND, tambin la podemos utilizar para obtener la expresin simplificada del producto de sumas. Realicemos el mismo proceso de simplificacin, pero ahora con F, es decir con los trminos de la tabla que son ceros. Un vistazo a la tabla, figura 8.11, nos sugiere agrupar los ceros en dos bloques, cada uno de cuatro trminos contiguos: el primero ser da y el segundo ba, por tanto F:

F(c, b, a) = da + ba

Empezamos la realizacin con puertas NAND, figura 8.16,.e iniciamos la transformacin:

Fig. 8.16

16

F. MUGARRA, DEP. DENGINYERIA ELECTRNICA FACULTAT DE FSICA Universitat de Valncia

LIC. EN FSICA Curso 03-04

ELECTRNICA Tema 8

Nuevamente se ha de tener en cuenta que la ltima transformacin que se realiza en la figura 8.16, se basa en el teorema de DeMorgan. El esquema que hemos obtenido sugiere una transformacin: anular las dobles inversiones, por tanto debe dar:

Fig. 8.17

Con lo cual hemos obtenido al final de la figura 8.17 una realizacin de la funcin como producto de trminos suma, usando exclusivamente puertas NOR. Respecto de la metodologa de simplificacin de una tabla de Karnaugh, lgicamente nos hemos quedado en una breve introduccin, y dado que se sale del marco de este curso solo indicar que la misma es programable, no obstante si daremos algunas pistas sencillas.

F. MUGARRA, DEP. DENGINYERIA ELECTRNICA FACULTAT DE FSICA Universitat de Valncia

17

ELECTRNICA Tema 8

LIC. EN FSICA Curso 03-04

En primer lugar se introduce el concepto de implicante primo : aquel implicante, trmino producto, tal que si se elimina alguna variable de l ya no implica a la funcin. A efectos prcticos son los trminos que hemos obtenido, una vez simplificada la funcin. Se dice que un implicante primo es esencial si es el nico implicante primo que recubre algn uno de la funcin. El mtodo ms sencillo de simplificacin es: primero poner los implicantes primos esenciales, si los hay, y despus aadir el resto hasta cubrir todos los unos. Tambin es importante tener en cuenta lo que se denomina nivel de una funcin: el nmero mximo de puertas que debe pasar cualquiera de las variables de la funcin para llegar a la salida . Evidentemente nos interesa que este sea mnimo, para evitar lo que se denomina riesgos estticos o dinmicos, debido a los retardos que introduce cada puerta. Otra cuestin es usar el mnimo nmero de IC, ahorra espacio y por tanto costo de realizacin; coste de integrados, de placa y de espacio, que tambin es importante. Respecto a las entradas que puedan sobrar en una puerta, no se deben dejar al aire, y tampoco es conveniente que una variable ataque a dos entradas de la misma puerta, a pesar que por simplificar y por no complicar las cosas, se haya usado en los esquemas. En el tema siguiente se comprendern las razones de esto ltimo. El mtodo de la tabla de Karnaugh, como hemos dicho previamente, es til para un nmero limitado de variables. Si el nmero de variables crece hay que recurrir a otros mtodos programables tal como el mtodo de Quine -McCluske.

REFERENCIAS BIBLIOGRFICAS DEL TEMA. 1. Diseo digital principios y prcticas (Cap. 3) John F. Wakerly 2. Circuitos y sistemas digitales (Cap 4 y 5) J. E. Garca Snchez, D. Gil Toms, M. Martnez Iniesta

18

F. MUGARRA, DEP. DENGINYERIA ELECTRNICA FACULTAT DE FSICA Universitat de Valncia

LIC. EN FSICA Curso 03-04

ELECTRNICA Tema 8

PROBLEMAS

1. Demuestra la propiedad asociativa en el lgebra de Boole bivaluada: (X1 + ..... + XN-1 ) + XN = X1 + (X2 + ..... + XN) SOLUCIN. Para demostrar la propiedad asociativa del lgebra de Boole bivaluada, usaremos el mtodo de induccin. Hemos de demostrar que:

(X1 + ..... + XN-1 ) + XN = X1 + (X2 + ..... + XN) Es decir la operacin suma de N variables booleanas tiene resultado nico, y por tanto se cumple:

(X1 + ..... + XN-1 ) + XN = X1 + (X2 + ..... + XN) = X1 + X2 + ..... + XN Empezamos para demostrarlo para N = 3:

(X1 + X2 ) + X3 = X1 + (X2 + X3 ) = X1 + X2 + X3 Usaremos para ello la tabla adjunta.

X1 X2 X3 X1 + X2 X2 + X3 000 0 0 001 0 1 010 1 1 011 1 1 100 1 0 101 1 1 110 1 1 111 1 1

(X1 + X2 ) + X3 0 1 1 1 1 1 1 1

X1 + (X2 + X3 ) 0 1 1 1 1 1 1 1

De la misma forma se hara la demostracin para N = 4, y por tanto:

F. MUGARRA, DEP. DENGINYERIA ELECTRNICA FACULTAT DE FSICA Universitat de Valncia 19

ELECTRNICA Tema 8

LIC. EN FSICA Curso 03-04

(X1 + X2 + X3 ) + X4 = X1 + (X2 + X3 + X4 ) = X1 + X2 + X3 + X4 Aplicando el mtodo de la induccin finita se supone que se cumple para N1 y se ha de demostrar para N. Por tanto suponemos que se cumple para N-1:

(X1 + .... + XN-2 ) + XN-1 = X1 + (X2 + ... + XN-1 ) = X1 + X2 + ... + XN-1

y se ha de demostrar que se cumple para N:

(X1 + .... + XN-1 ) + XN = X1 + (X2 + ... + XN) = X1 + X2 + ... + XN Para ello partimos de la primera expresin:

(X1 + .... + XN-1 ) + XN = X1 + (X2 + .... + XN-1 ) + XN = X1 + (X2 + .... + XN) 2. Demuestra que en el lgebra de Boole bivaluada se cumplen las propiedades enunciadas. a. b. c. d. e. f. x + xy = x + y x + xy = x + y xy + xyz = xy + xz xy + xz + yz = xy + xz xy + xz = (x + z) (x + y) xy + xy = (x + y) (x + y)

SOLUCIONES. a. x + xy = x (1 + y) + xy = x 1 + xy + xy = x + (x + x)y = x + y b. x + xy = x (1 + y) + xy = x 1 + xy + xy = x + (x + x)y = x + y c. xy + xyz = xy(1 + z) + xyz = xy 1 + xyz + xyz = xy + x(y + y) z = xy + xz d. xy + xz + yz = xy + xz + (x + x)yz = xy + xz + xyz + xyz = xy + xyz + xz + xyz = xy (1 + z) + xz (1 + y) = xy + xz

Los casos e y f se dejan como ejercicios.

20

F. MUGARRA, DEP. DENGINYERIA ELECTRNICA FACULTAT DE FSICA Universitat de Valncia

LIC. EN FSICA Curso 03-04

ELECTRNICA Tema 8

3. Realiza una puerta AND de tres entradas con puertas AND de dos entradas.

SOLUCIN.

4. Realiza ahora una puerta NAND de tres entradas con puertas NAND de dos entradas. Analiza la diferencia de comportamiento de ambos tipos puertas en la expansin del nmero de entradas y su relacin con la propiedad asociativa.

SOLUCIN.

La diferencia en la solucin de los problemas 3 y 4, reside en que mientras la operacin AND tiene la propiedad asociativa:

a (bc) = (ab) c = abc

La operacin NAND no tiene la propiedad asociativa: a (bc) (ab) c (abc)

F. MUGARRA, DEP. DENGINYERIA ELECTRNICA FACULTAT DE FSICA Universitat de Valncia

21

ELECTRNICA Tema 8

LIC. EN FSICA Curso 03-04

5. Dada una tabla de Karnaugh de cuatro variables lgicas: a, b, c y d. Obtn los cuatro trminos contiguos en la tabla del minitrmino abcd, e indica su posicin en la tabla. SOLUCIN. Los elementos contiguos los obtenemos complementando cada vez una de las variables: Minitrmino: Contiguos: dcba dcba dcba dcba dcba

En la tabla de Karnaugh se muestra con M la posicin del minitrmino, y con C la posicin de sus cuatro contiguos.
ba dc 00 01 11 10

00

01

11

10

M C

6. Dada la funcin lgica de cuatro variables: F(d, c, b, a) = dcba + dcba + dcba + dcba + dcba + dcba. Simplifica la funcin: primero algebraicamente y posteriormente mediante una tabla de Karnaugh. Compara resultados.

SOLUCIN.

Si planteamos la simplificacin algebraica directa, aplicando la propiedad distributiva obtendramos:

dcba + dcba + dcba + dcba + dcba + dcba = dba (c+c) + (d+d) cba + dba (c+c) = = (d+d) ba + cba = ba + cba

22

F. MUGARRA, DEP. DENGINYERIA ELECTRNICA FACULTAT DE FSICA Universitat de Valncia

LIC. EN FSICA Curso 03-04

ELECTRNICA Tema 8

Pero si antes de usar la propiedad distributiva duplicamos el segundo y cuarto minitrmino, el resultado que se obtiene es:

dcba + (dcba + dcba) + dcba + (dcba + dcba) + dcba + dcba = = dba (c+c) + dca (b+b) + dca (b+b) + dba (c+c) = = (d+d) ba + (d+d) ca = = ba + ca Que es un forma ms simplificada. Es evidente que no es fcil de intuir que minitrminos hay que duplicar, salvo que usemos una tabla de Karnaugh. En la tabla de Karnaugh adjunta de la funcin, se ve en las agrupaciones que minitrminos estamos usando de forma mltiple:

ba 00 dc 00 01 11 10 0 0 0 0

01 1 1 1 1

11 0 1 1 0

10 0 0 0 0

7. Dada la funcin lgica F (d, c, b, a) = (0, 1, 2, 4, 5, 6, 8, 9, 12, 13, 14), implementa dicha funcin mediante puertas NAND y puertas NOR.
N 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 d 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 c 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 b 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 a 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1

F
1 1 1 0 1 1 1 0 1 1 0 0 1 1 1 0

SOLUCIN. Tal como se da la funcin: F(d, c, b, a), significa que se ha de tomar como variable ms significativa la d y como menos significativa la a, por tanto la expresin de la funcin lgica: F (d, c, b, a) = (0, 1, 2, 4, 5, 6, 8, 9, 12, 13, 14)

equivale a la tabla anexa

F. MUGARRA, DEP. DENGINYERIA ELECTRNICA FACULTAT DE FSICA Universitat de Valncia

23

ELECTRNICA Tema 8

LIC. EN FSICA Curso 03-04

Pasemos a realizar la tabla de Karnaugh de la funcin propuesta. La tabla se da en el cuadro ane xo, donde se han puesto a 1 los minitrminos de los que consta la funcin. El nmero de orden de cada minitrmino se ha indicado en la esquina superior izquierda del mismo.
ba dc

00
0 1

01

11
3 7 15

10
2 6 14 10

00
4

1 1 1
8 5 13

1 1 1
9

0 0 0

1 1 1 0

01
12

11 10

11

Para realizar la funcin con puertas NAND simplificamos la funcin mediante la tabla de Karnaugh, realizando las siguientes agrupaciones de trminos en 1: a) 0, 1, 4, 5, 12, 13 8, 9 b) 0, 2, 4, 6 c) 4, 6, 12, 14 = b = da = ca

Cuya realizacin estndar con puertas NAND es:

Pero en este caso es evidente que la r ealizacin es simplificable ya que se realiza una doble inversin de la variable b. La nueva realizacin ms sencilla la podemos ver en el esquema siguiente:

24

F. MUGARRA, DEP. DENGINYERIA ELECTRNICA FACULTAT DE FSICA Universitat de Valncia

LIC. EN FSICA Curso 03-04

ELECTRNICA Tema 8

Para realizar la funcin con puertas NOR simplificamos la funcin mediante la tabla de Karnaugh, realizando las siguientes agrupaciones de trminos en 0:

a) 3, 7, 15, 11 b) 11, 10

= ba = dcb

Cuya realizacin estndar con puertas NOR es:

F. MUGARRA, DEP. DENGINYERIA ELECTRNICA FACULTAT DE FSICA Universitat de Valncia

25

ELECTRNICA Tema 8

LIC. EN FSICA Curso 03-04

8. Dada la funcin: F (d, c, b, a) = ba + cba + cba + dba + dca. Simplifica y realiza dicha funcin con puertas NAND. SOLUCIN. Para simplificar la funcin realizamos su tabla de Karnaugh. Para ello agrupamos los tres primeros trminos de la funcin:
ba 00 dc 01 1 1 1 1 11 1 1 1 1 10

ba + cba + cba = ba + ba = a
00

Este trmino pone a 1 las dos columnas centra les de la tabla de Karnaugh, tal como muestra la tabla adjunta Faltan por aadir los dos ltimos trminos de la funcin. Para ello los desarrollamos:

01 11 10

dba + dca = dba (c + c) + dca (b + b) = = dcba + dcba + dcba + dcba = = dcba + dcba + dcba

ba 00 dc 00 01 11 10 1 0 0 0

01 1 1 1 1

11 1 1 1 1

10 1 1 0 0

El ltimo trmino est duplicado y se ha simplificado. Se han obtenido tres minitrminos producto que aaden tres nuevos unos a la tabla de Karnaugh. Esta resulta la tabla adjunta.

Las agrupaciones a realizar son tres: X1 : a X2 : dc X3 : db

01 ba 00 dc 00 1
X2

01 1 1 1 1
X1

11 1 1 1 1

10 1 1
X3

0 0 0

Tal como muestra la tabla adjunta. Por tanto la funcin ser:

11 10

0 0

F (d, c, b, a) = a + dc + db

26

F. MUGARRA, DEP. DENGINYERIA ELECTRNICA FACULTAT DE FSICA Universitat de Valncia

LIC. EN FSICA Curso 03-04

ELECTRNICA Tema 8

La realizacin con puertas NAND de la funcin simplificada es la que muestra el esquema adjunto.

9. La funcin F (d, c, b, a) est definida por el mapa de Karnaugh de la figura contigua. Realiza dicha funcin con puertas NOR.

dc \ ba 00 01 11 10

00 0 1 1 0

01 1 1 1 1

11 0 0 0 0

10 0 1 1 0

SOLUCIN. Para realizar la funcin con puertas NOR se busca en la tabla de Karnaugh la mejor agrupacin de ceros, la cual es: 1) Las cuatro esquinas dan el tmino ca 2) La tercera columna da el trmino F (d, c, b, a) = ca + ba F (d, c, b, a) = (ca + ba) = ( (c + a) + (b + a) ) Que conduce a la realizacin con puertas NOR del esquema adjunto. ba

F. MUGARRA, DEP. DENGINYERIA ELECTRNICA FACULTAT DE FSICA Universitat de Valncia

27

ELECTRNICA Tema 8

LIC. EN FSICA Curso 03-04

10. Realiza con puertas NAND y despus con puertas NOR, la funcin cuya tabla de Karnaugh es la de la figura contigua, donde las X son trminos indiferentes.. dc \ ba 00 01 11 10 00 0 1 1 0 01 1 1 1 1 11 0 0 0 0 10 0 X X 0

SOLUCIN. Para la realizacin con puertas NAND realizamos la mejor agrupacin posible de unos tomando los dos trminos indiferentes (X) como unos. De la tabla de Karnaugh adjunta se deducen dos trminos:

ba 00 dc 00 01 11 10 0
X1

01 1 1 1 1
X2

11 0 0 0 0

10 0 X X 0

1 1 0

X1 : X2 :

ca ba

La realizacin con puertas NAND es la del circuito adjunto.

28

F. MUGARRA, DEP. DENGINYERIA ELECTRNICA FACULTAT DE FSICA Universitat de Valncia

LIC. EN FSICA Curso 03-04

ELECTRNICA Tema 8

Para realizarlo con puertas NOR los trminos indiferentes interesa tomarlos como 0, por tanto se obtienen los trminos X1 y X2 que muestra la tabla de Karnaugh adjunta.

ba 00 dc 00 01 11 0 1 1
X2

01 1 1 1 1

11
X1

10 0 X X 0

0 0 0 0

X1 : X2 :

b ca

Esta simplificacin lleva a la realizacin

10

F. MUGARRA, DEP. DENGINYERIA ELECTRNICA FACULTAT DE FSICA Universitat de Valncia

29

ELECTRNICA Tema 8

LIC. EN FSICA Curso 03-04

11. Realiza con puertas NAND de dos entradas la funcin lgica: F(d, c, b, a) = ba + cb + dc. SOLUCIN.
ba 00 dc 01 0 0 1 0 11
X1

10 0
X3

Elaboramos la tabla de Karnaugh para comprobar que la simplificacin es mxima, y esta nos muestra que es as.

00 01

0 0
X2

1 1 1 1

1 1 0

X1 : X2 : X3 :

ba dc cb

11 10

1 0

Por tanto la realizacin con puertas NAND necesitara tres puertas NAND de dos entradas y una de tres entradas. Como se ha de realizar slo con puertas NAND de dos entradas, la puerta de tres entradas se realiza como se desarroll en el problema 4. El esquema resultante es el del esquema adjunto.

12. Realiza mediante puertas NOR la inversa de la funcin: F (d, c, b, a) = ca+ db SOLUCIN. Puesto que la inversa de la funcin : F (d, c, b, a) = ca+ db, tiene por ceros en su tabla de Karnaugh lo que en la tabla de Karnaugh de la funcin F son unos. La agrupacin de ceros en la tabla de Karnaugh de la funcin F ser la simplificacin que nos dan de la funcin F: ca + db La realizacin con puertas NOR de F ser:

30

F. MUGARRA, DEP. DENGINYERIA ELECTRNICA FACULTAT DE FSICA Universitat de Valncia

LIC. EN FSICA Curso 03-04

ELECTRNICA Tema 8

d 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1

c 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1

b 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1

a 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1

F 0 0 0 0 0 1 0 1 0 1 0 1 1 1 1 1

13. La tabla adjunta, es la tabla de verdad de una funcin lgica de cuatro variables: F(d, c, b, a). Obtener: a) Tabla de Karnaugh de la funcin F(d, c, b, a). b) Realiza dicha funcin con el mnimo posible de puertas NAND, de cualquier nmero de entradas. c) Realiza dicha funcin con el mnimo posible de puertas NOR de dos entradas. ba 00 01 11 10 SOLUCIN. dc a) 00 01 11 10 0 0 1 0 0 1 1 1 0 1 1 1 0 0 1 0

b) En la tabla de Karnaugh se obtienen tres agrupaciones de 1 que son: X1: X2: X3: ca da dc

Lo cual conduce a la realizacin con puertas NAND:

F. MUGARRA, DEP. DENGINYERIA ELECTRNICA FACULTAT DE FSICA Universitat de Valncia 31

ELECTRNICA Tema 8

LIC. EN FSICA Curso 03-04

c) Para la realizacin con puertas NOR se realiza la agrupacin de ceros, resultando los tres trminos: X1: X2: X3: ca da dc

32

F. MUGARRA, DEP. DENGINYERIA ELECTRNICA FACULTAT DE FSICA Universitat de Valncia

LIC. EN FSICA Curso 03-04

ELECTRNICA Tema 8

14. Da la tabla de Karnaugh de la funcin: F(d, c, b, a) = ca + db

Se puede obtener directamente de los dos implicantes primos que nos dan. Si no se logra obtener directamente, se puede recurrir a deshacer la simplificacin que dio lugar a la obtencin de los trminos que forman la funcin: F(d, c, b, a) = ca + db = ca (b+b) (d+d) + db (a+a) (c+c) = cabd + cabd + cabd + cabd + dbac + dbac + dbac + dbac El minitrmino dbca est duplicado ya que estaba contenido en ambos implicantes primos esenciales

15 Simplifica la funcin cuya tabla de Karnaugh se adjunta, para realizarla con: 1. Puertas NAND 2. Puertas NOR --------------------------------------------------------Para realizarla con puertas realizamos la agrupacin de 1 : NAND

Las filas centrales es el implicante primo esencial c. La segunda columna es el implicante primo esencial es ba: F(d, c, b, a) = c + ba

F. MUGARRA, DEP. DENGINYERIA ELECTRNICA FACULTAT DE FSICA Universitat de Valncia

33

ELECTRNICA Tema 8

LIC. EN FSICA Curso 03-04

Para realizarla con puertas NOR realizamos la agrupacin de 0 : No existe ning n implicante primo esencial si usamos la flexibilidad que introducen los trminos indiferentes, por ello se pueden obtener cuatro realizaciones diferentes pero equivalentes: ca + db ca + cb F (d, c, b, a) = dc + cb dc + db

F(d, c, b, a) = ca + db ? F(d, c, b, a) = ca + cb ? F(d, c, b, a) = dc + cb ? F(d, c, b, a) = dc + db ?

F(d, c, b, a) = F(d, c, b, a) = F(d, c, b, a) = F(d, c, b, a) =

( ca + db ) ( ca + cb ) ( dc + cb ) ( dc + db )

Realizamos con puertas NOR la primera de las cuatro agrupaciones: F(d, c, b, a) = ( ca + db ) = ( (ca) + (db) ) = ( (c+a) + (d+b) )

34

F. MUGARRA, DEP. DENGINYERIA ELECTRNICA FACULTAT DE FSICA Universitat de Valncia