~(~p) is always equivalent to

1: q
2: (~(~(~ (~p))))
3: ~P
4: ~q