Republica Bolivariana de Venezuela

Ministerio del Poder Popul

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.
Monografias.com
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.
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.
Monografias.com
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.
Monografias.com
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
Monografias.com
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*
Monografias.com
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*

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*
Monografias.com
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.
Monografias.com
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.
Monografias.com
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.
Monografias.com
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.
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 homnimasUn hecho
interesante es que es posible implementar cualquier circuito electrnico
utilizando una sola compuerta, sta es la compuerta NANDPara 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 BA AND B.......................Primer paso para aplicar el teorema de
DeMorganA' 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.
0
a
b
c
d
e
f

2
a
b

d
e

g
3
a
b
c
d

g
4

b
c

g
5
a

c
d

f
g
6

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 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 DistributivaA (B+C) = AB+AC
A
B
C
B+C
AB
AC
AB+AC
A (B+C)
0
0

0
0
0
0
0
0
0
0
1
1
0
0
0
0
0
1
0
1
0
0
0
0
0
1
1
1
0
0

0
0
1
0
0
0
0
0
0
0
1
0
1
1
0
1
1
1
1
1
0
1
1
0
1
1
1
1

1
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
0
1
0
0
1
0
0
1
1
1
1
1
A (A+B) = A
A
B
A+B
X
0

0
0
0
0
1
1
0
1
0
1
0
1
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
0
1
0
1
1A = A

Equivalente a una compuerta AND con una de sus terminales conectada a 1

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

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.
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
Monografias.comEstas 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
Monografias.com
2. Ambas operaciones son conmutativas. Esto es, para cualquier pareja de
elementos x, y del conjunto B, se cumple que
Monografias.com
3. Cada una de las operaciones Monografias.comes distributiva con respecto
a la otra. Esto es, para tres elementos cualesquiera x, y, z del conjunto B, se
cumple que
Monografias.com
4. En el conjunto B existe un elemento neutro bien definido para cada una
de las operaciones Monografias.comEstos elementos se representan
habitualmente con los smbolos 0 y 1, son distintos y tienen la propiedad de
que
Monografias.com
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
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.

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 Monografias.comy la interseccin
Monografias.comde 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 Monografias.comy 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
Monografias.com
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.
Monografias.com
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.
Monografias.com
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).
Monografias.com
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.

Leer ms: http://www.monografias.com/trabajos71/compuertaslogicas/compuertas-logicas2.shtml#ixzz35qmLI0YA