Uma cláusula de Horn é uma cláusula (disjunção de literais) com no máximo um literal positivo.

Expressão: (!A | !B | C)

Isto é uma cláusula de Horn?