Item
3.1.9.b
.
\(\neg((\neg P \imp \neg Q) \wedge (\neg Q \imp R))\)
(careful with the implications).
in-context