Académique Documents
Professionnel Documents
Culture Documents
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
4
5
g
f
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 estadoactual 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 eldominio
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 deregistro. 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.
lenguajes de alto nivel procesan expresiones booleanas, como es el caso de los enunciados
if-then los bucles while.
B+C
AB
AC
AB+A
(B+C)
TEOREMA 2
A+A = A
AA = A
A
A+
A
A A
AA
TEOREMA 3
Redundancia
A+AB = A
A
AB
A (A+B) = A
A
A+B
TEOREMA 4
0+A = A
Equivalente a una compuerta OR con una de sus terminales conectada a tierra
A
B=
0
0
1A = A
Equivalente a una compuerta AND con una de sus terminales conectada a 1
A
B=1
1+A = 1
A
B=1
0A = 0
A
B=
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 unmtodo 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.
siguientes axiomas:
1. Ambas operaciones son asociativas. Esto es, cualesquiera que sean los elementos
x, y, z de B, se cumple que
4. En el conjunto B existe un elemento neutro bien definido para cada una de las
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.
y la interseccin
de
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.
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.
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.