Qual é a equivalência lógica de ¬(A ∧ B) e dela pode-se inferir isoladamente ¬A ou ¬B?

¬(A∧B) ≡ ¬A∨¬B.

Explicação:
Aplica‑se a Lei de De Morgan: \( \neg(A\land B)\equiv \neg A\lor\neg B\).
De \( \neg A\lor\neg B\) não se segue necessariamente \( \neg A\) nem \( \neg B\) isoladamente, pois a disjunção pode ser verdadeira por qualquer um dos termos.
Além disso, a disjunção é equivalente a implicações do tipo B → ¬A (ou A → ¬B), pois \(B\rightarrow\neg A\equiv\neg B\lor\neg A\).

Exemplo:
Considere M = "passou em Matemática", F = "passou em Física".
A afirmação "Não é verdade que passou em M e F" é \( \neg(M\land F)\), equivalente a \( \neg M\lor\neg F\).
Isso não permite concluir, por exemplo, que \( \neg F\) (pode ser que \( \neg M\) seja verdadeiro e \(F\) verdadeiro).
Por outro lado, a sentença "Só passou em Física se não passou em Matemática" é \(F\rightarrow\neg M\), que é logicamente equivalente a \( \neg F\lor\neg M\), coincidente com a premissa.