Um analista de sistemas está desenvolvendo um programa para gerenciar o fluxo de trabalho em um órgão público. Ele precisa garantir que uma determinada tarefa só seja executada se duas condições preliminares forem atendidas: a primeira condição (P) é que o sistema esteja online, e a segunda condição (Q) é que o usuário esteja autenticado. Se o sistema não estiver online (não P) ou se o usuário não estiver autenticado (não Q), a tarefa não deve ser iniciada. Qual das seguintes proposições lógicas representa corretamente a condição para que a tarefa possa ser iniciada?