Danke seeeehhhhr )))), sehr hilfreich, God sei Dank das du gibst, was hätte ich ohne dich gemacht, das ist die einzige Video über Hornformeln auf deutsch.
Super erklärt, die Definitionen in deinem Video sind lustigerweise genau die Gleichen, die ich auch in meinem Skript habe, hattest du vielleicht den selben Professor? ;)
Danke echt, hab nie verstanden, warum wenn man nichts mehr färben kann das Ding dann erfüllbar ist (schritt 5). man Setzt alles auf 0. und wenn dan einer der werte als alleinstehende negierte Klausel steht wird sie positiv und die ganze Formel ist somit efüllbar.
Sehr gut verständlich. Allerdings gänzlich Formal korrekt wäre es, wenn du bei deinen Implikationen noch klammern setzt. Also anstatt : A und D --> B .....((A und D)-->B).
Top, endlich Verstanden, warum muss der Prof das auch so umständlich machen...
@Bodhi Lincoln 5 years to late^^
Wie lief das Studium?
@@jussef2057 Hat geklappt^^
Since this video we haven't seen him again. Wherever you are I love your channel and hope you are back.
Vielen vielen Dank, bin mit der komplizierten Anleitung im Skript überhaupt nicht klargekommen und habs jetzt sofort verstanden, weiter so!
Super hilfreich, sehr viel besser als andere Erklärungen/Tutorials! Danke! :)
dankeschön sehr anschaulich mit den farben und gute beispiele
Danke seeeehhhhr )))), sehr hilfreich, God sei Dank das du gibst, was hätte ich ohne dich gemacht, das ist die einzige Video über Hornformeln auf deutsch.
sehr gut und anschaulich erklärt, vielen dank
hab speed 1.25 gehabt. also zu schnell hast du nicht geredet. sehr gutes video. hat mir sehr geholfen
mega gut erklärt!!! danke dir!!!
Sehr verständliche Erklärung, vielen Dank 👍😄
Sehr gut und übersichtilich. Danke
Danke! Hat mir viel geholfen für die VL Mathematische Logik.
Richtig gut!
Hat mit extrem geholfen :)
Formal nennt man das Prozedularer Form ( 1. Schritt)
Sehr gut erklärt! Danke!
Ehrenmann Elias
vielen dank , und sehr nachvollziehbar, kennst du etwas mit Implikanten und primimplikanten im Aussagelogik ?
Tut mir leid, das ist alles schon zu lange her für mich
vielen Dank wow super
Super erklärt, die Definitionen in deinem Video sind lustigerweise genau die Gleichen, die ich auch in meinem Skript habe, hattest du vielleicht den selben Professor? ;)
kann möglich sein^^ Uni Stuttgart?
das heist jedoch prozedurale Form nicht implikationsschreibweise, aber hast du ja dazu gesagt das du das nich 100% weist.
Alex R. Bei uns steht Implikationsschreibweise im Skript. Ich denke, dass es da nicht nur eine richtige Schreibweise gibt
Stieer, ich hatte auch grade die Erkenntnis, dass mir das bekannt vorkommt :D #hertrampf
Danke echt, hab nie verstanden, warum wenn man nichts mehr färben kann das Ding dann erfüllbar ist (schritt 5). man Setzt alles auf 0. und wenn dan einer der werte als alleinstehende negierte Klausel steht wird sie positiv und die ganze Formel ist somit efüllbar.
You the real MVP!
vielen dank :)
BESTE Erklärung.
4:25 "Wir duerfen weitermachen". Ja danke xD
Sehr gut verständlich. Allerdings gänzlich Formal korrekt wäre es, wenn du bei deinen Implikationen noch klammern setzt. Also anstatt : A und D --> B .....((A und D)-->B).
Wie löst man folgende Formel?: F=A∧(BvD)∧!D
Das ist ja keine Hornformel, ich würde zur Wahrheitswertetabelle raten
Danke!!
dankeeeeeeeeeeeeee
Danke
normalerweise is die prio von oder, und groeser als -> aber naja
MrDimension0 sicherheitshalber schreibe ich trotzdem immer alle klammern