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
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
