Documentos de Académico
Documentos de Profesional
Documentos de Cultura
06 Algebra Booleana PDF
06 Algebra Booleana PDF
1
a) B es un conjunto cerrado respecto al operador +
b) B es un conjunto cerrado respecto al operador
x, y B 1(a) x + y B 1(b) x y B
Postulados de Huntington
2
a) Existe un elemento identidad en el conjunto B para el operador +
b) Existe un elemento identidad en el conjunto B para el operador
x, Z B 2(a) x + Z = Z + x = x 2(b) x Z = Z x = x
Postulados de Huntington
3
a) B es un conjunto conmutativo respecto al operador +
b) B es un conjunto conmutativo respecto al operador
x, y B 3(a) x + y = y + x 3(b) x y = y x
Postulados de Huntington
4
a) es distributivo sobre +
b) + es distributivo sobre a
5
Para cada elemento x B, existe un elemento x’ B (llamado
complemento de x) tal que:
a) x + x’ = 1
b) x x’ = 0
Postulados de Huntington
6
Existen al menos 2 elementos x, y B tales que x z y.
B = {0,1]
Postulados de Huntington
1a
x+x=x
Deducción:
x + x = (x + x) 1 por el postulado 2(b) de Huntington
= (x + x) (x + x’) 5(a)
= x + (x x’) 4(b)
=x+0 5(b)
=x 2(a)
Teoremas del Álgebra de Boole
1b
xx=x
Deducción:
xx = (x x) + 0 por el postulado 2(a) de Huntington
= (x x) + (x x’) 5(b)
= x (x + x’) 4(a)
=x1 5(a)
=x 2(b)
Teoremas del Álgebra de Boole
2a
x+1=1
Deducción:
x + 1 = 1 (x + 1) por el postulado 2(b) de Huntington
= (x + x’) (x + 1) 5(a)
= x + (x’ 1) 4(b)
= x + x’ 2(b)
=1 5(a)
Teoremas del Álgebra de Boole
2b
x0=0
Deducción:
x 0 = 0 + (x 0) por el postulado 2(a) de Huntington
= (x x’) + (x 0) 5(b)
= x (x’ + 0) 4(a)
= x x’ 2(a)
=0 5(b)
Teoremas del Álgebra de Boole
3
(x’)’=x
Deducción:
Si x = 1
x'= 0 por el postulado 5
5(a) x + x’ = 1 o 1+0=1
5(b) x x’ = 0 o 10=0
Entonces el complemento de 0 es 1 por lo tanto:
x'= 0 o (x’)’ = 1 = x
Teoremas del Álgebra de Boole
4a
x + (x y) = x
Deducción:
x+xy=x1+xy=x por el postulado 2(b) de Huntington
= x (1 + y) 4(a)
= x (y + 1) 3(a)
=x1 2(a)
=x 2(b)
Teoremas del Álgebra de Boole
4b
x ( x + y) = x
Deducción:
x ( x + y) = (x + 0) ( x + y) por el postulado 2(a) de Huntington
= x + (0 y) 4(b)
= x + (y 0) 3(b)
=x+0 2(b)
=x 2(a)
Teoremas del Álgebra de Boole
5. Teorema asociativo.
x + (y + z) = (x + y) + z
x (y z)= (x y) z
6. Teorema de Morgan
(x + y)’ = x’ y’
(x y)’ = x’ + y’
z0 + 0 = 0
z0 + 1 = 1
z1 + 0 = 1
z1 + 1 = 1
Funciones Booleanas
z0 0 = 0
z0 1 = 0
z1 0 = 0
z1 1 = 1
Funciones Booleanas
z 0’ = 1
z 1’ = 0
Funciones Booleanas
S = x y’ + z