Solution to 10.

 

1. (~z&d)<->b
2. ~{s&(b&~z)}
3. ~a->(zvg)
4. a->(s&q) /.:b->g
5. {(~z&d)->b}&{b->(~z&d)} 1 be
6. ~sv~(b&~z) 2 dem
7. ~sv(~bvz) 6,dem
8. |->b acp
9. | |->~g aip
10. | | b->(~z&d) 5 simp
11. | | ~z&d 8,10 mp
12. | | ~z 11 simp
13. | | ~z&~g 9,12 conj
14. | | ~(zvg) 13 dem
15. | | a 14,3 mt
16. | | s&q 15,4 mp
17. | | s 16 simp
18. | | ~bvz 7,17 ds
19. | | z 8,18 ds
20. | |__z&~z 19,12 conj
21. |__g 9,20 ip
22. b->g 8-21 cp