Resposta: E
Precisamos testar cada colega como sendo aquele com a informação incorreta (o 'mentiroso'), sabendo que os outros dois falam a verdade.
* **Cenário 1: João está com a informação incorreta (João mente, Pedro e Carlos falam a verdade).**
* **Declaração de João:** "Pedro está com a informação incorreta (P_INC) e Carlos está com a informação correta (C_CORR)". Como João mente, esta declaração deve ser FALSA.
* Se João está incorreto, então Pedro e Carlos estão corretos. Assim, P_INC é FALSO e C_CORR é VERDADEIRO.
* A declaração de João (FALSO e VERDADEIRO) resulta em FALSO, o que é consistente com João mentindo. (OK)
* **Declaração de Pedro:** "Se João está com a informação correta (J_CORR), então eu estou com a informação incorreta (P_INC)". Como Pedro fala a verdade, esta declaração deve ser VERDADEIRA.
* Se João está incorreto, então J_CORR é FALSO.
* A declaração de Pedro (Se FALSO, então P_INC) é VERDADEIRA, independentemente do valor de P_INC. É consistente com Pedro falando a verdade. (OK)
* **Declaração de Carlos:** "Eu estou com a informação incorreta (C_INC) ou Pedro está com a informação correta (P_CORR)". Como Carlos fala a verdade, esta declaração deve ser VERDADEIRA.
* Se Carlos está correto, então C_INC é FALSO. Pedro está correto, então P_CORR é VERDADEIRO.
* A declaração de Carlos (FALSO ou VERDADEIRO) resulta em VERDADEIRO. É consistente com Carlos falando a verdade. (OK)
* **Conclusão do Cenário 1:** Todas as condições são consistentes. João está com a informação incorreta.
* **Cenário 2: Pedro está com a informação incorreta (Pedro mente, João e Carlos falam a verdade).**
* **Declaração de Pedro:** "Se João está com a informação correta (J_CORR), então eu estou com a informação incorreta (P_INC)". Como Pedro mente, esta declaração deve ser FALSA.
* Se Pedro está incorreto, João e Carlos estão corretos. Então J_CORR é VERDADEIRO e P_INC é VERDADEIRO.
* A declaração de Pedro (Se VERDADEIRO, então VERDADEIRO) resulta em VERDADEIRO.
* Mas Pedro deveria MENTIR, e sua declaração resultou em VERDADEIRO. Isso é uma CONTRADIÇÃO. Pedro não pode ser o que está com a informação incorreta.
* **Cenário 3: Carlos está com a informação incorreta (Carlos mente, João e Pedro falam a verdade).**
* **Declaração de João:** "Pedro está com a informação incorreta (P_INC) e Carlos está com a informação correta (C_CORR)". Como João fala a verdade, esta declaração deve ser VERDADEIRA.
* Se Carlos está incorreto, então P e J estão corretos. Assim, P_INC é FALSO e C_CORR é FALSO.
* A declaração de João (FALSO e FALSO) resulta em FALSO.
* Mas João deveria FALAR A VERDADE, e sua declaração resultou em FALSO. Isso é uma CONTRADIÇÃO. Carlos não pode ser o que está com a informação incorreta.
Diante da análise dos três cenários possíveis, a única conclusão consistente é que João está com a informação incorreta.