Resolution
Frage:
Sei die AL Variable $ A \in K_1$ und $\lnot A \in K_2$, wobei $K_1$ und $K_2$ Klauseln sind.
Wie sieht der Resolvent $R$ von $K_1$ und $K_2$ aus?
Antwort:
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Kommentare
Nur angemeldete Nutzer dürfen kommentieren.
Hier geht's zur kostenlosen Registrierung.