Answer to Question #307687 in Discrete Mathematics for Saphira

Question

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

Answer 1

Solution

To show that $¬p →(q → r)$ and $q → (p ∨ r)$ are logically equivalent, the truth table for both $¬p →(q → r)$ and $q → (p ∨ r)$ is shown below.

We can see from both the tables,

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