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

Question

Aicharya · Accepted Answer

$\begin{aligned} & p ightarrow \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} ightarrow \mathrm{q} \equiv \sim \mathrm{p} \vee \mathrm{q}]$ ...[De Morgan's law] ...[Associative law] ...[Idempotent law]

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

Solution