Show that ¬P → (Q → R) and Q→(P∨R) are logically equivalent.
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
Comments
Leave a comment