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)).