Ãbung zu Grundlagen der Logik und Logik-Programmierung
Ãbung zu Grundlagen der Logik und Logik-Programmierung
Ãbung zu Grundlagen der Logik und Logik-Programmierung
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Aufgabe 7-1: Erfüllbarkeit Aufgabe 7-2: Implikation Aufgabe 7-3: Lauflängencodierung AnhangLösungImplikation - Lösung Teil 1Wie geht man vor? Zuerst erstellen wir eine Wahrheitswertetafel.Dann suchen wir nach Interpretationen, in denen alle Prämissen<strong>der</strong> Aussage ein Modell sind.A B C D A → B C → D ¬B ∨ ¬D ¬A ∨ ¬C0 0 0 0 1 1 1 10 0 0 1 1 1 1 10 0 1 0 1 0 1 10 0 1 1 1 1 1 10 1 0 0 1 1 1 10 1 0 1 1 1 0 10 1 1 0 1 0 1 10 1 1 1 1 1 0 1