Como usar exclusividade e negações para atribuir, por eliminação, uma opção única a cada pessoa?

Eliminar opções contraditórias usando a regra de exclusividade até restar uma opção por pessoa.

Explicação:
1. Regra: cada pessoa deve receber uma opção diferente.
2. Use as negações e afirmações para eliminar alternativas impossíveis para cada pessoa.
3. Sempre que uma opção ficar definitivamente atribuída, exclua-a das demais (propagação).
4. Repita eliminação e atribuições até que cada pessoa tenha uma opção única.

Exemplo:
Opções: Design, Coding, Testing, Documentation.
Afirmativas:
- P1: “Não quero Design nem Documentation.”
- P2: “Quero Documentation.”
- P3: “Quero Design ou Testing.”
- P4: “Quero Design.”

Dedução:
- P2 = Documentation (afirmação direta).
- P4 = Design (afirmação direta).
- P1 não aceita Design nem Documentation → sobrando Testing ou Coding.
- P3 quer Design ou Testing, mas Design já é de P4 → P3 = Testing.
- Com Testing ocupado, P1 = Coding.

Resultado final: P1 – Coding; P2 – Documentation; P3 – Testing; P4 – Design.