PM ✱4·32: $((p \land q) \land r) \equiv (p \land (q \land r))$ · Prove2Me

P

Initializing...

PM ✱4·32: $((p \land q) \land r) \equiv (p \land (q \land r))$ · Prove2Me