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