Sehr einfach lässt sich das Rätsel mit einem bestimmten Fragetyp lösen, der es erlaubt, festzustellen, ob eine Aussage X wahr oder falsch ist, ohne dabei nebenbei festzustellen, ob der Mönch gerade lügt oder nicht und auch die Information ob „Da“ bzw. „Si“ dem deutschen ja bzw. nein entsprechen, kann aus der Antwort nicht gewonnen werden.
Die Si/Da Frage lautet:
Würdest du jetzt die Frage „Ist die Aussage X wahr?“ mit "Da" beantworten? |
Diese geschachtelte Frage wird immer mit „Da“ beantwortet, wenn X wahr ist und mit Si, wenn X falsch ist, egal ob „Da“ oder „Si“ ja bedeuten oder der Mönch gerade lügt oder die Wahrheit spricht. Das kann man einfach ausprobieren:
X ist wahrMönch lügt ja nein „Ist die Aussage X wahr?“ „mit Da beantworten?“
Nein Da Si Da Da
Nein Si Da Si Da
Ja Da Si Si Da
Ja Si Da Da Da
X ist falschMönch lügt ja nein „Ist die Aussage X wahr?“ „mit Da beantworten?“
Nein Da Si Si Si
Nein Si Da Da Si
Ja Da Si Da Si
Ja Si Da Si Si
Jetzt braucht man nur noch 3 Aussagen formulieren, deren Wahrheitsgehalt uns darüber informiert, welcher Mönch welcher ist.
Da ABC aus {WLZ, WZL, LWZ, LZW, ZWL, ZLW} ist könnten wir
X1: ABC ist aus {WLZ, WZL, LWZ}
X2: ABC ist aus {WLZ, LWZ, ZWL}
X3: ABC ist aus {WLZ, LZW}
wählen. Die Fragen X, X2 und X3 könnten unabhängig an beliebige Mönche gestellt werden, also ohne die Antwort auf andere Fragen zu wissen. X3 muss nicht gestellt werden, wenn X1 und X2 verschieden beantwortet werden.
Folgende Tabelle zeigt dann, welcher Mönch welcher ist:
ABC X1 X2 X3
WLZ Da Da Da
WZL Da Si Si
LWZ Da Da Si
LZW Si Si Da
ZWL Si Da Si
ZLW Si Si Si
Aus den Antworten auf X1, X2 und X3 kann man nun eindeutig die Möche A, B und C als Wahrheit (W), Lüge (L) und Zufall (Z) identifizieren.
Beispiel für die Frage X3:
Würdest du die Frage „Ist A die Wahrheit und B der Lügner oder C die Wahrheit und A der Lügner?“ mit Da beantworten?
Natürlich kann man auch einfachere Fragen bilden, aber am Prinzip ändert es nichts.
Auch die von dir zitierte Lösung in deutscher Sprache benutzt dieses Prinzip. Du kannst es ja nochmal kontrollieren. Ich denke, dass kein Fehler drin ist.