SEGUNDO PARCIAL MAT.

100 GRUPO 2/21 (A)

NOMBRE CARRERA

1. Demostrar la validez del siguiente argumento:

1. (p → q) → r
2. (r v s) → q
3. p → 7t
4. q ↔ 7t . . . . . / 7(t ∧ u)

2.) Sea A, la expresión lógica correspondiente a la tabla de verdad.

Sea B, el circuito lógico esquematizado, también objeto de simplificar
Conectar: 7A con B en serie, simplificar nuevamente el resultado y diseñar el
Dispositivo resultante, con especificación de paso de corriente
7p q A P 7p
r
0 1 1 7q
p 7q
1 1 1 q 7r
7p
r
0 0 0
1 0 1

3). Dada la tabla de doble entrada, elaborada bajo la composición de funciones, como ley
de composición interna. Demostrar el cumplimiento de las siguientes propiedades:
a). Asociativa, dada la siguiente expresión: f4 o (f3 o f6) = (f4 o f3) o f6
b). Conmutativa, por lo menos unos tres casos
c). Probar la existencia del elemento neutro

o f1 f2 f3 f4 f5 f6
f1 f1 f2 f3 f4 f5 f6
f2 f2 f1 f4 f3 f6 f5
f3 f3 f5 f1 f6 f2 f4
f4 f4 f6 f2 f1 f1 f3
f5 f5 f3 f6 f1 f1 f2
f6 f6 f4 f5 f2 f3 f1

4). Dada la función Booleana en 4 variables

f(x,y,z,t) = (y z’ t + x y t’ +y’ z) ( x y’ z + y t) (x’ y + z’ t + t’)
i). Simplifique, por la forma y métodos que estime conveniente
ii). Justifique sus simplificaciones anteriores a través del mapa de Karnaugh
iii). Diseñe el dispositivo resultante, a través de una red de puertas, que muestre la
lógica positiva del resultado.