Una cláusula de Horn es una cláusula (disyunción de literales) con a lo sumo un literal positivo.

Expresión: (!A | !B | C)

¿Es esta una cláusula de Horn?