By the Double Negative Law, we can replace ~(~p) by p. Hence,
~(
~(~p)
)
~
p