Show that (p → r) ∨ (q → r) and (p ∧ q) → r are logically equivalent.
\equiv (\neg p\lor r) \lor (\neg q\lor r) \ \ \ \ \ \ \ (Implication)
\equiv \neg p\lor r \lor \neg q\lor r \ \ \ \ \ \ \
\equiv (\neg p \lor \neg q)\lor r \ \ \ \ \ \ \ (Distribution)
(De Morgan's Law)
(Implication)
Hence proved ,
and are logically equivalent.
Comments