Solveeit Logo

Question

Mathematics Question on mathematical reasoning

Which of the following statements is a tautology?

A

(pq)pq\sim\left(p\, \wedge\, \sim\, q\right) \rightarrow p\, \vee\, q

B

(pq)pq\sim\left(p\, \vee\, \sim\, q\right) \rightarrow\, p\, \wedge q

C

p(q)pqp \vee \left(\sim q\right) \rightarrow p \wedge q

D

(pq)pq\sim\left(p\, \vee\, \sim q\right) \rightarrow p\, \vee\, q

Answer

(pq)pq\sim\left(p\, \vee\, \sim q\right) \rightarrow p\, \vee\, q

Explanation

Solution

(pq)pq\sim\left(p\, \vee\, \sim q\right) \rightarrow p\, \vee\, q
(pq)pq\left(\sim p \wedge q\right) \to p \vee q
\sim\left\\{\left(\sim p \wedge q\right)\wedge \left(\sim p \wedge \sim q\right)\right\\}
(pf)\sim\left(\sim p \wedge f\right)

Which of the following statements is a tautology
So, the correct option is (D): (pq)pq\sim\left(p\, \vee\, \sim q\right) \rightarrow p\, \vee\, q.