LGEBRA DE BOOLE

Sistemas Digitales 1
 Fundamentos de Algebra Booleana (1)
Postulados Bsicos
Postulado 1 (Definicin): Un lgebra booleana es un sistema
algebraico cerrado formado por un conjunto K de dos o ms
elementos y los dos operadores y +.
Postulado 2 (Existencia de los elementos 1 y 0):
(a) a 0 a (identidad para +)
(b) a 1 a (identidad para )
Postulado 3 (Conmutatividad):
(a) a b b a , (b) a b b a
Postulado 4 (Asociatividad):
(a) a b c a b c (b) a b c a b c
Postulado 5 (Distributividad):
(a) a b c a b a c (b) a b c a b a c
Postulado 6 (Existencia del complemento):
(a) a a 1 (b) a a 0
Normalmente es omitido

Sistemas Digitales 2
 Fundamentos de Algebra Booleana (2)
Teoremas Fundamentales del Algebra Booleana

Teorema 1 (Idempotencia):
(a) a a a (b) a a a
Teorema 2 (Elementos neutros para operadores + y .):
(a) a 1 a (b) a0 a
Teorema 3 (Involucion)

a a
Propiedades de los 0 y 1

Tabla 2.1

a0 a a0 0 0 1
a 1 1 a 1 a 10

Sistemas Digitales 3
 Fundamentos de Algebra Booleana (3)

Teorema 4 (Absorcin)
(a) a ab a (b) a a b a

Ejemplos:
X Y X Y Z X Y [T4(a)]

AB AB BC AB [T4(b)]

Teorema 5
(a) a ab a b (b) a a b ab

Ejemplos:
B ABCD B ACD [T5(a)]

X Y X Y Z X Y Z [T5(b)]

Sistemas Digitales 4
 Fundamentos de Algebra Booleana (4)

Teorema 6
(a) ab ab a
(b) a b a b a

Ejemplos:
Simplificar : ABC ABC AC [T6(a)]

Simplificar : W X Y Z W X Y Z W X Y Z W X Y Z

W X Y W X Y Z W X Y Z [T6(b)]
[T6(b)]
W X Y W X Y
[T6(b)]
W X

Sistemas Digitales 5
 Fundamentos de Algebra Booleana (5)

Teorema 7
(a) ab abc ab ac

(b) a b a b c a b a c

Ejemplos:
wy wxy wxyz wxz wy wxy wxy wxz [T7(a)]
wy wy wxz [T6(a)]
w wxz [T6(a)]
w [T4(a)]

(x'y' + z)(w + x'y' + z') = (x'y' + z)(w + x'y') [T7(b)]

Sistemas Digitales 6
 Fundamentos de Algebra Booleana (6)
Teorema 8 (Teorema de DeMorgan)
(a) (a + b)' = a'b'
(b) (ab)' = a' + b'

Teorema Generalizado de DeMorgan

(a) (a + b + z)' = a'b' z'
(b) (ab z)' = a' + b' + z'

Ejemplos:
(a + bc)' = (a + (bc))'
= a'(bc)'
= a'(b' + c')
= a'b' + a'c'

Nota: (a + bc)' a'b' + c'

Sistemas Digitales 7
 Fundamentos de Algebra Booleana (7)
Ejemplos del teorema de DeMorgan

(a(b + z(x + a')))' = a' + (b + z(x + a'))' [T8(b)]

= a' + b' (z(x + a'))' [T8(a)]
= a' + b' (z' + (x + a')') [T8(b)]
= a' + b' (z' + x'(a')') [T8(a)]
= a' + b' (z' + x'a) [T3]
= a' + b' (z' + x') [T5(a)]

(a(b + c) + a'b)' = (ab + ac + a'b)'

= (b + ac)' [T6(a)]
= b'(ac)' [T8(a)]
= b'(a' + c') [T8(b)]

Sistemas Digitales 8
 Fundamentos de Algebra Booleana (8)

Teorema 9 (Consenso)
(a) ab + a'c + bc = ab + a'c
(b) (a + b)(a' + c)(b + c) = (a + b)(a' + c)

Examples:
AB + A'CD + BCD = AB + A'CD [T9(a)]

(a + b')(a' + c)(b' + c) = (a + b')(a' + c) [T9(b)]

ABC + A'D + B'D + CD = ABC + (A' + B')D + CD

= ABC + (AB)'D + CD [T8(b)]
= ABC + (AB)'D [T9(a)]
= ABC + (A' + B')D [T8(b)]
= ABC + A'D + B'D

Sistemas Digitales 9