~(~P) <-> P