Eliminação da dupla negação