Homework on §4.2—assigned Fri 10/1 and due Mon 10/4

Construct a derivation to show: A ∨ (B ∧ C) ⇒ (A ∨ D) ∨ C
[This can be started either by exploiting the premise or planning for the goal; but don’t worry about which you should choose: neither approach need be significantly harder than the other.]