Question

Show that ¬P → (Q → R) and Q→(P∨R) are logically equivalent.

Answer 1

Showing it by using a truth table

¬P → (Q → R)

 Q→(P∨R)

As we can see, both expressions are taking identical values on the same sets of values, which means they are identical