P
Initializing...
PM ✱4·77: $((q \supset p) \land (r \supset p)) \equiv ((q \lor r) \supset p)$ · Prove2Me