ALGEBRA DE BOOLE

A mediados del siglo XIX George Boole desarrolló un sistema matemático basado en el
sistema binario, que establece una serie de propiedades, postulados y teoremas para
operaciones con funciones lógicas.

POSTULADO DE DUALIDAD: En una igualdad de expresiones lógicas, si se cambian

+ por *, 1 por 0, y viceversas, el resultado obtenido también es una igualdad.

PROPIEDADES SUMA LÓGICA PRODUCTO LÓGICO

1 Conmutativa 𝐴+𝐵 =𝐵+𝐴 𝐴∗𝐵 = 𝐵∗𝐴
2 Elemento Neutro 𝐴+0=𝐴 𝐴∗1= 𝐴
3 Elemento Simétrico
𝐴 + 𝐴̅ = 1 𝐴 ∗ 𝐴̅ = 0
(Inverso)
4 Asociativa 𝐴 + (𝐵 + 𝐶) = (𝐴 + 𝐵) + 𝐶 𝐴 ∗ (𝐵 ∗ 𝐶) = (𝐴 ∗ 𝐵) ∗ 𝐶
5 Distributiva 𝐴 ∗ (𝐵 + 𝐶) = 𝐴 ∗ 𝐵 + 𝐴 ∗ 𝐶 𝐴 + 𝐵 ∗ 𝐶 = (𝐴 + 𝐵) ∗ (𝐴 + 𝐶)

POSTULADOS
6 Idempotencia 𝐴 + 𝐴 + ⋯+ 𝐴 = 𝐴 𝐴 ∗𝐴 ∗…∗ 𝐴 = 𝐴
7 Absorción 𝐴+1 =1 𝐴∗0=0
8 Doble negación 𝐴̅ = 𝐴
9 Simplificación 𝐴+𝐴∗𝐵 = 𝐴 𝐴 ∗ (𝐴 + 𝐵) = 𝐴

TEOREMAS
Leyes de ̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
1 𝐴 + 𝐵 + ⋯ + 𝐶 = 𝐴̅ ∗ 𝐵̅ ∗ … ∗ 𝐶̅ ̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
𝐴 ∗ 𝐵 ∗ … ∗ 𝐶 = 𝐴̅ + 𝐵̅ + ⋯ + 𝐶̅
D’Morgan
2 Si 𝑌 = 𝑋 entonces 𝑌̅ = 𝑋̅
4 𝐴 + 𝐴̅ ∗ 𝐵 = 𝐴 + 𝐵 𝐴 ∗ (𝐴̅ + 𝐵) = 𝐴 ∗ 𝐵

IDENTIDADES DE LA XOR (⊕)

𝐴 ⊕ 𝐵 = 𝐴 ∗ 𝐵̅ + 𝐴̅ ∗ 𝐵 = (𝐴 + 𝐵) ∗ (𝐴̅ + 𝐵̅ )

̅̅̅̅̅̅̅̅
𝐴 ⊕ 𝐵 = 𝐴 ∗ 𝐵 + 𝐴̅ ∗ 𝐵̅ = (𝐴 + 𝐵̅ ) ∗ (𝐴̅ + 𝐵)

̅̅̅̅̅̅̅̅
𝐴 ⊕ 𝐵 = 𝐴 ⊕ 𝐵̅ = 𝐴̅ ⊕ 𝐵