求世界上出了名难的逻辑推理题

~ 1. 有一个只说真话的精灵，一个只说假话的精灵，还有一个随机决定何时说真话何时说假话的精灵。
2. 你可以向这三个精灵发问三条是非题，目标是从他们的答案找出谁说真话，谁说假话，谁是随机答话的精灵。
3. 精灵用“Da”或“Ja”回答，但你不知道哪个字代表“对”，哪个字代表“错”。
4. 问题难点在于不懂精灵的语言，连回答是“是”还是“否”都不知道。
5. 可以通过假设精灵用人类语言（“Yes”或“No”）回答来简化问题。
6. 精灵丙的回答对推理无影响。
7. 真话精灵或假话精灵会对命题P以人类语言的“Yes”回答，当且仅当他对命题Q的回答是“Da”。
8. 可以假设精灵用人类语言回答，从而使问题相对简单。
9. 假设三位精灵以左边、中间、右边一行排开。
10. 可以通过迫真话法让假话精灵说真话。
11. 迫真话法是通过问精灵命题Q：“Q = (P and 你是真话精灵) or (not P and 你是假话精灵)”，使其只能说真话。
12. 首先用迫真话法问左边的精灵，问他中间的精灵是否是丙精灵。
13. 如果回答是“Yes”，则右边的精灵不是丙精灵，且用迫真话法问右边的精灵可以得知他是哪个精灵。
14. 如果回答是“No”，则中间的精灵不是丙精灵，同样用迫真话法问中间的精灵可以得知他是哪个精灵。

---

求世界上出了名难的逻辑推理题视频