Logiceasy
0:00.0

Which logical law is P(QR)(PQ)(PR)P \lor (Q \land R) \equiv (P \lor Q) \land (P \lor R)?