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