Solution to 2.

 

 

1. ~avy
2. (zvw)->(a&~y) /.:~z
3. ~(a&~y) 1 dem
4. ~(zvw) 3,2 mt
5. ~z&~w 4 dem
6. ~z 6 simp