Em um determinado processo, para que uma tarefa seja executada, todos os recursos de que ela necessita devem estar disponíveis. Algumas tarefas geram como saída recursos que podem vir a ser utilizados por outras tarefas. Quando uma tarefa é executada, ela pode consumir o recurso de que necessita, ou seja, após a execução da tarefa, tal recurso pode não estar mais disponível. As tarefas são ordenadas de forma a otimizar a utilização dos recursos disponíveis: assim que os recursos necessários para a execução de uma tarefa estão disponíveis, ela tem prioridade para ser executada, porém, no máximo, duas tarefas podem ser executadas em paralelo. Uma análise do processo revelou que duas ordens de execução das tarefas A,B,C e D são possíveis, conforme mostra o quadro a seguir.

	Ordenação 1	Ordenação 2
Passo 1	A	A em paralelo com B
Passo 2	B em paralelo com C	C
Passo 3	D	D

Foi constatado também que nenhuma outra reordenação das tarefas seria possível sem que houvesse comprometimento dos resultados ou do tempo total de execução dessas tarefas.

Considere que as proposições p, q, r e s representam os seguintes fatos:

p: os recursos para a tarefa A estão disponíveis
q: os recursos para a tarefa B estão disponíveis
r: os recursos para a tarefa C estão disponíveis
s: os recursos para a tarefa D estão disponíveis

Considerando a linguagem da lógica proposicional, a fórmula que representa a disponibilidade de recursos depois do passo 1 e antes do passo 2, independente da ordenação escolhida, é