Logicmedium
0:00.0

Which property is demonstrated by the equivalence P(PQ)PP \lor (P \land Q) \equiv P?