En Horn-klausul är en klausul (disjunktion av literaler) med som mest en positiv literal.

Uttryck: (!A | !B | C)

Är detta en Horn-klausul?