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
