Qual é a equivalência lógica de ¬(P ∧ Q) e que implicação simples resulta dessa equivalência?

¬(P ∧ Q) ≡ ¬P ∨ ¬Q
Portanto a implicação P → ¬Q é equivalente a essa disjunção e é consequência lógica.

Exemplo:
Considere P = Está chovendo, Q = Faz piquenique.
A afirmação Não é verdade que está chovendo e fazem piquenique é \( \neg(P \land Q) \).
Pela lei de De Morgan, \( \neg(P \land Q) \equiv \neg P \lor \neg Q \), que se lê Não está chovendo ou não fazem piquenique.
Como \( P \rightarrow \neg Q \equiv \neg P \lor \neg Q \), a implicação Se está chovendo, então não fazem piquenique decorre logicamente da afirmação inicial.