Homework on §3.2—assigned Mon 9/20 and due Wed 9/22

Construct a derivation to show the following (you will need to use Adj):

¬ A ∧ B, ¬ (B ∧ C) ⊨ ¬ (A ∧ B) ∧ ¬ C