Qual equivalência lógica permite transformar \(\neg(p\land\neg q)\) em \(p\to q\)?

\n\n¬(p ∧ ¬q) ≡ ¬p ∨ q, que equivale a p → q.

\nExplicação:
\nPelo teorema de De Morgan: \( \neg(p\land\neg q)\equiv\neg p\lor\neg\neg q\equiv\neg p\lor q\).
\nComo a definição do condicional é \(p\to q\equiv\neg p\lor q\), segue-se que \( \neg(p\land\neg q)\equiv p\to q\).

\nExemplo:
\nDefina: \(p\): \"sensor detecta movimento\"; \(q\): \"alarme dispara\".
\nA fórmula \( \neg(p\land\neg q)\) lê-se \"não (o sensor detecta movimento e o alarme não dispara)\".
\nPela equivalência, isto equivale a \( \neg p\lor q\), que é a mesma forma de \(p\to q\), interpretada como: \"Se o sensor detecta movimento, então o alarme dispara\".\n\n