Solution to 5.

 

1. ~(avb)
2. a<->c
3. {(dva)<->e}->(cvb)
4. e->(avc) /.:d
5. ~a&~b 1 dem
6. (a->c)&(c->a) 2 be
7. c->a 6 simp
8. ~a->~c 7 trans
9. ~a 5 simp
10. ~c 8,9 mp
11. ~a&~c 9,10 conj
12. ~(avc) 11 dem
13. ~e 12,4 mt
14. ~b 5 simp
15. ~c&~b 10,14 conj
16. ~(cvb) 15 dem
17. ~{(dva)<->e} 16,3 mt
18. ~[{(dva)->e}&{e->(dva)}] 17 be
19. ~{(dva)->e}v~{e->(dva)}] 18 dem
20. ~{~(dva)ve}v~{~ev(dva)} 19 cex2
21. ~ev(dva) 13 add
22. ~{~(dva)ve} 21,20 ds
23. (dva)&~e 22 dem
24. dva 23 simp
25. d 9,24 ds