COMPUERTAS LGICAS Las computadoras digitales utilizan el sistema de nmeros binarios, que tiene dos dgitos 0 y 1.

Un dgito binario se denomina un bit. La informacin est representada en las computadoras digitales en grupos de bits. Utilizando diversas tcnicas de codificacin los grupos de bits pueden hacerse que representen no solamente nmeros binarios sino tambin otros smbolos discretos cualesquiera, tales como dgitos decimales o letras de alfabeto. Utilizando arreglos binarios y diversas tcnicas de codificacin, los dgitos binarios o grupos de bits pueden utilizarse para desarrollar conjuntos completos de instrucciones para realizar diversos tipos de clculos. La informacin binaria se representa en un sistema digital por cantidades fsicas denominadas seales, Las seales elctricas tales como voltajes existen a travs del sistema digital en cualquiera de dos valores reconocibles y representan una variable binaria igual a 1 o 0. Por ejemplo, un sistema digital particular puede emplear una seal de 3 volts para representar el binario "1" y 0.5 volts para el binario "0". La siguiente ilustracin muestra un ejemplo de una seal binaria.

Como se muestra en la figura, cada valor binario tiene una desviacin aceptable del valor nominal. La regin intermedia entre las dos regiones permitidas se cruza solamente durante la transicin de estado. Los terminales de entrada de un circuito digital aceptan seales binarias dentro de las tolerancias permitidas y los circuitos responden en los terminales de salida con seales binarias que caen dentro de las tolerancias permitidas. La lgica binaria tiene que ver con variables binarias y con operaciones que toman un sentido lgico. La manipulacin de informacin binaria se hace por circuitos lgicos que se denominan Compuertas. Las compuertas son bloques del hardware que producen seales en binario 1 0 cuando se satisfacen los requisitos de entrada lgica. Las diversas compuertas lgicas se encuentran comnmente en sistemas de computadoras digitales. Cada compuerta tiene un smbolo grfico diferente y su operacin puede describirse por medio de una funcin algebraica. Las relaciones entrada - salida de las variables binarias para cada compuerta pueden representarse en forma tabular en una tabla de verdad. A continuacin se detallan los nombres, smbolos, grficos, funciones algebraicas, y tablas de verdad de las compuertas ms usadas.

Compuerta AND: (ver funcionamiento) Cada compuerta tiene dos variables de entrada designadas por A y B y una salida binaria designada por x. La compuerta AND produce la multiplicacin lgica AND: esto es: la salida es 1 si la entrada A y la entrada B estn ambas en el binario 1: de otra manera, la salida es 0. Estas condiciones tambin son especificadas en la tabla de verdad para la compuerta AND. La tabla muestra que la salida x es 1 solamente cuando ambas entradas A y B estn en 1. El smbolo de operacin algebraico de la funcin AND es el mismo que el smbolo de la multiplicacin de la aritmtica ordinaria (*). Las compuertas AND pueden tener ms de dos entradas y por definicin, la salida es 1 si todas las entradas son 1. Compuerta OR: (ver funcionamiento) La compuerta OR produce la funcin sumadora, esto es, la salida es 1 si la entrada A o la entrada B o ambas entradas son 1; de otra manera, la salida es 0. El smbolo algebraico de la funcin OR (+), es igual a la operacin de aritmtica de suma. Las compuertas OR pueden tener ms de dos entradas y por definicin la salida es 1 si cualquier entrada es 1. Compuerta NOT: (ver funcionamiento) El circuito NOT es un inversor que invierte el nivel lgico de una seal binaria. Produce el NOT, o funcin complementaria. El smbolo algebraico utilizado para el complemento es una barra sobra el smbolo de la variable binaria. Si la variable binaria posee un valor 0, la compuerta NOT cambia su estado al valor 1 y viceversa. El crculo pequeo en la salida de un smbolo grfico de un inversor designa un inversor lgico. Es decir cambia los valores binarios 1 a 0 y viceversa. Compuerta Separador (yes): Un smbolo tringulo por s mismo designa un circuito separador, el cual no produce ninguna funcin lgica particular puesto que el valor binario de la salida es el mismo de la entrada. Este circuito se utiliza simplemente para amplificacin de la seal. Por ejemplo, un separador que utiliza 5 volt para el binario 1, producir una salida de 5 volt cuando la entrada es 5 volt. Sin embargo, la corriente producida a la salida es muy superior a la corriente suministrada a la entrada de la

