Een Horn-clausule is een clausule (disjunctie van literalen) met hoogstens één positieve literaal.

Expressie: (!A | !B | C)

Is dit een Horn-clausule?