Wer als letztes antwortet kriegt viel mehr als nur 128 Dias

Also ich darf mich ja grade mich solchen schönen Dingen beschäftigen:
φ := (p ∨ q) ∧ (q ∨ ¬r) ∧ (p ∨ ¬q ∨ r)
ψ := (¬p ∧ r) ∨ (p ∧ ¬r) ∨ (p ∧ q ∧ r)
Zu zeigen: φ erfüllbar und es gilt φ |= ψ.
Ja das ist an sich nicht wirklich schwer, aber wollte jetzt nicht Mathe vom letzten Semester raussuchen.
Falls ihr das lösen wollt: https://kbar.app/
 
Ja, wobei ChatGPT dazu neigt zu behaupten Dinge ausprobiert zu haben, obwohl Text basierte Sprachmodelle das nicht können.
 
Es kamen vor allem Dreiecke, Kreise, lineare Funktionen und quadratische Funktionen dran.
Also mir hat die Klassenarbeit sehr gut gefallen. Die Anderen aus meiner Klasse fanden sie jedoch aus irgendeinem Grund nicht so schön. :pardon:
 
Eine Lösung wäre x=y=z=0. Bei x=y=0 ist es egal was z ist. Außerdem ist in allen Fällen egal was x ist.
 
Da der Potenzoperator Präzedenz nimmt gibt es da eigentlich keine andere Möglichkeit, oder?
 
Hier nochmal die gesamte Lösung. Der Wert von x ist immer egal. Wenn z den Wert -1 hat, dann kann y jeder Wert sein. Wenn y den Wert 0 hat, dann kann z jeder Wert sein.
 

Benutzer, die dieses Thema gerade lesen

ONLINE 8 Spieler