Ao realizar uma auditoria interna, em uma empresa de tecnologia, o gerente de segurança...

Ao realizar uma auditoria interna, em uma empresa de tecnologia, o gerente de segurança da informação determinou como lógica de verificação a seguinte condição:

"É necessário investigar todo funcionário que acessou o sistema pela manhã e acessou à noite."

Contudo, ao reescrever essa regra para o sistema de verificação, o analista designado para a função, utilizou uma lógica equivalente. Com base nos princípios da lógica proposicional, especificamente nas Leis de De Morgan, qual das alternativas abaixo deve ser considerada a condição reescrita pelo funcionário?