Eine Horn-Klausel ist eine Klausel (Disjunktion von Literalen) mit höchstens einem positiven Literal.

Ausdruck: (!A | !B | C)

Ist dies eine Horn-Klausel?