Ã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ösungAufgabe 7-1a)a) (A ∧ B) → ¬(¬A ∧ B)A B (A ∧ B) → ¬(¬A ∧ B)0 0 10 1 11 0 11 1 1→ konsistent, Tautologie