www.monografias.

com

Tema: Compuertas lgicas

Dervy Arturo Wilson Escobar - dervy_wil@hotmail.com

1. Introduccin 2. Lgica positiva 3. Lgica negativa 4. Compuertas lgicas 5. Compuertas lgicas combinadas 6. lgebra Booleana y circuitos electrnicos 7. Circuitos combinacionales 8. Circuitos secuenciales 9. Relacin entre la lgica combinacional y secuencial con la programacin 10. Los teoremas bsicos del algebra Booleana 11. Lgica y matemticas 12. Ahondando en las diferencias entre lgica y matemtica. 13. Conclusin

Introduccin
Dentro de la electrnica digital, existe un gran nmero de problemas a resolver que se repiten normalmente. Por ejemplo, es muy comn que al disear un circuito electrnico necesitemos tener el valor opuesto al de un punto determinado, o que cuando un cierto nmero de pulsadores estn activados, una salida permanezca apagada. Todas estas situaciones pueden ser expresadas mediante ceros y unos, y tratadas mediante circuitos digitales. Los elementos bsicos de cualquier circuito digital son las compuertas lgicas. En el presente trabajo se intenta dar una definicin de lo que es un lgebra de boole; se tratan las funciones booleanas, haciendo una correlacin con las frmulas proposicionales. Asimismo, se plantean dos formas cannicas de las funciones booleanas, que son tiles para varios propsitos, tales como el de determinar si dos expresiones representan o no la misma funcin. Compuertas Lgicas

Lgica Positiva
En esta notacin al 1 lgico le corresponde el nivel ms alto de tensin y al 0 lgico el nivel ms bajo, pero que ocurre cuando la seal no est bien definida. Entonces habr que conocer cules son los lmites para cada tipo de seal (conocido como tensin de histresis), en este grfico se puede ver con mayor claridad cada estado lgico y su nivel de tensin.

Lgica Negativa
Aqu ocurre todo lo contrario, es decir, se representa al estado "1" con los niveles ms bajos de tensin y al "0" con los niveles ms altos.

Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com

www.monografias.com

Por lo general se suele trabajar con lgica positiva, la forma ms sencilla de representar estos estados es como se puede ver en el siguiente grfico.

Compuertas Lgicas
Las compuertas lgicas son dispositivos que operan con aquellos estados lgicos mencionados en lo anterior y funcionan igual que una calculadora, de un lado ingresas los datos, sta realiza una operacin, y finalmente, te muestra el resultado.

Cada una de las compuertas lgicas se las representa mediante un Smbolo, y la operacin que realiza (Operacin lgica) se corresponde con una tabla, llamada Tabla de Verdad, veamos la primera. Compuerta NOT Se trata de un inversor, es decir, invierte el dato de entrada, por ejemplo; si pones su entrada a 1 (nivel alto) obtendrs en su salida un 0 (o nivel bajo), y viceversa. Esta compuerta dispone de una sola entrada. Su operacin lgica es s igual a a invertida

Compuerta AND Una compuerta AND tiene dos entradas como mnimo y su operacin lgica es un producto entre ambas, no es un producto aritmtico, aunque en este caso coincidan. *Observa que su salida ser alta si sus dos entradas estn a nivel alto*

Compuerta OR Al igual que la anterior posee dos entradas como mnimo y la operacin lgica, ser una suma entre ambas... Bueno, todo va bien hasta que 1 + 1 = 1, el tema es que se trata de una compuerta O Inclusiva es como a y/o b *Es decir, basta que una de ellas sea 1 para que su salida sea tambin 1*

Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com

www.monografias.com

Compuerta OR-EX o XOR Es OR EXclusiva en este caso con dos entradas (puede tener ms) y lo que har con ellas ser una suma lgica entre a por b invertida y a invertida por b. *Al ser O Exclusiva su salida ser 1 si una y slo una de sus entradas es 1*

Estas seran bsicamente las compuertas ms sencillas.

Compuertas Lgicas Combinadas

Al agregar una compuerta NOT a cada una de las compuertas anteriores los resultados de sus respectivas tablas de verdad se invierten, y dan origen a tres nuevas compuertas llamadas NAND, NOR y NOR-EX. Veamos ahora como son y cul es el smbolo que las representa... Compuerta NAND Responde a la inversin del producto lgico de sus entradas, en su representacin simblica se reemplaza la compuerta NOT por un crculo a la salida de la compuerta AND.

