Qual é a negação de uma conjunção que une "Algum A é P" e "Todo B é Q"?

Todos os A não são P ou algum B não é Q.

Explicação:
Negue a conjunção aplicando De Morgan: \( \neg(A\land B)\iff \neg A\lor\neg B \).
Para quantificadores, vale: \( \neg(\exists x\,P(x))\equiv \forall x\,\neg P(x)\) e \( \neg(\forall x\,Q(x))\equiv \exists x\,\neg Q(x)\).
Logo, se A é "Algum A é P" então \( \neg A\) é "Todos os A não são P".
Se B é "Todo B é Q" então \( \neg B\) é "Algum B não é Q".

Exemplo:
Original: "Algum produto está com defeito e todo pedido foi enviado".
Negação: "Todos os produtos não estão com defeito ou algum pedido não foi enviado".