Conforme a teoria da lógica proposicional, a proposição ~ P Λ P é: