Question:

If the statement
\(((\mathrm{p} * (\sim \mathrm{q})) \wedge(\mathrm{p} \vee \mathrm{q})) \Leftrightarrow \mathrm{p}\)
is a tautology, then \(*\) is :

Show Hint

Substitute each connective for \(*\) and simplify \((p * \sim q)\wedge(p\vee q)\); it must be logically equal to \(p\).
Updated On: Nov 12, 2026
  • \(\wedge\)
  • \(\vee\)
  • \(\Rightarrow\)
  • \(\Leftrightarrow\)
Show Solution
collegedunia
Verified By Collegedunia

The Correct Option is B

Solution and Explanation

Try \(*=\vee\): \((p\vee\sim q)\wedge(p\vee q)=p\vee(\sim q\wedge q)=p\vee F=p\). Then \(p\Leftrightarrow p\) is a tautology.
Check the others: \(*=\wedge\) gives \(p\wedge\sim q\wedge(p\vee q)=p\wedge\sim q\), which differs from \(p\) when \(p=T,q=T\). \(*=\Rightarrow\) gives \((\sim p\vee\sim q)\wedge(p\vee q)\), which is false for \(p=q=T\) while \(p\) is true. \(*=\Leftrightarrow\) gives \((p\Leftrightarrow\sim q)\wedge(p\vee q)\), again false for \(p=q=T\).
Answer: (2) \(\vee\)
Was this answer helpful?
0
0