¿Qué Es El Algebra De Boole?

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:
1. Se establecen los conceptos fundamentales (símbolos o términos no definidos).
2. Se define un conjunto de postulados que formen la base del álgebra.
3. 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:
1. 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.
2. Los postulados deben ser independientes; es decir, irreductibles
recíprocamente (libre de
reducciones).
3. Los postulados deben ser tan simples en su enunciado como sea posible; es
decir, no
separables en dos o más partes.

Leyes Del Algebra De Boole.

Ley conmutativa
El orden en que se aplica a las variables la operación OR es indiferente:
Ley conmutativa de la suma para dos variables
A+B = B+A
El orden en que se aplica a las variables la operación AND es indiferente:
Ley conmutativa de la multiplicación para dos variables
AB = BA
Ley asociativa

Al aplicar la operación OR a más de dos variables, el resultado es el mismo

independientemente de la forma en que se agrupen las variables:

Ley asociativa de la suma para tres variables

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

Al aplicar la operación AND a más de dos variables, el resultado es el mismo

independientemente de la forma en que se agrupen las variables:

Ley asociativa de la multiplicación para tres variables

A(BC) = (AB)C

Ley Distributiva

Aplicar la operación OR a dos o más variables y luego aplicar la operación AND al

resultado de la operación y a otra variable aislada, es equivalente a aplicar la
operación AND a la variable aislada con cada uno de los sumandos y luego aplicar
la operación OR a los productos resultantes.

Esta ley también expresa el proceso de sacar factor común, en el que la variable
común se saca como factor de los productos parciales.

Ley distributiva para tres variables

A(B + C) = AB + AC

Principio de Dualidad

El concepto de dualidad permite formalizar este hecho: a toda relación o ley lógica
le corresponderá su dual, formada mediante el intercambio de los operadores
unión (suma lógica) con los de intersección (producto lógico), y de los 1 con los 0.
Además, hay que cambiar cada variable por su negada. Esto causa confusión al
aplicarlo en los teoremas básicos, pero es totalmente necesario para la correcta
aplicación del principio de dualidad. Véase que esto no modifica la tabla adjunta.
Otras formas de notación del álgebra de Boole

En matemática se emplea la notación empleada hasta ahora ({0,1}, + , ) siendo la

forma más usual y la más cómoda de representar. Por ejemplo, las leyes de de
Morgan se representan así:
___ _ _
a+b=a.b
___ _ _
a.b=a+b
Cuando el álgebra de Boole se emplea en electrónica, suele emplearse la misma
denominación que para las
puerta lógica AND (Y), OR (O) y NOT (NO), ampliándose en ocasiones con X-OR
(O exclusiva) y su negadas NAND (NO Y), NOR (NO O) y X-NOR (equivalencia).
las variables pueden representarse con letras mayúsculas o minúsculas, y pueden
tomar los valores {0, 1} Empleando esta notación las leyes de de Morgan se
representan:
NOT (a OR b)= NOT a AND NOT b
NOT (a AND b)= NOT a OR NOT b
CONSTANTE: cualquier elemento del conjunto B.
VARIABLE: símbolo que representa un elemento arbitrario del álgebra, ya sea
constante o fórmula completa.
TEOREMAS:
Teorema 1: el elemento complemento A’ es único.
Teorema 2 de los elementos nulos: para cada elemento de B se verifica: A+1 =
1 A· 0 = 0
Teorema 3: cada elemento identidad es el complemento del otro. 0’=1 1’=0
Teorema 4 de idempotencia: para cada elemento de B, se verifica: A+A=A A·
A=A
Teorema 5 de involución: para cada elemento de B, se verifica: (A’)’ = A
Teorema 6 de absorción: para cada par de elementos de B, se verifica: A+A·
B=A A· (A+B)=A
Teorema 7: para cada par de elementos de B, se verifica: A + A’· B = A + B A · (A’
+ B) = A · B