Logicmedium
0:00.0

Which logical law simplifies ¬(P(QR))\neg(P \lor (Q \land R)) to ¬P(¬Q¬R)\neg P \land (\neg Q \lor \neg R)?