Vous êtes sur la page 1sur 10

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 representandovalores 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

4
5

g
f

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 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.

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 aldiseo 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
laprogramacin, 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

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.

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 lenguajepuramente 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.

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.
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.

Vous aimerez peut-être aussi