Answer to Question #313373 in Discrete Mathematics for Jrd

Question

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

Answer 1

Solution

The truth table for $¬p→(q→r)$ and $q→(p ∨ r)$ is shown below

From the 6th column (from left) and the 8th column, we can see that

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