Em um sistema especialista para triagem de pacientes em um hospital público, as regras de inferência são expressas por proposições compostas. Considere as seguintes proposições atômicas:

• P: O paciente apresenta febre acima de 38°C.
• Q: O paciente relata dor de cabeça intensa.
• R: O paciente tem histórico de hipertensão.
• S: O paciente é encaminhado para atendimento prioritário.

O sistema utiliza a seguinte fórmula lógica como regra principal:

((P ∧ Q) → R) ∨ (¬R ∧ S)

Um analista precisa determinar em quais condições essa fórmula é verdadeira, considerando todas as combinações possíveis de valores lógicos para P, Q, R e S. Além disso, ele deseja identificar qual das alternativas abaixo descreve corretamente uma situação em que a fórmula é falsa, ou seja, um contraexemplo.

Assinale a alternativa que apresenta uma atribuição de valores lógicos (P, Q, R, S) que torna a fórmula ((P ∧ Q) → R) ∨ (¬R ∧ S) falsa.