Klausel Normalform Bedeutung

Klausel-Normalform

== Hornklauseln == Hornklauseln stellen eine spezielle Klauselnormalform dar, bei der jede Klausel maximal ein positives Literal enthält. siehe auch: Horn-Formel ...
Gefunden auf https://de.wikipedia.org/wiki/Klausel-Normalform

---