misma. De sta manera, un separador puede excitar muchas otras compuertas que requieren una cantidad mayor de corriente que de otra manera no se encontrara en la pequea cantidad de corriente aplicada a la entrada del separador. Compuerta NAND: (ver funcionamiento) Es el complemento de la funcin AND, como se indica por el smbolo grfico, que consiste en una compuerta AND seguida por un pequeo crculo (quiere decir que invierte la seal). La designacin NAND se deriva de la abreviacin NOT AND. Una designacin ms adecuada habra sido AND invertido puesto que es la funcin AND la que se ha invertido. Las compuertas NAND pueden tener ms de dos entradas, y la salida es siempre el complemento de la funcin AND. Compuerta NOR: (ver funcionamiento) La compuerta NOR es el complemento de la compuerta OR y utiliza el smbolo de la compuerta OR seguido de un crculo pequeo (quiere decir que invierte la seal). Las compuertas NOR pueden tener ms de dos entradas, y la salida es siempre el complemento de la funcin OR.

Modos de representacin
Existen distintas formas de representar una funcin lgica, entre las que podemos destacar las siguientes: Algebraica Por tabla de verdad Numrica Grfica El uso de una u otra, como veremos, depender de las necesidades concretas en cada caso.

Algebraica
Se utiliza cuando se realizan operaciones algebraicas. A continuacin se ofrece un ejemplo con distintas formas en las que se puede expresar algebraicamente una misma funcin de tres variables.

a) F = [(A + BC) + ABC] + ABC b) F = ABC + ABC + ABC + ABC c) F = (A + B + C)(A + B + C)(A + B + C)(A + B + C) d) F = BC + AB e) F = (A + B)(B + C) f) F = [(BC) (AB)] g) F = [(A + B) + (B + C)] La expresin a) puede proceder de un problema lgico planteado o del paso de unas especificaciones a lenguaje algebraico. Las formas b) y c) reciben el nombre expresiones cannicas de suma de productos (sum-of-products, SOP, en ingls), la b), y de productos de sumas (product-of-sums, POS, en ingls), la c); su caracterstica principal es la aparicin de cada una de las variables (A, B y C) en cada uno de los sumandos o productos. Las d) y e) son funciones simplificadas, esto es, reducidas a su mnima expresin. Las dos ltimas expresiones tienen la particularidad de que exclusivamente utiliza funciones NO-Y, la f), o funciones NO-O, la g).

Por tabla de verdad Una tabla de verdad contiene todos los valores posibles de una funcin lgica dependiendo del valor de sus variables. El nmero de combinaciones posibles para una funcin de n variables vendr dado por 2n. Una funcin lgica puede representarse algebraicamente de distintas formas como acabamos de ver, pero slo tiene una tabla de verdad. La siguiente tabla corresponde a la funcin lgica del punto anterior. A BC F 0 0 0 0 0 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 1 0 1 0 1 1 0 La forma ms cmoda para ver la equivalencia entre una tabla de verdad y una expresin algebraica es cuando esta ltima se da en su forma cannica. As, la funcin cannica de suma de productos F = ABC + ABC + ABC + ABC

nos indica que ser 1 cuando lo sea uno de sus sumandos, lo que significa que tendr por lo tanto cuatro combinaciones que lo sern (010 para ABC, 100 para ABC, 101 para ABC y 110 para ABC) siendo el resto de combinaciones 0. Con la funcin cannica de producto de sumas se puede razonar de forma anloga, pero en este caso observando que la funcin ser 0 cuando lo sea uno de sus productos. Tambin es fcil obtener la tabla de verdad a partir de la funcin simplificada, pero no as a la inversa Numrica La representacin numrica es una forma simplificada de representar las expresiones cannicas. Si consideramos el criterio de sustituir una variable sin negar por un 1 y una negada por un 0, podremos representar el trmino, ya sea una suma o un producto, por un nmero decimal equivalente al valor binario de la combinacin. Por ejemplo, los siguientes trminos cannicos se representarn del siguiente modo (observe que se toma el orden de A a D como de mayor a menor peso): ABCD = 10112 = 1110 A + B + C + D = 01002 = 410 Forma cannica suma de productos: Es aquella constituida exclusivamente por trminos cannicos productos (minterminos) sumados que aparecen una sola vez.

