Introduccin a los Circuitos Lgicos Taller De Investigacin

AUTOR:
Cruz Daniel Delgado Estrada

Mayo, 2011

Cruz Daniel Delgado Estrada 3451

Resumen
Los circuitos lgicos forman la base de cualquier dispositivo en el que se tengan que seleccionar o combinar seales de manera controlada. Los circuitos lgicos nos sirven tanto en la conmutacin telefnica como en las transmisiones por satlite y el funcionamiento de las computadoras digitales. De ah que sea importante el estudio de los mismos en el perfil del Ingeniero en Electrnica. El tema de Circuitos Lgicos forma parte del programa de la Ing. en Electrnica. El presente trabajo hace una recopilacin de informacin referente al tema y un anlisis de lo que puede servir de base para la mejor comprensin del funcionamiento de las computadoras. El trabajo nos servir para retroalimentar las habilidades que deben desarrollar los estudiantes aspirantes a Ingenieros en Electrnica y que necesitan del diseo de los circuitos lgicos. Palabras claves: compuerta lgica, circuito lgico

Cruz Daniel Delgado Estrada 3451

ndice Introduccin Desarrollo Conclusiones Bibliografa Datos del autor

Cruz Daniel Delgado Estrada 3451

Introduccin
Para que un Ingeniero en Electrnica sepa disear circuitos lgicos es necesario que conozcan los siguientes temas: y lgebra de Boole: El lgebra booleana constituye un rea de la disciplina Matemtica que ha pasado a ocupar un lugar destacado con la llegada de la computadora digital. Son usadas ampliamente en el diseo de circuitos de distribucin y computadoras, y sus aplicaciones van en aumento en muchas otras reas. Compuertas lgicas: Una compuerta lgica es un dispositivo electrnico que es la expresin fsica de un operador booleano en la lgica de conmutacin. Cada compuerta lgica consiste en una red de dispositivos interruptores que cumple las condiciones booleanas para el operador particular. Funciones lgicas: En el nivel de lgica digital de una computadora se trabaja con diferencias de tensin, las cuales generan funciones que son calculadas por los circuitos que forman el nivel. Estas funciones, en la etapa de diseo del hardware, son interpretadas como funciones booleanas. Mapa de Karnaugh: Un mapa de Karnaugh es un diagrama utilizado para la minimizacin de funciones algebraicas booleanas.

Cruz Daniel Delgado Estrada 3451

Desarrollo
lgebra de Boole
El lgebra de Boole tanto para la informtica como para la matemtica son estructuras algebraicas que vigorizan las operaciones lgicas (Y, O y NO) as como el conjunto de operaciones unin, interseccin y complemento. Especficamente, el lgebra de Boole fue un intento de utilizar las tcnicas algebraicas para tratar expresiones de la lgica proposicional. En la actualidad, el lgebra de Boole se aplica de forma generalizada en el mbito del diseo electrnico. El lgebra de Boole es toda clase o conjunto de elementos que pueden tomar dos valores diferenciados, que se designa por 0 y 1 y que estn relacionados por dos funciones binarias denominadas suma (+) y producto ( )1.
Operaciones

Se ha definido el conjunto A = {0,1} como el conjunto universal sobre el que se aplica el lgebra de Boole, sobre estos elementos se definen varias operaciones, a continuacin se muestran las fundamentales: Operacin suma: La operacin suma (+) asigna a cada par de valores a, b de A un valor c de A:

Su equivalencia en lgica de interruptores es un circuito de dos interruptores en paralelo:

Si uno de los valores de a o b es 1, el resultado ser 1, es necesario que los dos sumandos sean 0, para que el resultado sea 0:

Cruz Daniel Delgado Estrada 3451

a b c 0 0 0 1 0 1 0 1 1 1 1 1 Operacin producto: La operacin producto ( ) asigna a cada par de valores a, b de A un valor c de A:

Esta operacin en lgica de interruptores es un circuito en serie de dos interruptores:

Solo si los dos valores a y b son 1, el resultado ser 1, si uno solo de ellos es 0 el resultado ser 0: a 0 1 0 1 b 0 0 1 1 c 0 0 0 1

Operacin negacin: La operacin negacin presenta el opuesto del valor de a:

Un interruptor inverso equivale a esta operacin:

Cruz Daniel Delgado Estrada 3451

Si a es 0, el resultado es 1 y si a es 1 el resultado es 0: a 0 1
Postulados

b 1 0

El lgebra de Boole es un sistema cerrado que consiste en un conjunto P de dos o ms elementos y las dos operaciones referenciadas anteriormente (+ y ) y cumple los siguientes postulados: 1. Las operaciones + y son conmutativas, o sea:

