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