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.