MCQ
$\sim[p \rightarrow(p \wedge \sim q)] \equiv$
  • A
    $p$
  • B
    $q$
  • $(p \wedge q)$
  • D
    $(p \vee q)$

Answer

Correct option: C.
$(p \wedge q)$
$\sim[p \rightarrow(p \wedge \sim q)]$
$=\sim[\sim p \vee(p \wedge \sim q)] ($implication equivalence$)$
$=p \wedge \sim(p \wedge \sim q) ($De Morgan's law$)$
$=p \wedge(\sim p \vee q) ($De Morgan's law$)$
$=(p \wedge \sim p) \vee(p \wedge q) ($Distributive law$)$
$=F \vee(p \wedge q) ($Complement law$)$
$=p \wedge q ($Identity law$)$

Need a full question paper?

Generate a complete, print-ready paper with questions like this in minutes — across 16+ boards, with answer keys.

Start Generating Free