Admitindo os conectivos proposicionais → (implica), ∧ (e), ∨ (ou) e ~ (não), qual alternativa completa corretamente o espaço vazio ☐ na fórmula (A → ~(C ∧ B)) → ☐ de forma que ela seja uma tautologia?