Capítulo 1- Lógica y conjuntos- Ejercicio 52: Tautología

52. Empleando álgebra proposicional, identifique cuál de las siguientes formas proposicionales NO es tautológica.
a) [(p → q) ∧ (r → s)] →  [(p ∧ r) → (q ∧ s)]
b) [p ∧ (p → q)] →  q
c) [(p → q) ∧ (q → r)] → (p ∧ r)
d) [(p → q) ∧ p] → q
e) (p → 0) → ¬ p