A proposição [ A↔ ( B ˄ ~ A) ] → ~ B não é equivalente a qual das proposições a seguir?

~ B → ~ [ A↔ ( B ˄ ~ A) ]

~ [ A↔ ( B ˄ ~ A) ] ˅ ~ B

~ { [ A↔ ( B ˄ ~ A) ] ˄ B}

B → ~ { [ A→ ( B ˄ ~ A) ] ˄ [ ( B ˄ ~ A) → A] }

B → { ~[ A→ ( B ˄ ~ A) ] ˅ ~[ ( B ˄ ~ A) → A] }