Qual é a negação lógica equivalente de p ∨ (q → r)?

¬p ∧ q ∧ ¬r.

Aplicando De Morgan, \( \neg\big(p\vee(q\to r)\big)\equiv \neg p\land\neg(q\to r)\), e como \( \neg(q\to r)\equiv q\land\neg r\), obtemos \( \neg p\land q\land\neg r\).

Exemplo:
Enunciado: "Se a porta não for trancada ou se o alarme não for ativado, então haverá invasão."
Defina: \(a\)=porta não trancada, \(b\)=alarme não ativado, \(c\)=haverá invasão.
A sentença é \(a \vee (b\to c)\). Sua negação: \( \neg(a\vee(b\to c))\equiv \neg a\land b\land\neg c\).
Em linguagem natural, isto significa: a porta foi trancada, o alarme não foi ativado e não houve invasão.