Item
3.1.9.a
.
\(\neg((\neg P \wedge Q) \vee \neg(R \vee \neg S))\text{.}\)
in-context