Solution to 2.

 

 

1. ~avy
2. (zvw)->(a&~y) /.:~z
3. |->z aip
4. | zvw 3 add
5. | a&~y 4,2 mp
6. | a 5 simp
7. | ~y 5 simp
8. | ~a 7,1 ds
9. |__a&~a 6,8 conj
10. ~z 3-9 ip