Homework on §3.3—assigned Fri 9/24 and due Mon 9/27

Construct a derivation to show: ¬ (A ∧ ¬ (B ∧ C)), A ⇒ C