Em um sistema de controle de acesso, considere a seguinte condição:

“Sempre que o acesso for liberado, é necessário que o candidato apresente documento oficial com foto e, além disso, assine a lista de presença ou apresente comprovante de agendamento”.

Proposições:
a: o acesso é liberado.
p: o candidato apresenta documento oficial com foto.
q: o candidato assina a lista de presença.
r: o candidato apresenta comprovante de agendamento.

Notação utilizada:
¬ (negação); ∧ (conjunção); ∨ (disjunção);
→ (implicação).

Considere as proposições acima e indique a alternativa CORRETA.