Die Klauselform in der Prädikatenlogik
Channel: Prof. Markus
Date: 22/06/2021

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: https://www.youtube.com/playlist?list=PLz7XhF-sAU8z4FtL7V9uefCXzW9Z9rk5c
► Vorlesungsfolien zum Download: https://iccl.inf.tu-dresden.de/web/TheoLog2021 (17. Vorlesung)
► Aktuelle und frühere Versionen der Vorlesung:  https://iccl.inf.tu-dresden.de/web/TheoLog
► Fehler gefunden? Issues melden auf github: https://github.com/knowsys/TheoLog