Back to the 2022 paper

Module 3: Propositional Logic & Proof Techniques.

20225m

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

Similar questions

Official AppAndroid App

PYQDeck for Android

Solve BEU previous-year exam papers anywhere, anytime. Fast search, offline paper viewing, and step-by-step solutions designed specifically for your phone.