Considere que, em um sistema de controle de acesso, as proposições atômicas A, B e C representem, respectivamente, as condições: 'o usuário possui credencial válida', 'o usuário está na lista de autorizados' e 'o usuário apresenta biometria compatível'. O acesso é liberado quando a fórmula F = (A ∧ B) ∨ (¬A ∧ C) é verdadeira. Nesse contexto, julgue o item a seguir: a fórmula F é logicamente equivalente à fórmula G = (A → B) ∧ (¬A → C).