Qual é a negação lógica de (P→Q) ∧ (R→S)?

\( \neg\big((P\to Q)\land(R\to S)\big)\equiv (P\land \neg Q)\lor(R\land \neg S)\)

Explicação:
Para negar uma conjunção usamos \( \neg(A\land B)\equiv \neg A\lor \neg B\), para negar um condicional usamos \( \neg(P\to Q)\equiv P\land \neg Q\).
Aplicando, negamos cada condicional mantendo o antecedente e negando o consequente, e unimos por ou.

Exemplo:
Considere: P = "ligou o interruptor", Q = "a lâmpada acende", R = "apertou o botão", S = "a máquina liga".
Negação de "(P→Q) ∧ (R→S)" é:
\( \text{ligou o interruptor e a lâmpada não acende} \;\lor\; \text{apertou o botão e a máquina não liga} \),
isto é, \( (P\land\neg Q)\lor(R\land\neg S) \).