Solution to 6.

 

1. ~(avb)->e
2. (~av~b)->~(avb)
3. ~a
4. ~a->~b
5. e->s /.:s
6. |->~s aip
7. | ~e 6,5 mt
8. | avb 7,1 mt
9. | ~(~av~b) 8,2 mt
10. | a&b 9 dem
11. | a 10 simp
12. |__a&~a 11,3 conj
13. s 6-12 ip