COPEVE23Q015 – (COPEVE/UFAL – 2023 – UFAL – TÉCNICO ADMINISTRATIVO – LÓGICA PROPOSICIONAL) – Considerando que os símbolos ¬, ∧, ∨ e → representam negação, conjunção, disjunção e implicação, respectivamente, assinale a alternativa que apresenta uma fórmula equivalente a ¬((A→¬B)→(A ∧ B)).
a) A ∨ B
b) A ∨ ¬B
c) ¬A ∨ B
d) ¬(A ∨ B)
e) ¬A ∨ ¬B
![](https://s2.save4k.ru/pic/XtxS9BcacEw/mqdefault.jpg)