Por ejemplo: F(X,Y,Z)

__ __ _ _ =XYZ+XYZ+X YZ + X YZ + X Y Z

Para simplificar la escritura en forma de suma cannica de productos, se utiliza una notacin especial. A cada mintermino se le asocia un numero binario de n bits resultante de considerar como 0 las variables complementadas y como 1 las variables no complementadas. As por ejemplo el mintermino Z corresponde a combinacin X=0, Y=0, Z=1 que representa el numero binario 001, cuyo valor decimal es 1. A este mintermino lo identificaremos entonces como m1. __ __ _ _ =XYZ+XYZ+XYZ+X YZ + X Y Z m(1, 4,5,6,7) que quiere decir la sumatoria de los

De esta forma, la funcin : F(X,Y,Z) se puede expresar como: F(X,YZ) = minterminos 1,4,5,6,7

Forma cannica producto de sumas: Es aquella constituida exclusivamente por trminos cannicos sumas (maxterminos) multiplicados que aparecen una sola vez. _ _ _ Por ejemplo F(X,Y,Z) =( X + Y + Z ) ( X + Y + Z ) ( X + Y + Z ) Anlogamente al caso anterior, podemos simplificar la expresin de la funcin, indicando los maxterminos. Sin embargo, en este caso se hace al contrario de antes. A cada maxtermino se le asocia un numero binario de n bits resultante de considerar como 1 las variables complementadas y como 0 las variables no complementadas. As por ejemplo el maxtermino ' + Y + Z corresponde a combinacin X=1, Y=0, Z=0 que representa el numero binario 100, cuyo valor decimal es 4. A este maxtermino lo identificaremos entonces como M4. _ _ _ F(X,Y,Z) = ( X + Y + Z ) ( X + Y + Z ) ( X + Y + Z ) M(0,2,3) que quiere decir el producto de los

De esta forma, la funcin:

se puede expresar como: F(X,YZ) = maxterminos 0,2,3

En resumen, cada mintermino se asocia con la combinacin de entrada para la que la funcin producira un 1, y cada maxtrmino con la combinacin para la que producira un 0. En la tabla de la derecha se muestran los minterminos y los maxterminos asociados con cada combinacin en una tabla de verdad de 3 variables. De acuerdo con esta tabla para determinar el termino producto o suma se hace lo siguiente: para los minterminos cada variable no complementada se asocia con un 1 y cada variable complementada se asocia con 0. Para los maxtrminos la regla es la inversa.

Valor X Y Mintermino Maxtermino decimal Z 0 1 2 3 4 5 6 7 0 0 X Y Z = m0 X + Y + Z = M0 0 0 0 X Y Z = m1 X + Y + Z = M1 1 0 1 X Y Z = m2 X + Y + Z = M2 0 0 1 X Y Z = m3 X + Y + Z = M3 1 1 0 X Y Z = m4 X + Y + Z = M4 0 1 0 X Y Z = m5 X + Y + Z = M5 1 1 1 X Y Z = m6 X + Y + Z = M6 0 1 1 X Y Z = m7 X + Y + Z = M7 1

Ejemplo 1. Exprese la siguiente funcin como una suma de minterminos: _ F = X + YZ

X Y Z F=X+ Y Z
0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 0 1 0 0 1 1 1 1

minterminos

Se evala la funcin para todas las combinaciones y se toman los minterminos de la tabla para los cuales la funcin vale 1. __ __ _ _ La respuesta es :F= X Y Z + X Y Z + X Y Z + X Y Z + X Y Z Otra notacin que podemos utilizar es: F= m(1, 4,5,6,7)

