Qual é a negação lógica de um condicional composto A → B?

\( \neg(A\to B)\equiv A\land\neg B\)

Explicação:
A implicação \(A\to B\) é equivalente a \(\neg A\lor B\). Negando, \(\neg(A\to B)\equiv\neg(\neg A\lor B)\equiv A\land\neg B\) (Lei de De Morgan).
Se o consequente for uma conjunção \(B=C\land D\), então \(\neg B\equiv\neg C\lor\neg D\), logo \(\neg\big(A\to(C\land D)\big)\equiv A\land(\neg C\lor\neg D)\).

Exemplo:
Sejam \(p\): há energia, \(q\): computador liga, \(r\): monitor acende.
A afirmação: \(p\to(q\land r)\).
Sua negação: \(\neg(p\to(q\land r))\equiv p\land\neg(q\land r)\equiv p\land(\neg q\lor\neg r)\).
Em palavras: há energia e (ou) o computador não liga ou o monitor não acende.