¿Cómo se simplifica la expresión lógica [(p ∧ q) → ¬r] ∨ [p →(q → ¬r)]? Explique el proceso paso a paso y demuestre el resultado final.