XYZ

XY Z XY Z XY Z XYZ

que quiere decir la sumatoria de los minterminos 1,4,5,6,7

Ejemplo 2. Exprese la siguiente funcin como un producto de maxterminos: _ F = X + YZ De nuevo, se puede resolver construyendo una tabla de verdad o con manipulacin algebraica. Se obtiene la tabla de verdad de la funcin. Tomando los maxterminos desde la tabla de verdad, la respuesta es: XYZ F= X + Y Z maxtermino s (X+Y+Z) (X+Y+Z) (X+Y+Z ) Se evala la funcin para todas las combinaciones y se toman los maxtermino de la tabla para los cuales la funcin vale 0. _ _ _ La respuesta es: F = ( X + Y+ Z ) ( X + Y+ Z ) ( X + Y+ Z ) Otra notacin que podemos utilizar es: F= M(0,2,3) que quiere decir el producto de los maxterminos 0,2,3

0000 0011 0100 0110 1001 1011 1101 1111

Grfica. La representacin grfica es la que se utiliza en circuitos y esquemas electrnicos. En la siguiente figura se representan grficamente dos funciones algebraicas, una con smbolos

no normalizados, superior, y la otra con normalizados, inferior (vanse los smbolos de las puertas lgicas)

Grfico de Karnaugh. Este mtodo consiste en formar diagramas de 2n cuadros, siendo n el nmero de variables. Cada cuadro representa una de las diferentes combinaciones posibles y se disponen de tal forma que se puede pasar de un cuadro a otro en las direcciones horizontal o vertical, cambiando nicamente una variable, ya sea en forma negada o directa. Este mtodo se emplea fundamentalmente para simplificar funciones de hasta cuatro variables. Para un nmero superior utilizan otros mtodos como el numrico. A continuacin pueden observarse los diagramas, tambin llamados mapas de Karnaugh, para dos, tres y cuatro variables.

Mapas de Karnaugh para dos, tres y cuatro variables Es una prctica comn numerar cada celda con el nmero decimal correspondiente al trmino cannico que albergue, para facilitar el trabajo a la hora de plasmar una funcin cannica. Para simplificar una funcin lgica por el mtodo de Karnaugh se seguirn los siguientes pasos: 1) Se dibuja el diagrama correspondiente al nmero de variables de la funcin a simplificar. 2) Se coloca un 1 en los cuadros correspondientes a los trminos cannicos que forman parte de la funcin.

3) Se agrupan mediante lazos los unos de casillas adyacentes siguiendo estrictamente las siguientes reglas: a) Dos casillas son adyacentes cuando se diferencian nicamente en el estado de una sola variable. b) Cada lazo debe contener el mayor nmero de unos posible, siempre que dicho nmero sea potencia de dos (1, 2, 4, etc.) c) Los lazos pueden quedar superpuestos y no importa que haya cuadrculas que pertenezcan a dos o ms lazos diferentes. d) Se debe tratar de conseguir el menor nmero de lazos con el mayor nmero de unos posible. 4) La funcin simplificada tendr tantos trminos como lazos posea el diagrama. Cada trmino se obtiene eliminando la o las variables que cambien de estado en el mismo lazo. A modo de ejemplo se realizan dos simplificaciones de una misma funcin a partir de sus dos formas cannicas: F = 3(0,2,3,4,7) = 3(1,2,6) De acuerdo con los pasos vistos anteriormente, el diagrama de cada funcin quedar del siguiente modo:

Simplificacin de una funcin de tres variables La funcin simplificada tendr tres sumandos en un caso y dos productos en el otro. Si nos fijamos en el mapa correspondiente a la suma de productos, observamos que en el lazo 1 cambia la variable A (en la celda 0 es negada y en la 4 directa), en el lazo 2 es la C y en el lazo 3 vuelve a ser A. por lo tanto, la ecuacin simplificada es: F = BC + AB + BC Razonando de modo similar en el mapa de productos de sumas, nos quedar: F = (B + C)(A + B + C)