Was ist, wenn man eine Formel hat, die nur für eine Belegung den Wahrheitswert 0 hat? Dann kann man ja gar keine KNF daraus bilden, da man ja zwei Disjunktionen von Literalen benötigt um eine KNF zu bilden.
Vielen Dank für das Video. Was ich jedoch nicht verstehe, wie man aus einem deutschen Satz nun die KNF bildet. Angenommen wir haben folgenden Satz: Wenn dieser Apfel süß ist, dann isst man ihn gern. Das wäre ja apfel_suess => gerne_essen ... Wie mache ich aus diese Aussage nun eine KNF? Iwie bekomm ich das mit den Wissen aus deinem Video gerade nicht hin :-( Wäre cool, wenn du mir diesbezüglich kurz Rückmeldung geben könntest. Vielen Dank.
Das hier ist eine Videoserie. Wie man eine Implikation als eine Disjunktion (und damit als KNF) darstellt, habe ich in einem der vorigen Videos erklärt!
@@tetwa9350 In der Spalte für die Formel A v ¬B v C und Zeile (w, w, w), zu sehen bei 2:35, steht wahr. Meinst Du vielleicht den Eintrag in der Spalte (A v ¬B v C) ↔ ¬(A ∧ C)? Diese Formel ist falsch unter der Belegung (w, w, w). Beachte, dass der Teil "↔ ¬(A ∧ C)" mit zur Formel gehört.
Unglaublich wie schnell du hier Themen vermittelst! Bitte weiter so!
Dankeschön. KNF und DNF in 10 min gechecked.
Passt - danke/kurz und klar!
Vielen Dank, richtig gut erklärt!
Das kann man aber so nicht machen wenn man eine KNF für die Resoultion braucht
sehr hilfreich Danke 👍
Was ist, wenn man eine Formel hat, die nur für eine Belegung den Wahrheitswert 0 hat? Dann kann man ja gar keine KNF daraus bilden, da man ja zwei Disjunktionen von Literalen benötigt um eine KNF zu bilden.
Vielen Dank für das Video. Was ich jedoch nicht verstehe, wie man aus einem deutschen Satz nun die KNF bildet. Angenommen wir haben folgenden Satz: Wenn dieser Apfel süß ist, dann isst man ihn gern.
Das wäre ja apfel_suess => gerne_essen ... Wie mache ich aus diese Aussage nun eine KNF? Iwie bekomm ich das mit den Wissen aus deinem Video gerade nicht hin :-(
Wäre cool, wenn du mir diesbezüglich kurz Rückmeldung geben könntest. Vielen Dank.
Das hier ist eine Videoserie. Wie man eine Implikation als eine Disjunktion (und damit als KNF) darstellt, habe ich in einem der vorigen Videos erklärt!
Dankeschön, wirklich gut erklärt :) Aber wie kann man die Wertetabelle selbst einfach erstellen? Haben Sie dazu auch ein Video?
Müsste (A v NotB v C) für (w,w,w) nicht eigentlich wahr sein?
Ja, das steht doch im Video auch so, oder.
@@NLogSpace nee, das ist doch der fall ganz oben? und bei dem steht falsch
@@tetwa9350 In der Spalte für die Formel A v ¬B v C und Zeile (w, w, w), zu sehen bei 2:35, steht wahr. Meinst Du vielleicht den Eintrag in der Spalte (A v ¬B v C) ↔ ¬(A ∧ C)? Diese Formel ist falsch unter der Belegung (w, w, w). Beachte, dass der Teil "↔ ¬(A ∧ C)" mit zur Formel gehört.
mein prof will dass ich das ohne ne Tabelle mache, hat jmd ne Ahnung wie das dann funktioniert?