10:45 Ich finde es sehr schade, dass in gefühlt 90% aller Erklärungen bzw. Beispiele zur Resolution nur Klauseln verwendet werden, die noch nicht zum Resolvieren verwendet wurden. Das impliziert, man dürfe bereits verwendet Klauseln nicht verwenden. Ich habe mehrere Stunden an einer Aufgabe gesessen, weil ich nicht auf die leere Menge kam. Naja ... bis ich dann irgendwann herausgefunden habe, dass man alle Klauseln verwenden darf. Super, dass Du es auch so zeigst!
Danke für das Video. Eine Frage hab ich nun doch noch: Was genau heißt denn, wenn eine Formel unerfüllbar ist? Also wie ist das zu verstehen? Dank dir :-)
10:45 Ich finde es sehr schade, dass in gefühlt 90% aller Erklärungen bzw. Beispiele zur Resolution nur Klauseln verwendet werden, die noch nicht zum Resolvieren verwendet wurden. Das impliziert, man dürfe bereits verwendet Klauseln nicht verwenden. Ich habe mehrere Stunden an einer Aufgabe gesessen, weil ich nicht auf die leere Menge kam. Naja ... bis ich dann irgendwann herausgefunden habe, dass man alle Klauseln verwenden darf. Super, dass Du es auch so zeigst!
Ja aber wie wählt man da aus? Oder muss man einfach solange rumprobieren bis man die leere Menge erhält?
Danke Diggi, hat klick gemacht bei mir 👍👍
gut gemacht.. der einzige dislike war sicher von nem bwler ;)
Danke für das Video😊
Dicken Kuss von mir 😘
Danke für das Video. Eine Frage hab ich nun doch noch: Was genau heißt denn, wenn eine Formel unerfüllbar ist? Also wie ist das zu verstehen? Dank dir :-)