Which of the following statement pattern is a contradiction?
\(\mathrm{S}_{1} \equiv(\mathrm{p} \rightarrow \mathrm{q}) \wedge(\mathrm{p} \wedge \sim \mathrm{q}) \ \mathrm{S}_{2} \equiv[\mathrm{p} \wedge(\mathrm{p} \rightarrow \mathrm{q})] \rightarrow \mathrm{q} \ \mathrm{S}_{3} \equiv\) \((\mathrm{p} \vee \mathrm{q}) \rightarrow \sim \mathrm{p} \ \mathrm{S}_{4} \equiv[\mathrm{p} \wedge(\mathrm{p} \rightarrow \mathrm{q})] \leftrightarrow \mathrm{q}\)

Apply the relevant identity from the chapter and substitute the values established in the previous step, keeping the original constraint in view.

Use the simplified expression to isolate the unknown, then plug the result back into the question setup to confirm the working is internally consistent.

Cross-check against a boundary or limiting case. Both the dimensional balance and the qualitative behaviour at the extreme should agree with the candidate answer.

Combine the steps above to identify the correct option. The remaining choices each fail at least one of the consistency, dimensional, or boundary checks.