Une clause de Horn est une clause (disjonction de littéraux) avec au plus un littéral positif.

Expression : (!A | !B | C)

Est-ce une clause de Horn ?