HW #3

The HW has two parts:
(A) Prove that ((P->(Q&~R))<->S) is a wff. Also indicate the scope of the sole occurrence of '&' and tell me what the main connective is.
(B) pg. 73 (1)(i)(a),(1)(i)(h), and (1)(i)(j)