Aussagenlogik #9 - Konjunktive Normalform (KNF)

[@itssayix7249]

Unglaublich wie schnell du hier Themen vermittelst! Bitte weiter so!

[@AlphaFrogify]

Dankeschön. KNF und DNF in 10 min gechecked.

[@mhwse]

Passt - danke/kurz und klar!

[@tcm-pi1ku]

Vielen Dank, richtig gut erklärt!

[@Luca_040]

Das kann man aber so nicht machen wenn man eine KNF für die Resoultion braucht

[@nicogeheim398]

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.

[@shaigrustamov5115]

Dankeschön, wirklich gut erklärt :) Aber wie kann man die Wertetabelle selbst einfach erstellen? Haben Sie dazu auch ein Video?

[@tetr4182]

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.

[@NLogSpace]

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!

[@thibbo4089]

mein prof will dass ich das ohne ne Tabelle mache, hat jmd ne Ahnung wie das dann funktioniert?

[@tetwa9350]

Müsste (A v NotB v C) für (w,w,w) nicht eigentlich wahr sein?

[@NLogSpace]

Ja, das steht doch im Video auch so, oder.

[@tetwa9350]

@@NLogSpace nee, das ist doch der fall ganz oben? und bei dem steht falsch

[@NLogSpace]

@@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.