2. Cada operacin es distributiva para la otra, esto es:

3. Para cada elemento de P, por ejemplo el elemento a, existe un elemento a' tambin perteneciente a P tal que:

a + a' = 1 a

a' = 0

4. Para cada elemento de P:

Cruz Daniel Delgado Estrada 3451

Teoremas del lgebra de Boole

A continuacin se presentan los principales teoremas del lgebra de Boole:

Teorema 1: Teorema 2: Teorema 3: a + 0 = a Teorema 4: a Teorema 5: a 1=a 0=0

Ley de idempotencia

Teorema 6: a + 1 = 1 Teorema 7: Teorema 8: Teorema 9: a + a Teorema 10: a Teorema 11: Teorema 12: a' (a + b') = a' b' b=a (a + b) = a Ley de cancelacin Ley de Morgan

Teorema 13: a . b + a . b' = a Teorema 14: (a' + b') Teorema 15: a + a' = 1 Teorema 16: a a' = 0 (a' + b) = a'

Compuertas lgicas
Las compuertas lgicas son los circuitos ms sencillos. Se dividen en dos tipos: compuertas bsicas y compuertas universales. A partir de las compuertas universales se puede emular el comportamiento de las compuertas bsicas.

Cruz Daniel Delgado Estrada 3451 Compuerta bsica lgica AND o Y

La compuerta AND o Y lgica es una de las compuertas ms simples dentro de la Electrnica Digital. Su representacin es la que se muestra en la siguiente figura:

La compuerta Y lgica tiene dos entradas A y B, aunque puede tener ms de dos entradas pero slo tiene una salida X. La compuerta AND de 2 entradas tiene la siguiente tabla de verdad:

A 0 0 1 1

B 0 1 0 1

X 0 0 0 1

Se puede ver claramente que la salida X solamente es 1 (1 lgico, nivel alto) cuando la entrada A y la entrada B estn en 1. Esta situacin se representa en el lgebra booleana como: X=A B o X = AB

Compuerta bsica lgica "OR" o compuerta "O"

La compuerta O lgica o compuerta OR tiene una salida X que ser 1 cuando la entrada A o la entrada B est en 1. La representacin de la compuerta OR de 2 entradas y tabla de verdad se muestran a continuacin:

A 0 0 1 1

B 0 1 0 1

X 0 1 1 1

Cruz Daniel Delgado Estrada 3451

Y se representa con la siguiente funcin booleana: X = A+B o X = B+A

Compuerta bsica NOT o compuerta inversora

Dentro de la electrnica digital, la compuerta NOT (compuerta NO) brinda algunas facilidades. Tambin es llamada compuerta inversora. Esta compuerta entrega en su salida el inverso de la entrada. El smbolo y la tabla de verdad son los siguientes:
A 0 1 X 1 0

La salida de una compuerta NOT tiene el valor inverso al de su entrada. En el caso del grfico anterior la salida X = A. Esto significa que si a la entrada se tiene un 1 lgico, a la salida har un 0 lgico y si a la entrada se tiene un 0 a la salida habr un 1. Las compuertas NOT se pueden conectar en cascada, logrando despus de dos compuertas, la entrada original:

A 0 1

X 1 0

X 0 1

Nota: Un motivo para implementar un circuito que tenga en su salida, lo mismo que tiene en su entrada, es conseguir un retraso de la seal con un propsito especial.
Compuerta universal NAND o compuerta "NO Y"

Una compuerta NAND (NO Y) de dos entradas, se puede implementar con la concatenacin de una compuerta AND o Y de dos entradas y una compuerta NOT o inversora.

Cruz Daniel Delgado Estrada 3451

Al igual que en el caso de la compuerta AND, sta se puede encontrar en versiones de 2, 3 o ms entradas. Las tablas de verdad para la compuerta NAND de 2 entradas se especifica a continuacin:
A 0 0 1 1 B 0 1 0 1 X 1 1 1 0

Como se puede ver la salida X slo ser 0 cuando todas las entradas sean 1. Nota: Un caso interesante de este tipo de compuerta, al igual que la compuerta NOR o NO O, es que en la primera y ltima lnea de la tabla de verdad, la salida X tiene un valor opuesto al valor de las entradas. En otras palabras: con una compuerta NAND se puede obtener el comportamiento de una compuerta NOT o NO. En el siguiente diagrama se muestra la implementacin de una compuerta NOT con una compuerta NAND. En la tabla de verdad se ve que slo se dan dos casos a la entrada: cuando I = A = B = 0 cuando I = A = B = 1
X 1 0

