André, Breno, Carla, Denise e Érica são os responsáveis pela manutenção dos servidores em certo Data Center. Essas pessoas
se revezam em turnos de trabalho, de maneira que, em cada turno, deve haver exatamente 3 pessoas presentes. Em certo
turno, Érica estava presente e fez as seguintes anotações:
- Breno não está de folga ou Carla está de folga.
- André não está de folga e Denise está de folga.
- Ou Breno não está de folga ou Denise não está de folga.
- Se Carla está de folga, então Denise não está de folga.
- André não está de folga se, e somente se, Breno não está de folga.
Sabendo que exatamente uma das anotações feitas por Érica é logicamente falsa, então é logicamente verdadeiro que:
- Breno não está de folga ou Carla está de folga.
- André não está de folga e Denise está de folga.
- Ou Breno não está de folga ou Denise não está de folga.
- Se Carla está de folga, então Denise não está de folga.
- André não está de folga se, e somente se, Breno não está de folga.
Sabendo que exatamente uma das anotações feitas por Érica é logicamente falsa, então é logicamente verdadeiro que: