Item
3.1.8.c
.
\(\neg((P \imp \neg Q) \vee \neg (R \wedge \neg R))\text{.}\)
in-context