ESTRUCTURA Y TECNOLOGA DE COMPUTADORES

1 I.T. Informtica de Gestin

Curso 2008 2009 Pgina 1 de 6

Ejercicios resueltos
Tema 3: lgebra de Conmutacin

Ejercicio 1 Obtener la expresin algebraica para la funcin XNOR de dos entradas a partir de la expresin de la funcin XOR de dos entradas. XNOR( x, y ) = x y + x y .

Ejercicio 2 Utilizando las leyes de DeMorgan reiteradamente obtener una expresin en forma de suma de productos para las siguientes funciones: a) F = ( x + y ) (x y + z ) b) G = ( x y + x z ) ( x + y z )

ESTRUCTURA Y TECNOLOGA DE COMPUTADORES

1 I.T. Informtica de Gestin
Curso 2008 2009 Pgina 2 de 6

Ejercicios resueltos
Tema 3: lgebra de Conmutacin
Ejercicio 3 Verificar las siguientes igualdades utilizando los postulados y teoremas del lgebra de Boole. Indquese en cada paso qu postulado o teorema se ha utilizado: a) ( x + y + x y ) ( x + y ) x y = 0 b) ( x + y + x y )( x y + x z + y z ) = x y + x y z c) (a b c + d ) (c + d ) (c + d + e ) = a b c + d

ESTRUCTURA Y TECNOLOGA DE COMPUTADORES

1 I.T. Informtica de Gestin
Curso 2008 2009 Pgina 3 de 6

Ejercicios resueltos
Tema 3: lgebra de Conmutacin
Ejercicio 4 Suponiendo que x = y z + y z , comprobar las siguientes igualdades: a) x = y z + y z b) y = x z + x z c) z = x y + x y

ESTRUCTURA Y TECNOLOGA DE COMPUTADORES

1 I.T. Informtica de Gestin
Curso 2008 2009 Pgina 4 de 6

Ejercicios resueltos
Tema 3: lgebra de Conmutacin
Ejercicio 5 Comprobar que la funcin XOR es asociativa y conmutativa. Comprobar tambin que x ( y z) = x y x z

ESTRUCTURA Y TECNOLOGA DE COMPUTADORES

1 I.T. Informtica de Gestin
Curso 2008 2009 Pgina 5 de 6

Ejercicios resueltos
Tema 3: lgebra de Conmutacin
Ejercicio 6 Comprobar las siguientes relaciones relativas a la funcin XOR: a) x x = 0 ;
b) x 0 = x ; x x =1 x 1 = x

c) x y = z x z = y d) x y = z x y z = 0

ESTRUCTURA Y TECNOLOGA DE COMPUTADORES

1 I.T. Informtica de Gestin
Curso 2008 2009 Pgina 6 de 6

Ejercicios resueltos
Tema 3: lgebra de Conmutacin
Ejercicio 7 Obtener la tabla de verdad que corresponde a las siguientes funciones de conmutacin expresadas algebraicamente: a) F = x y + x z + y z b) G = ( x + z ) ( y + z )