Horn-Klausel

Aus Infostudium Wiki

Wechseln zu: Navigation, Suche

Beschreibung

Eine Horn-Klausel ist eine Disjunktion von Literalen, wobei maximal eines der Literale positiv ist:

\neg \varphi_1 \vee \varphi_2 \vee \ldots \vee \varphi_n

Eine Horn-Klausel heißt definit, wenn sie genau ein positives Literal besitzt.

Links

Von „http://wiki.infostudium.de/wiki/Horn-Klausel“