Compuerta NOR El resultado que se obtiene a la salida de esta compuerta resulta de la inversin de la operacin lgica o inclusiva es como un no a y/o b. Igual que antes, solo agregas un crculo a la compuerta OR y ya tienes una NOR.

Compuerta NOR-EX Es simplemente la inversin de la compuerta OR-EX, los resultados se pueden apreciar en la tabla de verdad, que bien podras compararla con la anterior y notar la diferencia, el smbolo que la representa lo tienes en el siguiente grfico.

Buffer's En realidad no realiza ninguna operacin lgica, su finalidad es amplificar un poco la seal (o refrescarla si se puede decir). Como puedes ver en el siguiente grfico la seal de salida es la misma que de entrada.

Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com

www.monografias.com

lgebra Booleana y circuitos electrnicos

La relacin que existe entre la lgica booleana y los sistemas de cmputo es fuerte, de hecho se da una relacin uno a uno entre las funciones booleanas y los circuitos electrnicos de compuertas digitales. Para cada funcin booleana es posible disear un circuito electrnico y viceversa, como las funciones booleanas solo requieren de los operadores AND, OR y NOT podemos construir nuestros circuitos utilizando exclusivamente stos operadores utilizando las compuertas lgicas homnimas Un hecho interesante es que es posible implementar cualquier circuito electrnico utilizando una sola compuerta, sta es la compuerta NAND Para probar que podemos construir cualquier funcin booleana utilizando slo compuertas NAND, necesitamos demostrar cmo construir un inversor (NOT), una compuerta AND y una compuerta OR a partir de una compuerta NAND, ya que como se dijo, es posible implementar cualquier funcin booleana utilizando slo los operadores booleanos AND, OR y NOT. Para construir un inversor simplemente conectamos juntas las dos entradas de una compuerta NAND. Una vez que tenemos un inversor, construir una compuerta AND es fcil, slo invertimos la salida de una compuerta NAND, despus de todo, NOT ( NOT (A AND B)) es equivalente a A AND B. Por supuesto, se requieren dos compuertas NAND para construir una sola compuerta AND, nadie ha dicho que los circuitos implementados slo utilizando compuertas NAND sean lo ptimo, solo se ha dicho que es posible hacerlo. La otra compuerta que necesitamos sintetizar es la compuerta lgica OR, sto es sencillo si utilizamos los teoremas de DeMorgan, que en sntesis se logra en tres pasos, primero se reemplazan todos los "" por "+" despus se invierte cada literal y por ltimo se niega la totalidad de la expresin: A OR B A AND B.......................Primer paso para aplicar el teorema de DeMorgan A' AND B'.....................Segundo paso para aplicar el teorema de DeMorgan (A' AND B')'..................Tercer paso para aplicar el teorema de DeMorgan (A' AND B')' = A' NAND B'.....Definicin de OR utilizando NAND Si se tiene la necesidad de construir diferentes compuertas de la manera descrita, bien hay dos buenas razones, la primera es que las compuertas NAND son las ms econmicas y en segundo lugar es preferible construir circuitos complejos utilizando los mismos bloques bsicos. Observe que es posible construir cualquier circuito lgico utilizando slo compuertas de tipo NOR (NOR = NOT(A OR B)). La correspondencia entre la lgica NAND y la NOR es ortogonal entre la correspondencia de sus formas cannicas. Mientras que la lgica NOR es til en muchos circuitos, la mayora de los diseadores utilizan lgica NAND.