I 0 1

Compuerta lgica universal "NOR" o No O"

Una compuerta NOR (No O) se puede implementar con la concatenacin de una compuerta OR con una compuerta NOT, como se muestra en la siguiente figura:

Al igual que en el caso de la compuerta OR, sta se puede encontrar en versiones de 2, 3 o ms entradas. Las tablas de verdad de compuertas de 2 entradas es la siguientes:
A 0 B 0 X 1

Cruz Daniel Delgado Estrada 3451

0 1 1 1 0 1 0 0 0

Como se puede ver la salida X slo ser 1 cuando todas las entradas sean 0. Aunque la compuerta NOR y NAND parecen ser la combinacin de una compuerta or o and con una NOT (como se muestra en la figura siguiente), en la realidad este tipo de compuertas no se construyen como si se combinara los dos tipos de compuertas antes mencionadas, si no que tienen un diseo independiente.

Equivalencias entre compuertas

A partir de NAND obtener las compuertas bsicas Hacer un NOT con NAND (unir las entradas)

Hacer un AND con NAND (negar la salida)

Hacer un OR con NAND (negar las entradas)

A partir de NOR obtener las compuertas bsicas Hacer NOT con NOR (unir las entradas)

Cruz Daniel Delgado Estrada 3451

Hacer AND con NOR (negar las entradas)

Hacer OR con NOR (negar la salida)

