El problema de lógica más difícil de la historia se suele llamar Boolos porque George Boolos en su obra La Repubblica dió nombre a este problema creado por Raymond Smullyan.
El problema tiene el siguiente enunciado:
Hay tres dioses llamados A, B y C. Cada uno de ellos responde de la siguiente forma a cualquier pregunta. Uno de ellos siempre dice la verdad otro solo miente, y otro a veces dice la verdad y otras miente. Debes de determinar quién responde de cada forma, haciendo únicamente tres preguntas, una pregunta a cada uno de los tres dioses.
La solución, en inglés.
