A proposição { [ ( ∼ A ∧ ∼ B ) → ( B →A) ] ∨ ∼ B } ↔ (A ∧ B ) NÃO é equivalente a qual das proposições a seguir?