你应该问那三条问题呢？
有甲、乙、丙三个精灵，其中一个只说真话，另外一个只说假话。还有一个随机地决定何时说真话，何时说假话。你可以向这三个精灵发问三条是非题，而你的任务是从他们的答案找出谁说真话，谁说假话，谁是随机答话。这个难题困难的地方是这些精灵会以“Da”或“Ja”回答，但你并不知道它们的意思，只知道其中一个字代表“对”，另外一个字代表“错”。你应该问那三条问题呢？
《补充说明》：
相对该文章“几年前”，逻辑学家和难题制作大师Raymond Smullyan制作了一道就该文章作者所知无人挑战的逻辑难题，叫迄今最难的逻辑题。
而有人还进一步加大该题的难度；计算机科学家 John McCarthy 将该题“扭”得更难：精灵的语言中哪个词表示“是”，哪个词表示“否”是未知的。
George Boolos 是麻省理工学院哲学教授和“Provability Logic”的创始人之一，《The Logic of Provability》一书的作者。上述文章出现在1996年春的哈佛哲学评论。
文章的内容在Boolos的书《逻辑，逻辑，逻辑》的第29章。（1998年哈佛大学出版社出版）。
