超越（愛因斯坦難題）的難題

根據已故的麻省理工( MIT )哲學及邏輯家George Boolos，以下的趣味邏輯問題可算是全世界最難的一個。你可以解決這個難題嗎？

 

 

有甲、乙、丙三個精靈，其中一個只說真話，另外一個只說假話，還有一個隨機地決定何時說真話，何時說假話。你可以向這三個精靈發問三條是非題，而你的任務是從他們的答案找出誰說真話，誰說假話，誰是隨機答話。

你每次可選擇任何一個精靈問話，問的問題可以取決於上一題的答案。這個難題困難的地方是這些精靈會以「Da」或「Ja」回答，但你並不知道它們的意思，只知道其中一個字代表「對」，另外一個字代表「錯」。你應該問那三條問題呢？