2. (30 pontos) Mostre que as expressões ¬p→ (q → r) e q → (p ∨ r) são equivalentes da forma pedida. (a) Usando uma tabela da verdade. (b) Usando ma...

2. (30 pontos) Mostre que as expressões ¬p→ (q → r) e q → (p ∨ r) são equivalentes da forma pedida. (a) Usando uma tabela da verdade. (b) Usando manipulação de conectivos lógicos. Justifique os passos de sua derivação.
a) Usando uma tabela da verdade.
b) Usando manipulação de conectivos lógicos. Justifique os passos de sua derivação.