Solution to 3.

 

1. a->b
2. c->~b
3. d->(a&c) /.:~d
4. b->~c 2 trans
5. a->~c 1,4 hs
6. ~av~c 5 ce
7. ~(a&c) 6 dem
8. ~d 3,7 mt