Im letzten Schritt unserer syntaktischen Vorbereitung auf den Resolutionsalgorithmus wandeln wir die Formel in konjunktive Normalform (KNF) um. Diese kann man dann vereinfacht als Klauselform schreiben.
► Playliste für diesen Videokurs: • Theoretische Informati...
► Vorlesungsfolien zum Download: iccl.inf.tu-dresden.de/web/Th... (17. Vorlesung)
► Aktuelle und frühere Versionen der Vorlesung: iccl.inf.tu-dresden.de/web/Th...
► Fehler gefunden? Issues melden auf github: github.com/knowsys/TheoLog
Негізгі бет Die Klauselform in der Prädikatenlogik
Пікірлер: 2