Aufgabe:
Gute Bürger sagen immer die Wahrheit, Verbrecher lügen immer.
Herr X sagt: „Ich und Herr Y sind beide Verbrecher“
Was sind Herr X bzw. Herr Y wirklich?
(zur Aufklärung, x steht für Herr X sagt die Wahrheit, y steht für Herr Y sagt die Wahrheit)
Problem/Ansatz:
Finden Sie das Ergebnis von der Aufgabe nun mittels einer Wertetabelle. Definieren Sie die hier möglichen Alternativen als Aussage variablen x, y. Stellen Sie damit eine Boolesche Funktionaussage (x, y) auf, die die Aussage von Herrn X logisch korrekt ausdrückt.
(Tipp: Alle logischen Operatoren haben eine Bedeutung. Welche Operatoren passen hier?)
Finden Sie dann mittels einer Wertetabelle heraus, welche Werte Ihre Funktionaussage (x, y) besitzt. Klären Sie damit den Sachverhalt auf.
Soweit die Aufgabenstellung. Was mein Problem ist, ist das erstellen eines boolschen Terms.
Die Aussage von Herrn X lässt sich wie gefolgt beschreiben: $$(\neg x \land \neg y )$$
Mir fehlt aber danach der Ansatz, was ich genau in die Wahrheitstabelle schreiben soll. Mein Ansatz bisher, war wie gefolgt:
Wäre Herr X ein guter Bürger, so müsste die Aussage stimmen. Dann wäre er aber gleichzeitig ein Verbrecher, was einen Widerspruch darstellen würde.
Daraus lässt sich schließen, dass Herr X ein Verbrecher ist und die Aussage gelogen ist.
Wäre Herr Y ein Verbrecher, so wäre die Aussage aber wahr. Daher muss Herr Y ein guter Bürger sein.
Leider ist das keine Funktion. Ich weiß praktisch, das folgendes: $$(\neg x \land y)$$ rauskommen muss, kann es aber nicht logisch formulieren.
Kann mir jemand auf die Sprünge helfen? Einen Ansatz geben? Wäre sehr dankbar über jegliche Hilfe :)
