Solution to 5.

 

 

1. (pvr)&~p
2. (rvc)->(p->k)
3. (~pvd)->(r->l) /.:kvl
4. ~p 1 simp
5. pvr 1 simp
6. r 4,5 ds
7. ~pvd 4 add
8. r->l 3,7 mp
9. l 6,8 mp
10. kvl 9 add