Vamos então verificar a equivalência lógica entre:

P: p → (q → r)
Q: (p ∧ q) → r

Tabela verdade de P: p → (q → r)

Tabela verdade de Q: (p ∧ q) → r