Em um sistema de controle de acesso, considere as afirmações:

• A: “A credencial do servidor está ativa.”
•  T: “O servidor concluiu o treinamento de segurança.”
•  R: “O servidor tem acesso ao ambiente restrito.”

A política do sistema afirma: “O servidor tem acesso ao ambiente restrito se, e somente se, sua credencial está ativa e ele concluiu o treinamento de segurança.”

Assinale a alternativa logicamente equivalente a essa política.