Homework on §2.2—assigned Wed 9/8 and due Fri 9/10

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