Das ganze ist relativ easy.
Man hat 2 Variable, einerseits, wer der Lügner ist, andererseits, welche Tür die richtige ist.
Wenn man fragt "ist deine Tür die richtige" sagt W (Wahrheitssagender) ja und L (Lügner) nein, wenn sie jeweils vor der richtigen Tür stünden. Wüsste man, wer lügt und wer nicht, wäre das Rätsel hier zu Ende.
Jetzt weiß man das aber nicht. Man muss also eine Frage finden, auf die beide die gleiche Antwort geben, sodass es irrelevant wird, wer lügt oder wer nicht lügt, sodass sich eine Variable "wegkürzt" und die andere Variable in der Antwort enthalten ist.
Beispiel: "Würde mir der andere die linke Tür empfehlen?"
Wenn die linke Tür die Himmelstür ist sagt W nein und L sagt nein. Warum? Weil wir ja wissen, dass einer nur lügt und der andere nur die Wahrheit sagt, müssen wir uns einfach auf den jeweils anderen beziehen, sodass sich die Variable "wegkürzt". Wenn die Antwort nein ist, geh ich links. Wenn die Antwort ja ist, geh ich rechts.
Ich frage mich gerade, ob man mit nur einer Frage sowohl ermitteln kann, welche Tür die richtige ist, als auch, ob man mit dem Lügner spricht oder dem Wahrheitssager. Momentan glaube ich, das geht nicht, aber vielleicht doch. Leider bin ich ultra verkatert, das heißt damit werd ich mich später beschäftigen.