(~(~P)) <-> P