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:
0 Comments