Qual das alternativas é uma equivalência lógica da proposição abaixo?


[ ( ∼ B ∧ A ) → ∼ ( A ∨ B ) ] → ∼ A