En Horn-klausul er en klausul (disjunktion af literaler) med højst én positiv literal.

Udtryk: (!A | !B | C)

Er dette en Horn-klausul?