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