Back to the 2022 paper

Module 3: Propositional Logic & Proof Techniques.

20225m

(a) Show that p(qr)p \lor (q \land r) and (pq)(pr)(p \lor q) \land (p \lor r) are logically equivalent. This is the distributive law of disjunction over conjunction.

Similar questions