www.monografias.

com

Tema: Compuertas lgicas

Dervy Arturo Wilson Escobar - dervy_wil@hotmail.com
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.

Introduccin
Lgica positiva
Lgica negativa
Compuertas lgicas
Compuertas lgicas combinadas
lgebra Booleana y circuitos electrnicos
Circuitos combinacionales
Circuitos secuenciales
Relacin entre la lgica combinacional y secuencial con la programacin
Los teoremas bsicos del algebra Booleana
Lgica y matemticas
Ahondando en las diferencias entre lgica y matemtica.
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

2 a b

d e

3 a b c d
4

b c

g
g
f g

5 a

c d

f g

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

A (B+C)

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

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

0 1 1

1 0 1

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

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

1 1

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

1 1

0A = 0
A B=0 X
0 0

1 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

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

www.monografias.com

formales es construir una correspondencia entre propiedades lgicas y matemticas. La lgica matemtica
en el primer sentido contempla las tres acepciones en conjunto.

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

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

www.monografias.com

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.

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

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

www.monografias.com

computadora digital.

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