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?