Question

Show that  -p > (q → r) and q → (p V r) are logically equivalent.

Answer 1

Solution

For the statements ¬p →(q→r) and q → (p ∨ r) to be logically equivalent, the truth table for both

¬p →(q→r) and q → (p ∨ r) is shown below

Hence ¬p → (q→r) and q → (p ∨ r) are logically equivalent.