Aussagenlogik #15 - Resolution
Wir lernen das Resoultionsverfahren kennen, mit dem man Erfüllbarkeit von Formeln in KNF prüfen kann. Wichtig ist hierbei das sogenannte Resolutionslemma: Wenn man die Resolvente zweier Klauseln zur Formel hinzufügt, dann bleibt die Formel äquivalent zur ursprünglichen Formel.
Watch video Aussagenlogik #15 - Resolution online without registration, duration 10 minute 58 second in high hd quality. This video was added by user NLogSpace 09 November 2020, don't forget to share it with your friends and acquaintances, it has been viewed on our site 34 thousand once and liked it 81 people.