Solution to 11.

 

1. (avb)->~c
2. d->(~f&~g) /.:(avd)->~(c&f)
3. |->avd acp
4. | |->c&f aip
5. | | c 4 simp
6. | | ~(avb) 5,1 mt
7. | | ~a&~b 6 dem
8. | | ~a 7 simp
9. | | d 3,9 ds
10. | | ~f&~g 9,2 mp
11. | | f 4 simp
12. | | ~f 10 simp
13. | |__f&~f 11,12 conj
14. |__~(c&f) 4-13 ip
15. (avd)->~(c&f) 3-14 cp