Como aplicar exclusão lógica para determinar atribuições únicas em um problema de associação com restrições?

Eliminar progressivamente as opções proibidas para cada item até que reste uma única opção viável por item.

Para aplicar: listar todas as opções possíveis para cada elemento, aplicar as restrições para eliminar alternativas, e sempre que uma opção ficar única para um elemento, removê‑la das alternativas dos demais (processo de exclusão cascata) até resolver todo o sistema.

Exemplo:
Itens: A, B, C — Opções: x, y, z

Restrições:
- A não pode ser x nem y → A ∈ {z}
- B não pode ser z → B ∈ {x,y}
- C não pode ser y → C ∈ {x,z}

Passo a passo:
1) De A ≠ x,y deduzimos A = z.
2) Como z já foi atribuído a A, removemos z das opções dos demais: B ∈ {x,y} (permanece), C ∈ {x} (pois z foi eliminado).
3) C só pode ser x, então C = x.
4) Resta para B a opção y, logo B = y.

Resultado único: A=z, B=y, C=x — obtido apenas por exclusão lógica e eliminação em cadeia.