miércoles, 2 de octubre de 2013

ALGEBRA DE BOOLE


 ALGEBRA DE BOOLE

El álgebra de Boole se llama así debido a George Boole, quien la desarrolló a 
mediados del siglo XIX. El álgebra  de Boole denominada también álgebra de
 la lógica, permite prescindir de la intuición y simplificar deductivamente 
afirmaciones lógicas que son todavía más complejas.

El sistema matemático denominado álgebra Booleana, es un método 
simbólico de estudiar relaciones lógicas, el cual se desarrolla en tres partes:
a). Se establecen los conceptos fundamentales (símbolos o términos no definidos)
b). Se define un conjunto de postulados que formen la base del álgebra.
c). Se constituyen los teoremas fundamentales del álgebra a partir de los postulados. 

A su vez, las exigencias y condiciones que deben reunir los postulados son:
-       Los postulados deben ser coherentes o consistentes para que un álgebra 
definida pueda desarrollarse por deducciones lógicas. En caso contrario,
 el sistema resultaría contradictorio.
-       Los postulados deben ser independientes; es decir, irreductibles 
recíprocamente.
-       Los postulados deben ser tan simples en su enunciado como sea
 posible; es decir, no se parables en dos o más partes.
Estos son 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.
  • P3 Los operadores ·   y + son conmutativos.
  • P4   A· (B+C) = (A·B)+(A·C) y A+ (B·C) = (A+B) ·(A+C).
  • P5 Para cada valor A existe un valor A' tal que A·A' = 0 y A+A' = 1.
  • 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,
los teoremas más importantes de los cuales podemos mencionar los siguientes:
  • -Teorema 1: A + A = A                      -Teorema 9: A + A · B = A
  • -Teorema 2: A · A = A                       -Teorema 10: A · (A + B) = A
  • -Teorema 3: A + 0 = A                       -Teorema 11: A + A'B = A + B
  • -Teorema 4: A · 1 = A                        -Teorema 12: A' · (A + B') = A'B'
  • -Teorema 5: A · 0 = 0                         -Teorema 13: AB + AB' = A
  • -Teorema 6: A + 1 = 1                        -Teorema 14: (A' + B') · (A' + B) = A'
  • -Teorema 7: (A + B)' = A' · B'            -Teorema 15: A + A' = 1
  • -Teorema 8: (A · B)' = A' + B'            -Teorema 16: A · A' = 0


PDF explicativo:

Videos explicativos:
Postulados y Teoremas del Álgebra de Boole