Resolutionssatz

Resolutionssatz

Frage:

Wie lautet der Resolutionssatz der AL bzw. wann ist eine Klauselmenge unerfüllbar?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.