Os funcionários de uma empresa precisam criar uma comissão para elaborar um documento sobre determinado assunto. Entretanto, algumas condições deverão ser satisfeitas. Alice só participará da comissão se Bento também participar. Bento não participará se Carlos e Eunice, ambos, participarem. Eduardo, Carlos e Eunice conhecem o assunto, então um deles tem de participar da comissão. Eduardo só participará se Carlos ou Alice ou ambos participarem. Carlos não participará se nem Alice nem Bento participarem.
Uma comissão formada por Carlos, Eduardo, Bento e Alice satisfaz as condições descritas.