Circuitos Combinacionales
Un circuito combinacional es un sistema que contiene operaciones booleanas bsicas (AND, OR, NOT), algunas entradas y un juego de salidas, como cada salida corresponde a una funcin lgica individual, un circuito combinacional a menudo implementa varias funciones booleanas diferentes, es muy importante recordar ste hecho, cada salida representa una funcin booleana diferente. Un ejemplo comn de un circuito combinacional es el decodificador de siete segmentos, se trata de un circuito que acepta cuatro entradas y determina cul de los siete segmentos se deben iluminar para representar la respectiva entrada, de acuerdo con lo dicho en el prrafo anterior, se deben implementar siete funciones de salida diferentes, una para cada segmento. Las cuatro entradas para cada una de stas funciones booleanas son los cuatro bits de un nmero binario en el rango de 0 a 9. Sea D el bit de alto orden de ste nmero y A el bit de bajo orden, cada funcin lgica debe producir un uno (para el segmento encendido) para una entrada dada si tal segmento en particular debe ser iluminado, por ejemplo, el segmento e debe iluminarse para los valores 0000, 0010, 0110 y 1000. En la siguiente tabla se puede ver qu segmentos deben iluminarse de acuerdo al valor de entrada, tenga en cuenta que slo se estn representando valores en el rango de 0 a 9, los decodificadores para las pantallas de siete segmentos comerciales tienen capacidad para desplegar valores adicionales que corresponden a las letras A a la F para representaciones hexadecimales, sin embargo la mecnica para iluminar los respectivos segmentos es similar a la aqu representada para los valores numricos.

Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com

www.monografias.com

0 a b c d e f 1 b c d e g g f g f g 2 a b 4 5 a 6 b c c d

3 a b c d

c d e f g

7 a b c 8 a b c d e f g 9 a b c f g Los circuitos combinacionales son la base de muchos componentes en un sistema de cmputo bsico, se puede construir circuitos para sumar, restar, comparar, multiplicar, dividir y muchas otras aplicaciones ms.

Circuitos Secuenciales
Un problema con la lgica secuencial es su falta de "memoria". En teora, todas las funciones de salida en un circuito combinacional dependen del estado actual de los valores de entrada, cualquier cambio en los valores de entrada se refleja (despus de un intervalo de tiempo llamado retardo de propagacin) en las salidas. Desafortunadamente las computadoras requieren de la habilidad para "recordar" el resultado de clculos pasados. ste es el dominio de la lgica secuencial. Una celda de memoria es un circuito electrnico que recuerda un valor de entrada despus que dicho valor ha desaparecido. La unidad de memoria ms bsica es el flip-flop Set/Reset. Aunque recordar un bit sencillo es importante, la mayora de los sistemas de cmputo requieren recordar un grupo de bits, sto se logra combinando varios flip-flop en paralelo, una conexin de ste tipo recibe el nombre de registro. A partir de aqu es posible implementar diferentes circuitos como registros de corrimiento y contadores, stos ltimos tambin los conocemos como circuitos de reloj. Con los elementos mencionados es posible construir un microprocesador completo.

Relacin entre la lgica combinacional y secuencial con la programacin

En sta leccin hemos dado una repasada muy bsica a los elementos que forman la base de los modernos sistemas de cmputo, en la seccin dedicada al diseo electrnico estudiaremos a profundidad los conceptos aqu presentados, pero para aquellos que estn ms interesados en el aspecto programtico podemos decir que con los elementos vistos en sta leccin es posible implementar mquinas de estado, sin embargo la moraleja de sta leccin es muy importante: cualquier algoritmo que podamos implementar en software, lo podemos a su vez implementar directamente en hardware. sto sugiere que la lgica booleana es la base computacional en los modernos sistemas de cmputo actuales. Cualquier programa que Usted escriba, independientemente del lenguaje que utilice, sea ste de alto bajo nivel, se puede especificar como una secuencia de ecuaciones booleanas. Un hecho igualmente interesante es el punto de vista opuesto, es posible implementar cualquier funcin de hardware directamente en software, en la actualidad sta es la funcin principal del lenguaje ensamblador y otros con capacidad de trabajar directamente en hardware, como el C y el C++. Las consecuencias de ste fenmeno apenas se estn explotando, se infiere la existencia de un futuro muy prometedor para el profesional de la programacin, especialmente aquellos dedicados a los sistemas incrustados (embedded systems), los microcontroladores y los profesionales dedicados a la Programacin Orientada a Objetos. Para tener xito en stos campos de la investigacin es fundamental comprender las funciones booleanas y la manera de implementarlas en software. An y cuando Usted no desee trabajar en hardware, es

Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com

www.monografias.com

importante conocer las funciones booleanas ya que muchos lenguajes de alto nivel procesan expresiones booleanas, como es el caso de los enunciados if-then los bucles while.

Los Teoremas Bsicos Del Algebra Booleana

Los Teoremas Bsicos del lgebra Booleana son: TEOREMA 1 Ley Distributiva A (B+C) = AB+AC A B C B+C AB AC AB+AC 0 0 0 0 0 0 1 1 0 1 0 1 0 1 1 1 1 0 0 0 1 0 1 1 1 1 0 1 1 1 1 1 TEOREMA 2 A+A = A AA = A A A A+A 0 0 0 1 1 1 A A AA 0 0 0 1 1 1 TEOREMA 3 Redundancia A+AB = A A B AB X 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 1 A (B+C) 0 0 0 0 0 1 1 1

A (A+B) = A A B A+B X 0 0 0 0 1 1 1 0 1 0 0 0

Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com

www.monografias.com

1 1 1

TEOREMA 4 0+A = A Equivalente a una compuerta OR con una de sus terminales conectada a tierra A B=0 X 0 0 1 0 0 1

1A = A Equivalente a una compuerta AND con una de sus terminales conectada a 1 A B=1 X 0 1 1 1 0 1

1+A = 1 A B=1 X 0 1 1 1 1 1

0A = 0 A B=0 X 0 0 1 0 0 0

Lgica y matemticas
Desde un punto de vista realista, la lgica es una disciplina terica y filosfica, separada de las matemticas. El objetivo de la lgica es el estudio de las propiedades y relaciones lgicas entre los objetos lgicos (proposiciones, modelos, entidades). Como todas estas propiedades son independientes de los sistemas usados para su estudio, se concluye que la lgica filosfica es una ciencia terica. La incompatibilidad, verdad, falsedad, o equivalencia son denominadas como propiedades o relaciones bsicas. Tambin existen otra serie de propiedades y relaciones derivadas, que se dividen en tres grandes grupos: teora de modelos (estudia las relaciones bsicas fundamentales entre los enunciados de una teora), teora de pruebas (estudio matemtico de la derivacin) y teora de la recursin que estudia la computabilidad de las derivaciones jugando un papel esencial dentro de la lgica formal. Qu es la lgica matemtica? Por lgica matemtica pueden entenderse tres opciones distintas: 1.- Lgica matemtica como lgica matematizada, es decir, que usa mtodos y herramientas matemticas. 2.- Lgica matemtica como la parte matemtica dentro de la lgica. En este sentido, es ms una lgica de las matemticas, es decir, el estudio de las relaciones, propiedades de teoras, pruebas y conceptos matemticos 3.- Lgica matemtica como la lgica de las matemticas, es decir como la parte que estudia y analiza los diferentes razonamientos y argumentaciones que se dan dentro de las matemticas. Es en este sentido una rama ms de las matemticas. Normalmente, en el primer sentido explicado, se produce una fuerte confusin entre la lgica y las matemticas, debido a que en lgica formal se usa un mtodo matemtico que hace difcil discernir entre ciencia (lgica) y mtodo (matemticas). Tambin, hay que saber distinguir entre los sistemas lgicos formales que son entidades matemticas complejas y las teoras lgicas. El objetivo de los sistemas lgicos formales es construir una correspondencia entre propiedades lgicas y matemticas. La lgica matemtica en el primer sentido contempla las tres acepciones en conjunto.

Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com

www.monografias.com

Ahondando en las diferencias entre lgica y matemtica.

La identidad de los objetos matemticos estn completamente determinadas por las propiedades de las que se le pueden predicar en el lenguaje puramente terico y por su aplicabilidad segn la lgica del mismo. Si la lgica fuera matemtica, dos objetos lgicos seran lgicamente equivalentes, sin embargo, estas propiedades lgicas no estn completamente determinadas por la herramienta formal con la que las estudiamos. lgebra de Boole, rama de las matemticas con propiedades y reglas similares, aunque diferentes, al lgebra ordinaria. Es til, entre otras cosas, para la lgica y para la teora de conjuntos. Formalmente, el lgebra de Boole es un sistema matemtico compuesto por un conjunto de elementos, llamado habitualmente B, junto a dos operaciones binarias, que se pueden escribir con los smbolos Estas operaciones estn definidas en el conjunto B y satisfacen los siguientes axiomas: .

