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