lgebra Booleana

El lgebra booleana es un sistema matemtico deductivo centrado en los valores cero y uno
(falso y verdadero). Un operador binario " " definido en ste juego de valores acepta un
par de entradas y produce un solo valor booleano, por ejemplo, el operador booleano AND
acepta dos entradas booleanas y produce una sola salida booleana.
Para cualquier sistema algebraico existen una serie de postulados iniciales, de aqu se
pueden deducir reglas adicionales, teoremas y otras propiedades del sistema, el lgebra
booleana a menudo emplea los siguientes postulados:

Cerrado. El sistema booleano se considera cerrado con respecto a un operador

binario si para cada par de valores booleanos se produce un solo resultado booleano.

Conmutativo. Se dice que un operador binario " " es conmutativo si A B = B A

para todos los posibles valores de A y B.

Asociativo. Se dice que un operador binario " " es asociativo si (A B) C = A (B

C) para todos los valores booleanos A, B, y C.

Distributivo. Dos operadores binarios " " y " % " son distributivos si A (B % C) =
(A B) % (A C) para todos los valores booleanos A, B, y C.

Identidad. Un valor booleano I se dice que es un elemento de identidad con respecto

a un operador binario " " si A I = A.

Inverso. Un valor booleano I es un elemento inverso con respecto a un operador

booleano " " si A I = B, y B es diferente de A, es decir, B es el valor opuesto de
A.

Para nuestros propsitos basaremos el lgebra booleana en el siguiente juego de operadores

y valores:
- Los dos posibles valores en el sistema booleano son cero y uno, a menudo llamaremos a
stos valores respectivamente como falso y verdadero.
- El smbolo representa la operacin lgica AND. Cuando se utilicen nombres de
variables de una sola letra se eliminar el smbolo , por lo tanto AB representa la
operacin lgica AND entre las variables A y B, a esto tambin le llamamos el producto
entre A y B.
- El smbolo "+" representa la operacin lgica OR, decimos que A+B es la operacin
lgica OR entre A y B, tambin llamada la suma de A y B.
- El complemento lgico, negacin NOT es un operador unitario, en ste texto
utilizaremos el smbolo " ' " para denotar la negacin lgica, por ejemplo, A' denota la
operacin lgica NOT de A.
- Si varios operadores diferentes aparecen en una sola expresin booleana, el resultado de la
expresin depende de la procedencia de los operadores, la cual es de mayor a menor,
parntesis, operador lgico NOT, operador lgico AND y operador lgico OR. Tanto el
operador lgico AND como el OR son asociativos por la izquierda. Si dos operadores con
la misma procedencia estn adyacentes, entonces se evalan de izquierda a derecha. El
operador lgico NOT es asociativo por la derecha.
Utilizaremos adems los siguientes postulados:

P1 El lgebra booleana es cerrada bajo las operaciones AND, OR y NOT

P2 El elemento de identidad con respecto a es uno y con respecto a + es cero. No

existe elemento de identidad para el operador NOT

P3 Los operadores y + son conmutativos.

P4 y + son distributivos uno con respecto al otro, esto es, A (B+C) = (AB)+
(AC) y A+ (BC) = (A+B) (A+C).

P5 Para cada valor A existe un valor A' tal que AA' = 0 y A+A' = 1. ste valor es el
complemento lgico de A.

P6 y + son ambos asociativos, sto es, (AB) C = A (BC) y (A+B)+C = A+ (B+C).

Es posible probar todos los teoremas del lgebra booleana utilizando stos postulados,
adems es buena idea familiarizarse con algunos de los teoremas ms importantes de los
cuales podemos mencionar los siguientes:

Teorema 1: A + A = A

Teorema 2: A A = A

Teorema 3: A + 0 = A

Teorema 4: A 1 = A

Teorema 5: A 0 = 0

Teorema 6: A + 1 = 1

Teorema 7: (A + B)' = A' B'

Teorema 8: (A B)' = A' + B'

Teorema 9: A + A B = A

Teorema 10: A (A + B) = A

Teorema 11: A + A'B = A + B

Teorema 12: A' (A + B') = A'B'

Teorema 13: AB + AB' = A

Teorema 14: (A' + B') (A' + B) = A'

Teorema 15: A + A' = 1

Teorema 16: A A' = 0

Los teoremas siete y ocho son conocidos como Teoremas de De Morgan en honor al
matemtico que los descubri.
1 LEY DE MORGAN
A B C - A - B -C X Y

A* B * C =A+ B + C
X = A* B * C
Y=A+ B + C

2 LEY DE MORGAN
A B C - A - B -C X Y

A* B * C =A+ B + C
X = A* B * C
Y=A+ B + C
CONCLUSIONES
1. La primera ley de morgan nos convierte un producto negado de x variables en la suma de
las negaciones de dichas variables.
P ejemplo :
A* B * C =A+ B + C
2. La segunda ley de morgan nos transforma una suma de x variables en un producto con
cada una de esas variables negadas y a su vez toda la funcion negada .
A+ B + C =A* B * C

Es importante saber que el teorema de Morgan con la ayuda de compuertas lgicas como
son: NOR, NAND, NOT, AND, OR
TEORIA

Los Teoremas de Morgan permiten transformar funciones producto en funciones suma y

viceversa. Su principal aplicacin prctica es realizar circuitos utilizando un solo tipo de
compuerta.
(X + Y) = X Y
(XY) = X + Y
Demostracin por tablas de verdad:

(XY) = X + Y (X + Y) = X Y
X

X + Y

X Y

TEOREMADEMORGAN

Ejemplo:

Mapa mental
Teorema
2: A A
= A Teorema
Teorema
Teorema
Teorema
5: A 0
1: A + A = 3: A + 0
= A 4: A 1 = 0
A
=A
Teorema 11:
A + AB = A
+B
Teorema
Teorema
6: A + 1
Teorema 8:
=1
(A B) = A 10: A (A
Teorema
+ B) = A
+ B Teorema
7: (A + B) 9: A + A
= A B
B=A

teoremas del lgebra booleana

Conocidos como Teoremas de De Morgan en honor al

matemtico que los
descubri.
Bibliografa
http://www.mitecnologico.com/Main/AlgebraBooleanaYTeoremasDeMorgan
http://www.mitecnologico.com/Main/DeMorgan
http://html.rincondelvago.com/teorema-de-morgan.html
http://html.rincondelvago.com/algebra-de-boole-y-puertas-logicas.html