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 ∨ B
A ∨ ¬B
¬A ∨ B
¬(A ∨ B)
¬A ∨ ¬B
