Q57 / 100 · BITSAT 2023 (Memory Based Paper 1) · Mathematics
Negation of the Boolean expression $\mathrm{p} \Leftrightarrow(\mathrm{q} \Rightarrow \mathrm{p})$ is
- A$(\sim p) \wedge q$
- B$(\mathrm{p}) \wedge(\sim \mathrm{q})$
- C$(\sim \mathrm{p}) \vee(\sim \mathrm{q})$
- Correct answerD$(\sim p) \wedge(\sim q)$
Solution
Given expression is $p \Leftrightarrow(q \Rightarrow p)$
$\sim(\mathrm{p} \leftrightarrow(\mathrm{q} \rightarrow \mathrm{p}))$
$\sim(\mathrm{p} \leftrightarrow \mathrm{q})=(\mathrm{p} \wedge \sim \mathrm{q}) \vee(\mathrm{q} \wedge \sim \mathrm{p})$
$\sim(\mathrm{p} \leftrightarrow(\mathrm{q} \rightarrow \mathrm{p}))$ $=(\mathrm{p} \wedge \sim(\mathrm{q} \rightarrow \mathrm{p})) \vee((\mathrm{q} \rightarrow \mathrm{p}) \wedge \sim \mathrm{p})$
$(\mathrm{p} \wedge \sim(\mathrm{q} \rightarrow \mathrm{p}))=\mathrm{p} \wedge(\mathrm{q} \wedge \sim \mathrm{p})$ $=(p \wedge \sim p) \wedge q=c$
$(q \rightarrow p) \wedge \sim p=(\sim q \vee p) \wedge \sim p$ $=\sim p \wedge(\sim q \vee p)$
$=(\sim \mathrm{p} \wedge \sim \mathrm{q}) \vee(\sim \mathrm{p} \wedge \mathrm{p})=\sim \mathrm{p} \wedge \sim \mathrm{q}$
$\sim(p \leftrightarrow(\dot{q} \rightarrow p))=c \vee(\sim p \wedge \sim q)=\sim p \wedge \sim q$
$\sim(\mathrm{p} \leftrightarrow(\mathrm{q} \rightarrow \mathrm{p}))$
$\sim(\mathrm{p} \leftrightarrow \mathrm{q})=(\mathrm{p} \wedge \sim \mathrm{q}) \vee(\mathrm{q} \wedge \sim \mathrm{p})$
$\sim(\mathrm{p} \leftrightarrow(\mathrm{q} \rightarrow \mathrm{p}))$ $=(\mathrm{p} \wedge \sim(\mathrm{q} \rightarrow \mathrm{p})) \vee((\mathrm{q} \rightarrow \mathrm{p}) \wedge \sim \mathrm{p})$
$(\mathrm{p} \wedge \sim(\mathrm{q} \rightarrow \mathrm{p}))=\mathrm{p} \wedge(\mathrm{q} \wedge \sim \mathrm{p})$ $=(p \wedge \sim p) \wedge q=c$
$(q \rightarrow p) \wedge \sim p=(\sim q \vee p) \wedge \sim p$ $=\sim p \wedge(\sim q \vee p)$
$=(\sim \mathrm{p} \wedge \sim \mathrm{q}) \vee(\sim \mathrm{p} \wedge \mathrm{p})=\sim \mathrm{p} \wedge \sim \mathrm{q}$
$\sim(p \leftrightarrow(\dot{q} \rightarrow p))=c \vee(\sim p \wedge \sim q)=\sim p \wedge \sim q$
Hence, the correct answer is option: 'D'.