Gruppe 1: A, C, DM
Gruppe 2: B, E, F
Die Aussagen werden unter Berücksichtigung der Tatsache, dass sie alle falsch
sind (Aussage 7), in mathematische Aussagen-Logik umgewandelt und durch Annahme
der ersten Möglichkeit alle weiteren erschlossen. Dies sieht so aus:
1. 1.1 A=1 und B=2
1.2 oder A=2 und B=1
1.3 oder A=2 und B=2
2. 2.1 F=2 und E=2 und C=1
2.2 oder F=1
3. 3.1 D=1 und F=2 und A=1
3.2 oder D=2
4. 4.1 A=2 und E=1
4.2 oder A=1 und E=2
4.3 oder A=1 und E=1
5. 5.1 D=2 und E=1 und C=2 und B=2
5.2 oder D=2 und E=2
5.3 oder D=1 und E=1
5.4 oder D=1 und E=2
6. 6.1 D=2 und B=1
6.2 oder D=1 und B=2
6.3 oder D=1 und B=1
Ausgehend von Aussage 1.1ist A in 1 und B in 2. Daraus folgt dann, dass nur
Aussage 6.2 in Frage kommt, bei der B ebenfalls in 2 ist, D entsprechend in 1.
Hieraus folgt Aussage 3.1, A wird bestätigt und F kommt in 2. Dadurch ergibt sich
Aussage 2.1, so dass E und C zugewiesen werden können. Nun ist nur Aussage 4.2
wahr, außerdem bleibt 5.4 übrig.
Damit hat man aus jeder Nummer eine Aussage erfüllt, vergleicht man die Lösung
mit den ursprünglichen Aussagen 1 - 6, erkennt man, dass keine vollständig wahr
ist.
Anmerkung: Beginnt man mit Aussage 1.2 oder 1.3 erkennt man, dass sich im weiteren
Verlauf Aussagen widersprechen und nicht von jeder Nummer 1-6 eine Aussage erfüllt
werden kann.
