Em problemas de associação com opções exclusivas, qual estratégia lógica permite determinar a opção restante quando duas atribuições já são conhecidas?

Usar eliminação por exclusividade: as opções já atribuídas são descartadas e a que sobra é a resposta.

Explicação:
Quando cada elemento deve receber uma opção distinta (correspondência biunívoca), conhecer duas pares remove essas opções do conjunto, deixando apenas uma possível para o terceiro elemento.
Operacionalmente: liste as opções, marque as usadas e atribua a que restou.

exemplo:
Três projetos P1, P2 e P3 serão alocados a três equipes E1, E2 e E3, sem repetição.
Se P1 → E2 e P2 → E1, então E1 e E2 estão ocupadas, sobrando E3 para P3; portanto P3 → E3.