Postulados, Teoremas y Propiedades del Álgebra de Boole

Eric Rodrı́guez Peralta

16 de septiembre de 2010

1. Operaciones con 0’s y 1’s.

Teorema Dual Nombre
0+0=0 0 ·0 = 0 OR/AND
0+1=1 0 ·1 = 0 OR/AND
1+0=1 1 ·0 = 0 OR/AND
1+1=1 1 ·1 = 1 OR/AND
0̄ = 1 1̄ = 0 NOT

2. Operaciones con una variable

Teorema Dual Nombre
A ·1 = A A+0=A Identidad
A ·0 = 0 A+1=1 Elemento nulo
A ·A = A A+A=A Idempotencia
A · Ā = 0 A + Ā = 1 Complementos
Ā¯ = A Involución

3. Operaciones con más de una variable

Teorema Dual Nombre
A ·B = B · A A+B =B+A Conmutatividad
(A · B) · C = A · (B · C) (A + B) + C Asociativa
(A · B) + (A · D) = A · (B + D) (A + B) · (A + D) = A + (B · D) Distributiva
A · (A + B) = A A + (A · B) = A Absorción
A · (Ā + B) = A · B A + (Ā · B) = A + B Cancelación
(A · B) + (A · B̄) = A (A + B) · (A + B̄) = A Combinación
(A · B) + (Ā · C) + (B · C) = (A + B) · (Ā + C) · (B + C) = Consenso
(A · B) + (Ā · C) (A + B) · (Ā + C)
A0 · A1 · A2 · . . . = Ā0 + Ā1 + A0 + A1 + A2 + . . . = Ā0 + Ā1 + D’ Morgan
Ā2 + . . . Ā2 + . . .