Algebra de boole

1) Demostrar las siguientes identidades utilizando los axiomas y teoremas.

a. (a + b) (a + c) = a + b c
b. a + b + c + a b c = a b c
c. a b c + b ( a c + a c) = a + b + c
d. a b c d + a b c d + b c d + a b c + a b c d = a c ( b + d ) + a b c
e. a b c d + a b c d + a b c d + a b c + a b c d = a b
f. a b c d + a b c d + a b c d + a b c d = a ( b c + c d )

2) Diseñar las tablas lógicas para las siguientes funciones.

a. f(x, y, z) = (x + y z ) z x
b. f(x, y, z) = ( x + ( y z )) z

c. f(x, y, z) = ( x + (y + z )) + ((( x y) +z ) x)

d. f(x, y, z) = ( x ⊕ y ) + x y

e. f(x, y, z) = ( m1 . m4 ) + M3

f. f(x, y, z) = ( M0 + M7 ) m5
g. f(x, y, z, t) = (x + t) ⊕ (z . y)

h. f(x, y, z) = 1 si y solo si ( y = 0) y ( x z = 1 )
i. f(x, y, z) = 0 si y solo si (x = 0 ) o (x + y + z = 0 )

3) Probar las identidades del ejercicio 1 utilizando tablas lógicas.

4) Como las funciones del ejercicio 2 no se encuentran representadas como suma de productos (SP) y
producto de sumas (PS), se pide encontrar la representación de estas funciones como SP y PS.

Comisiones A2, A4, B2 y B4