Durante uma auditoria no sistema de controle de acesso a um órgão público, o auditor se depara com a seguinte política de segurança, expressa em linguagem natural:

“Se o usuário possui credencial de nível A e a autenticação multifator está habilitada, então ele pode acessar o sistema. Se o usuário não possui credencial de nível A, então ele deve solicitar autorização especial. Se o usuário solicita autorização especial, então a autenticação multifator não está habilitada. Além disso, sabe-se que o usuário pode acessar o sistema.”

Considerando que as proposições atômicas são:

• p: O usuário possui credencial de nível A.
• q: A autenticação multifator está habilitada.
• r: O usuário pode acessar o sistema.
• s: O usuário solicita autorização especial.

Qual das alternativas abaixo representa uma conclusão logicamente válida a partir dessas premissas?