Sete funcionários de uma empresa (Arnaldo, Beatriz, Carlos, Douglas, Edna, Flávio e Geraldo) foram divididos em 3 grupos para realizar uma tarefa. Esta divisão foi feita de modo que:
- cada grupo possui no máximo 3 pessoas;
- Edna deve estar no mesmo grupo que Arnaldo;
- Beatriz e Carlos não podem ficar no mesmo grupo que Geraldo;
- Beatriz e Flávio devem estar no mesmo grupo;
- Geraldo e Arnaldo devem ficar em grupos distintos;
- nem Edna nem Flávio podem fazer parte do grupo de Douglas.
Estarão necessariamente no mesmo grupo: