Dialog
Stefan: Hier sollten wir anhalten und Ute besuchen.
Benni: Ute ist doch im Urlaub in Tansania.
Frank: Dass ich nicht lache! Ute ist nach Helgoland gefahren.
Tobi: Nein Ute ist in Tansania. Ich glaube, Stefan meint Verena mit ihrem neuem Balkon.
Stefan: Verena hat doch keinen Balkon! Dafür aber einen Garten mit neuer Wiese.
Frank: Verena einen Balkon und keine Wiese. Aber bei Wiese fällt mir Martin ein. Der spielt doch so gut Fußball. Ganz anders als Björn mit der Vorliebe für besonderen Kaffee.
Benni: Das stimmt aber nicht ganz! Mit Verena und Martin hast du Recht, aber Björn trinkt nur Kamillentee.
Stefan: Unsinn-Björn trinkt jeden Kaffee, den er findet. Aber Martin kann echt nicht spielen.
Tobi: Genau so ist es. Aber Sie, Herr S., Sie kennen doch die vier am besten? Wer von uns hat Recht!
Herr S.: Sie haben jetzt alle je vier Aussagen gemacht: Darüber, ob Ute gerade zu Hause, in Tansania oder auf Helgoland ist, ob Verena einen Balkon oder garten hat, über Martins Fuballfähigkeiten und über Björns Lieblingsgetränk. Dabei hat jeder von ihnen zwei richtige und zwei falsche Behauptungen aufgestellt. Mehr brauche ich nicht sagen. Sie wissen jetzt wo Ute ist, ob Verena einen Balkon hat; ob Björn Kaffee oder Tee trinkt und ob Martin Fußball spielen kann.
Glauben Sie Herrn S. und finden Sie heraus, was die anderen vier im Auto jetzt wissen können.
Meine Frage ist wie formuliere ich das jetzt mit den Logikoperatoren und wie löse ich das überhaupt?