Como determinar uma atribuição única usando análise por casos em problemas de associação com opções mutuamente exclusivas?

Aplicando eliminação e testando cada caso consistente com as restrições; se em todos os casos uma mesma atribuição surge, ela é única.

Explicação:
Faça a lista das opções sobrantes após as restrições fixas.
Escolha cada alternativa possível para a variável ambígua e propague as consequências (eliminação nas demais).
Se em todos os ramos da análise por casos uma mesma alocação para um elemento se repetir, essa alocação é certa.

Exemplo:
Cinco pessoas devem ocupar as funções Cook, Driver, Cleaner, Guard, Clerk (uma para cada).
Restrições:
- P1 não é Guard nem Clerk.
- P2 é Cook ou Driver (mas não ambos).
- P3 é Cleaner.
- P4 é Guard ou Cook (mas não ambos).
- P5 não é Cook.

Solução por casos:
Caso 1: se P2 = Cook, então P1 não pode ser Guard nem Clerk → P1 = Driver.
P4 (Guard ou Cook) não pode ser Cook (já em P2) → P4 = Guard.
Sobram Clerk para P5.

Caso 2: se P2 = Driver, então P1 (não Guard nem Clerk) só pode ser Cook.
P4 (Guard ou Cook) não pode ser Cook → P4 = Guard.
Novamente sobra Clerk para P5.

Conclusão: em ambos os casos P5 = Clerk, logo essa atribuição é única.