Funciones lgicas
Una funcin lgica o booleana es aquella funcin matemtica cuyas variables son binarias y estn unidas mediante los operadores del lgebra de Boole suma lgica (+), producto lgico ( ) o negacin (').

Mintrmino y maxtrmino
Se llama trmino cannico de una funcin lgica a todo producto o suma en el cual aparecen todas las variables (o sus complementos) de esa funcin. Es representada como la unin incompleta de mintrmino o interseccin incompleta de maxtrmino. Se define mintrmino de una funcin cannica de n variables a un trmino producto de n variables tal que cumpla las siguientes condiciones: 1. Cada trmino estar compuesto por la interseccin de las n variables. 2. Dichas variables pueden aparecer negadas o sin negar. 3. Ni las variables ni sus negaciones pueden repetirse en el trmino producto. Un maxtrmino de una funcin cannica de n variables es un trmino unin de n variables que cumpla las siguientes condiciones:

Cruz Daniel Delgado Estrada 3451

1. Cada trmino estar compuesto por la unin de las n variables. 2. Dichas variables pueden aparecer negadas o sin negar. 3. Ni las variables ni sus negaciones pueden repetirse en el trmino unin. El nmero mximo de maxtrmino o mintrmino es 2n, donde n es el nmero de variables de la funcin.

Mapa de Karnaugh
Para simplificar las funciones puede utilizarse varios mtodos. El Mapa de Karnaugh es una herramienta muy utilizada. Cuando se tiene una funcin lgica con su tabla de verdad y se desea implementar esa funcin de la manera ms econmica posible se utiliza este mtodo. Cada combinacin en la tabla de verdad es representada en un rea del Mapa de Karnaugh. Las reas se organizan de forma tal manera que entre un rea y otra slo cambie una variable, y se denominan reas adyacentes. Para un Mapa de Karnaugh de tres variables se considera como una superficie cilndrica en que los lados izquierdos y derechos o de arriba hacia abajo en dependencia de cmo se dibuje el mapa, estn unidos. Para el diagrama de cuatro variables se considera como un toroide: los lados izquierdo y derecho estn unidos y anlogamente el superior y el inferior. Para simplificar un Mapa de Karnaugh se deben tomar en cuenta los siguientes criterios: y y y y y Los grupos se forman con nmero de reas potencia de 2, es decir 1, 2, 4, 8 y 16. Se deben obtener la menor cantidad de grupos con la mayor cantidad de reas en cada grupo. En cada grupo debe haber al menos un rea no contenida en otro grupo. Las variables que debern tomarse para conformar cada grupo en el mapa de Karnaugh son las que permanecen constantes en todas las reas. Si las agrupaciones se estn haciendo por los 1s, el 0 es variable negada y el 1 variable sin negar y viceversa.

A continuacin se presenta un ejemplo de cmo pueden simplificarse las funciones lgicas mediante el Mapa de Karnaugh: En una pelea de karate hay cuatro rbitros que presiona un botn cuando detectan un golpe. Un golpe se considera vlido cuando al menos dos rbitros

Cruz Daniel Delgado Estrada 3451

presionan el botn al mismo tiempo. Hay un rbitro principal que si un golpe es detectado por l, automticamente es un golpe vlido. Se tiene la siguiente tabla de verdad para cuatro variables que representan los cuatro rbitros siendo A el rbitro principal. Se desarrolla la funcin lgica basada en mintrminos. Ver que en la frmula se incluyen solamente las variables A, B, C, D. Cuando la salida es 1, se crea un mintrmino donde se niegan los valores que en A, B, C o D sean 0. A 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 B 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 C 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 D 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 F 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 Mintrmino

ABCD ABCD ABCD ABCD ABCD ABCD ABCD ABCD ABCD ABCD ABCD ABCD

F(A,B,C,D) =ABCD + ABCD + ABCD + ABCD + ABCD + ABCD + ABCD+ ABCD + ABCD + ABCD + ABCD + ABCD (1.1) Una vez obtenida la funcin lgica, se implementa el Mapa de Karnaugh.
CD AB 00 01 11 10 00 01 11 10

0 0 1 1

0 1 1 1

1 1 1 1

0 1 1 1

Cruz Daniel Delgado Estrada 3451

Este mapa tiene 16 casillas que corresponden a 2n, donde n = 4 (nmero de variables (A, B, C,D). La nueva expresin de la funcin booleana simplificada se deduce del mapa de Karnaugh. Solamente se toman los valores donde se mantiene constante las variables en todo el grupo. - Para el primer grupo (rojo): la simplificacin da CD. Como se puede apreciar C y D son los que se mantienen en valor 1 siempre. En caso que fuera valor cero se niega. A 0 0 1 1 B 0 1 1 0 C 1 1 1 1 D 1 1 1 1

- Para el segundo grupo : la simplificacin da como resultado A. A 1 1 1 1 1 1 1 1 B 1 1 1 1 0 0 0 0 C 0 0 1 1 0 0 1 1 D 0 1 1 0 0 1 1 0

- Para el tercer grupo: la simplificacin da como resultado BD. A 0 0 1 1 B 1 1 1 1 C 0 1 1 0 D 1 1 1 1

- Para el cuarto grupo: la simplificacin da como resultado BC. A 0 0 1 1 B 1 1 1 1 C 1 1 1 1 D 1 0 1 0

Cruz Daniel Delgado Estrada 3451

A partir de los grupos definidos anteriormente se llega a la funcin simplificada: F(A,B,C,D) = CD +A +BD+BC (1.2)

La funcin 1.2 reduce en gran medida la funcin 1.1, lo que demuestra la eficiencia del Mapa de Karnaugh con respecto a las formas cannicas. A estas dos funciones se les nombras funciones equivalentes porque mediante cualquiera de las dos se obtiene el mismo resultado al evaluarlas

Cruz Daniel Delgado Estrada 3451

Conclusiones
El presente trabajo introduce a los aspirantes a Ingenieros Informticos en la lgica del funcionamiento de las computadoras, estableciendo las competencias necesarias para el posterior diseo de los circuitos lgicos. La simplificacin de funciones usando mapas de Karnaugh es uno de los mtodos ms usados por los diseadores de circuitos. Su uso eficiente hace posible la disminucin de componentes al crear sistemas automticos, as como que permiten un uso ms efectivo para los cual son orientados. Con los temas que se tratan, un estudiante est listo para conocer cules son los circuitos lgicos que existen y cules son los pasos a seguir para su diseo.

Cruz Daniel Delgado Estrada 3451

Bibliografa
1. lgebra de Boole. Wikipedia. [En lnea] Wikimedia Foundation, Inc., 8 de Enero de 2008. http://es.wikipedia.org/wiki/%C3%81lgebra_de_Boole 2. Circuito lgico. Electrnica Unicrom. http://www.unicrom.com/Tut_circuitoslogicos.asp. 3. Espinosa, R. y Fuentes, P. lgebra de Boole. Introduccin a los ciurcuitos lgicos. 4. Funciones cannicas y Diagramas de Karnaugh. Noriega, Sergio. Departamento de Electrnica. Facultad de Ingeniera. Universidad Nacional de La Plata : Introduccin a los Sistemas Lgicos y Digitales, 2003. ISLD. 5. Garca, Luciano. Introduccin a la Teora de Conjuntos y a la Lgica. Dpto. de Ciencia de la Computacin. Facultad de Matemtica y Computacin. 19 de Noviembre de 2002. 6.- Informacin tomada en clase

Cruz Daniel Delgado Estrada 3451

Datos del autor:

Cruz Daniel Delgado Estrada Estudiante de Ingeniera en Electrnica 22872720 wero_pompis@hotmail.com