Question

Logical equivalent of $p \rightarrow \left(p \lor q\right)$ is

• A. $\sim p\land \sim q$
• B. $\sim p \rightarrow \left(p \land q\right)$
• C. $q \rightarrow \left(p \rightarrow q\right)$
• D. $p \rightarrow \sim q$

Answer 1

Answer: (C)

Drawing truth table for all the options corresponding to the given statement:

From the truth table, we observe that $p \rightarrow \left(p \lor q\right)$ is logically equivalent to $q \rightarrow \left(p \rightarrow q\right)$ .