A tabela abaixo mostra cinco processos A, B, C, D e E que devem ser executados em uma máquina. Cada processo necessita de um conjunto de recursos para ser executado e, uma vez que o processo é executado, estes recursos são consumidos e se tornam indisponíveis. A política de escalonamento de processos considera que um processo está pronto para ser executado quando todos os recursos de que ele necessita estão disponíveis e que no máximo dois processos podem ser executados em paralelo. Apenas duas ordenações de execução dos processos A, B, C, D e E são possíveis de acordo com esta política, sem que haja tempo desnecessário sendo gasto em espera por recursos.

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

Considere que as proposições p, q, r , s e t 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.
t: os recursos para a tarefa E estão disponíveis.

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