Algebra Booleana

Ana Gabriela Núñez Benítez

M
UAE
 Teoremas
Teorema 1 TEOREMA 2 Teorema 3
idempotencia (ELEMENTOS NULOS):

El primer teorema describe la Cada elemento identidad es el

idempotencia y se expresa como Para cada elemento de B se
verifica: complemento del otro.
sigue. 0’=1
(a) a + a = a. A+1 = 1
A·0 = 0 1’=0
(b) a • a = a.

Teorema 6
Teorema 4 Teorema 5 (absorción)
(idempotencia) (involución):

Para cada elemento de B, se Para cada elemento de B, se Para cada par de elementos de
verifica: verifica: B, se verifica:
A+A=A (A’)’ = A A+A·B=A
A·A=A A·(A+B)=A

Teorema 8 Teorema de
Teorema 7 (asociatividad) DeMorgan
Para cada par de elementos de Cada uno de los operadores
Para cada par de elementos de
B, se verifica: binarios (+) y (·) cumple la
B, se verifica:
A + A’·B = A + B propiedad asociativa:
(A+B)’ = A’·B’
A · (A’ + B) = A · B A+(B+C) = (A+B)+C
(A·B)’ = A’ + B’
A·(B·C) = (A·B)·C
 Postulados y Teoremas
Expresión Dual

P2(a) : a + 0 = a P2(b) :a • 1= a

P3(a) : a + b = b + a P3(b) : ab = ba

P4(a) : a + (b + c) = (a+b) + c P4(b) : a(bc) = (ab)c

P5(a) :a + bc = (a + b)(a + c) P5(b) : a(b + c) = ab + ac

P6(a) : a + a¬ = 1 P6(b) : a • a¬ = 0

T1(a) : a + a = a T1(b) : a • a = a

T2(a) : a + 1 = 1 T2(b) : a • 0 = 0

T3 : a¬¬ = a

T4(a) : a + ab = a T4(b) : a(a 4-b) = a

T5(a) : a + a¬b = a + b T5(b) : a(a¬ + b) = ab

T6(a) : ab + ab¬ = a T6(h) : (a + b)(a + b¬) = a

T7 (a) : ab + ab¬c = ab + a T7(b) : (a + b)(a + b¬ + c) = (a + b)(a + c)

T8(a) : a-\-b = a¬b¬ T8(b): a¬b¬=a¬+b¬

T9(a): ab+a¬c+bc=ab+a¬c T9(b):(a+b)(a¬+c)(b+c)=(a+b)(a¬+c)

T10(a): f(x1,x2,....,xn)=x1f(1,x2,....,xn)+x¬1f(0,x2,....,xn)

f(x1,x2,....,Xn)=[x1+f(0,x2,....,xn)][x¬1+f(1,x2,....,xn)]