Herleitung Klauselform

Question

Was muss man tun, wenn man zu einer gegebenen PL Formel $F$ eine zu $F$ erfüllbarkeitsäquivalente Formel in Klauselform erhalten möchte?

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

Kommentare