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

~(~(~p))

~p