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.


-----------------------

► Paypal-Link für Spenden:
► Liberapay:
► Patreon:

resolution,aussagenlogik,resolutionslemma,