Algebra Booleana

El lgebra booleana es la teora matemtica que se aplica en la lgica

combinatoria. Las variables booleanas son smbolos utilizados para representar
magnitudes lgicas y pueden tener slo dos valores posibles: 1(valor alto) 0
(valor bajo).
La lgica proposicional
lgebra booleana le permite procesar las expresiones y la forma algebraica
siguiendo una lgica proposicional o lgica proposicional, donde las funciones
devuelven slo resultan en cero o uno.
Los operadores lgicos
Dos proposiciones pueden ser unidas entre s mediante los operadores lgicos
(AND, OR, NOT, etc.) Que dan lugar a un valor de tercera proposicin verdadera o
falsa. Los principales operadores lgicos del lgebra de Boole son la Y (producto
lgico), el OR (suma lgica) y el operador NO (negacin / complemento).
Operaciones Booleanas y Compuertas Bsicas
Las operaciones boolenas son posibles a travs de los operadores binarios
negacin, suma y multiplicacin, es decir que estos combinan dos o ms variables
para conformar funciones lgicas. Una compuerta es un circuito til para realizar
las operaciones anteriormente mencionadas.
Inversin o negacin
Esta operacin se indica con una barra sobre la variable o por medio de un
apstrofe (comilla) en el lado superior derecho de la variable. El apstrofe () es un
operador algebraico que invierte el valor de una variable, es decir, si X denota la
seal de entrada de un inversor, entonces X representa el complemento de tal
seal.
Ejemplo
S X = 0 entonces X = 1.

Tabla de verdad del inversor

El smbolo lgico de la negacin booleana se representa asi

Suma Booleana
La representacin matemtica de una suma booleana de dos variables se hace
por medio de un signo ms entre las dos variables.
Por ejemplo
X =A+ B
La suma booleana es 1 si alguna de las variables lgicas de la suma es 1 y es 0
cuando todas las variables son 0. Esta operacin se asimila a la conexin paralela
de contactos.

Tabla de verdad de la funcin OR

En circuitos digitales, el equivalente a la suma booleana es la operacin OR y su
smbolo lgico es

Con la correspondiente ecuacin

X =A+ B
El inverso de la funcin OR es la funcin NOR.

Tabla de verdad de la funcin NOR

El smbolo lgico de la compuerta NOR se presenta por el smbolo lgico

Con la correspondiente ecuacin

X = (A + B)
La suma booleana difiere de la suma binaria cuando se suman dos unos. En la
suma booleana no existe acarreo.
Multiplicacin Booleana
La representacin matemtica de una multiplicacin booleana de dos variables se
hace por medio de un punto ( . ) entre las dos variables.
La multiplicacin booleana de las variables A y B se enuncia de la siguiente forma:
X = A. B
La multiplicacin booleana es 1 si todas las variables lgicas son 1, pero si alguna
es 0, el resultado es 0. La multiplicacin booleana se asimila a la conexin serie
de contactos.

Tabla de la verdad de la funcin AND

En circuitos digitales, el equivalente de la multiplicacin booleana es la operacin
AND y su smbolo es

Con la correspondiente ecuacin

X =A. B
El inverso de la funcin AND es NAND.

Tabla de verdad de la funcin NAND

El smbolo lgico de la compuerta NAND es

Con la correspondiente ecuacin

X = (A . B)
Propiedades de las Operaciones Booleanas
Las operaciones booleanas estn regidas por tres leyes similares a las del lgebra
convencional. Estas incluyen las leyes conmutativas de la suma y la multiplicacin
y la ley distributiva. Leyes conmutativas en dos variables
1. Ley conmutativa de la suma se enuncia como sigue
X+Y=Y+X
En aplicacin a los circuitos digitales, podramos decir que no importa el orden de
conexin de las entradas a una compuerta OR.
2. Ley conmutativa de la multiplicacin
XY = Y . X
En aplicacin a los circuitos digitales, podramos decir que no importa el orden de
conexin de las entradas a una compuerta AND.
Leyes asociativas en tres variables

3. Ley asociativa de la adicin, se escribe en forma algebraica de la siguiente

forma
A+(B+C)=(A+B)+C

Figura que muestra la aplicacin de la propiedad a las compuertas OR

Ley asociativa de la adicin
4. Ley asociativa de la multiplicacin
A . ( B . C) = ( A . B ) . C

Figura que muestra la multiplicacin lgica que se distribuye sobre una suma
lgica.
Ley distributiva para 3 variables
Teoremas Booleanos
Los teoremas booleanos son enunciados siempre verdaderos, lo que permite la
manipulacin de expresiones algebraicas, facilitando el anlisis sntesis de los
circuitos digitales. Los teoremas booleanos son los siguientes:
1. X + 0 = X
2. X + 1 = 1
3. X0 = 0
4. X1 = X
5. (X)=X
6. X + X = X
7. XX = X
8. X + X = 1
9. X.X= 0

10. X + XY = X
11. X +XY = X + Y
12. XY + XY = X (Teorema de combinacin)
13. (X +Y)(X + Y) = X + XY + XY = X
14. XY + XZ + YZ = XZ + YZ (Consenso)
El teorema 12 se conoce como la ley distributiva para tres variables.
Los teoremas de DeMorgan demuestran la equivalencia entre las puertas NAND y
negativa - OR, y las puertas NOR y negativa AND.
1. El complemento de la suma de variables es igual al producto de los
complementos de las variables.
(X1+ X2 +.....+ Xn) = X1.. Xn
En el caso de dos variables se tiene,
(X + Y) = X Y

Obtener una compuerta OR utilizando compuertas NAND.

Y = (A + B) = [(A + B)] = (AB)

Compuerta OR utilizando compuertas NAND

2. El complemento del producto de variables es igual a la suma de los

complementos de las variables.
(X1 X2 ..... Xn) = X1 + X2 + .....+ Xn
En el caso de dos variables se tiene,

(X Y) = X + Y

Conclusiones
Podemos entender que el Algebra Booleana es una algebra que permite abstraer
las principales operaciones algebraicas en un sistema binario.
El Algebra Booleana permite trabajar solo con 2 valor, 0 (cero) y 1 (uno).
Uno de los principales campos de aplicacin del lgebra de Boole es la informtica
en virtud del hecho de que la lgica de la computadora se basa en el sistema
binario. En los circuitos electrnicos de un ordenador la informacin se tratar
esencialmente como una secuencia de ceros y unos.