ExamBro
ExamBro
MHT CET · Maths · Mathematical Reasoning

The statement pattern \(\mathrm{p} \rightarrow \sim(\mathrm{p} \wedge \sim \mathrm{q})\) is equivalent to

  1. A \(\mathrm{q}\)
  2. B \((\sim p) \vee q\)
  3. C \((\sim p) \wedge q\)
  4. D \((\sim p) \vee(\sim q)\)
Verified Solution

Answer & Solution

Correct Answer

(B) \((\sim p) \vee q\)

Step-by-step Solution

Detailed explanation

\(
\begin{aligned}
& p \rightarrow \sim(p \wedge \sim q) \\
& \equiv \sim p \vee \sim(p \wedge \sim q) \\
& \equiv \sim p \vee(\sim p \vee q) \\
& \equiv(\sim p \vee \sim p) \vee q \\
& \equiv \sim p \vee q
\end{aligned}
\)
\(\ldots[\because \mathrm{p} \rightarrow \mathrm{q} \equiv \sim \mathrm{p} \vee \mathrm{q}]\)
...[De Morgan's law]
...[Associative law]
...[Idempotent law]