Logicmedium
0:00.0

Which logical law is represented by P(PQ)PP \land (P \lor Q) \equiv P?