Solution to 1.

 

1. p->~p /.:~p
2. |->p aip
3. | ~p 1,2 mp
4. |__p&~p 2,3 conj
5. ~p 2-4 ip