=> Bei Frage II zerfällt dann das „Urbild“ von 0 und 1 in
{(0 1 ?), (1 0 ?), (? 0 1), (? 1 0)} und
{(0 ? 1), (1 ? 0), (? 0 1), (? 1 0)}
Betrachten wir den ersten Fall, d.h. die Mitte ist kein Student.
Wir haben noch zwei offene Fragen.
III) Mitte, steht der böse Professor rechts vom Studenten (Nur Aussage A als Ansatz)
IV ) Mitte, steht entweder der böse Professor rechts vom Studenten (Aussage A) oder sind sie der gute Professor (Aussage B)?
L M R III
IV
1 0 ? | 0
0 (A=0, B=0, A xor B = 0)
0 1 ? | 1
0 (A=0, B=1, A xor B = 1, gelogen also 0)
? 0 1 | 1
1 (A=1, B=0, A xor B = 1)
? 1 0 | 0
1 (A=1, B=1, A xor B = 0, gelogen also 1)
=> Damit trennt die Antwort von V die linken Varianten von den rechten Varianten für die Position des Studenten.
Es muss dann nur noch eine Frage gestellt werden, an der man erkennen kann, ob M nun 1 oder 0 ist.
=>
V) Mitte, steht der Student an Position X? ( X = die schon erkannte Position des Studenten)
Der andere Fall des ersten Beitrags geht dann analog.