Um grande banco formará uma comissão que será comandada por três de suas funcionárias, Alice, Beatriz e
Carla. Nessa comissão, uma delas será a presidente, outra será a gerente, e outra, a coordenadora. A distribuição
desses cargos deverá, necessariamente, considerar as
quatro seguintes restrições:
I) Se Carla for a gerente, então Beatriz terá de ser a
presidente;
II) Se Alice for a presidente, então Carla terá de ser a
gerente;
III) Se Beatriz não for a coordenadora, então Alice terá de
ser a gerente;
IV) Se Carla for a coordenadora, então Beatriz terá de ser
a gerente.
Nessas circunstâncias, os respectivos cargos de Alice,
Beatriz e Carla serão