Solution to 7.

 

1. ~pvq
2. (avq)->r
3. (~pvo)->(u&a) /.:r
4. |->~r aip
5. | ~(avq) 4,2 mt
6. | ~a&~q 5 dem
7. | ~q 6 simp
8. | ~a 6 simp
9. | ~p 7,1 ds
10. | ~pvo 9 add
11. | u&a 10,3 mp
12. | a 11 simp
13. |__a&~a 8,12 conj
14. r 4-13 ip