Homework on §4.2—assigned Fri 9/30 and due Mon 10/3

Construct a derivation to show: (A ∧ B) ∨ C ⇒ B ∨ (C ∨ D)