1. Ambas operaciones son asociativas. Esto es, cualesquiera que sean los elementos x, y, z de B, se
cumple que

2. Ambas operaciones son conmutativas. Esto es, para cualquier pareja de elementos x, y del conjunto
B, se cumple que

3. Cada una de las operaciones

es distributiva con respecto a la otra. Esto es, para tres elementos cualesquiera x, y, z del conjunto B, se cumple que

4. En el conjunto B existe un elemento neutro bien definido para cada una de las operaciones
Estos elementos se representan habitualmente con los smbolos 0 y 1, son distintos y tienen la propiedad de que

para cualquier elemento x del conjunto B.

5. A cada elemento x del conjunto B le corresponde otro elemento llamado complementario de x, que
normalmente se representa con el smbolo x. El elemento x cumple las siguientes propiedades con respecto a las dos operaciones

Esta estructura recibe este nombre en honor al matemtico ingls George Boole, que la describi en 1854 en su obra Investigacin sobre las leyes del pensamiento.

Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com

www.monografias.com

Veamos un ejemplo de un lgebra de Boole. Sea X un conjunto de elementos y sea P(X) el conjunto de todos los posibles subconjuntos del conjunto X. P(X) se denomina normalmente conjunto de las partes del conjunto X. P(X) junto con la unin y la interseccin de conjuntos forma un lgebra de Boole. En realidad, cualquier lgebra de Boole se puede representar como un lgebra de conjuntos (vase Teora de conjuntos). Dada la simetra de los axiomas con respecto a las dos operaciones y sus respectivos elementos neutros, se puede demostrar el llamado principio de dualidad, que afirma que cualquier proposicin algebraica verdadera deducible a partir de los axiomas del lgebra de Boole es tambin verdadera si se intercambian las operaciones y los elementos neutros 1 y 0 en la proposicin. Dos de los muchos teoremas que se pueden deducir a partir de los axiomas del lgebra de Boole y que son de gran importancia son las leyes de Morgan, que dicen que

Los elementos que forman el conjunto B de un lgebra de Boole pueden ser objetos abstractos o cosas concretas como nmeros, proposiciones, conjuntos o redes elctricas. En el desarrollo original de Boole, los elementos de su lgebra eran una coleccin de proposiciones, o simplemente oraciones gramaticales con la propiedad de ser verdaderas o falsas.

En esta lgebra de Boole, el complementario de un elemento o proposicin es simplemente la negacin de la proposicin. Un lgebra de Boole de proposiciones y una de conjuntos estn muy relacionadas. Por ejemplo, sea p la afirmacin 'la bola es azul', y sea P el conjunto de todos los elementos para los que la proposicin es verdadera, es decir, el conjunto de las bolas azules. P es el conjunto verdad de la proposicin p.

El lgebra de Boole tiene muchas aplicaciones prcticas en las ciencias fsicas, especialmente en la informtica y en la electrnica. A continuacin se expone un ejemplo del uso del lgebra de Boole en la teora de circuitos electrnicos. Sean p y q dos proposiciones, es decir, oraciones afirmativas que son o verdaderas o falsas (pero no las dos cosas al mismo tiempo).

En este caso los interruptores tienen que estar conectados en paralelo, con lo que la corriente circula si o p o q o ambas son verdaderas (interruptores cerrados). Proposiciones ms complejas darn lugar a circuitos ms complicados.

Conclusin

Las lgebras booleanas, estudiadas por primera vez en detalle por George Boole, constituyen un rea de las matemticas que ha pasado a ocupar un lugar prominente con el advenimiento de la computadora digital.

Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com

www.monografias.com

Son usadas ampliamente en el diseo de circuitos de distribucin y computadoras, y sus aplicaciones van en aumento en muchas otras reas. Las compuertas lgicas son los dispositivos electrnicos ms sencillos que existen, pero al mismo tiempo son los ms utilizados en la actualidad.

Enviado por: Dervy Arturo Wilson Escobar dervy_wil@hotmail.com Autor: Jose Manuel Claudio Hernndez Universidad Mariano Glvez de Guatemala Sede Retalhuleu Ingeniera en sistemas Primer ciclo Lgica Ing. Sergio Pineda Fecha: 04-04-2009

Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com