Die Klauselform in der Prädikatenlogik

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 Informatik und Logik (B.Sc.-N...   ► Vorlesungsfolien zum Download: https://iccl.inf.tu-dresden.de/web/Th... (17. Vorlesung) ► Aktuelle und frühere Versionen der Vorlesung: https://iccl.inf.tu-dresden.de/web/Th... ► Fehler gefunden? Issues melden auf github: https://github.com/knowsys/TheoLog