A Horn clause is a clause (disjunction of literals) with at most one positive literal.

Expression: (!A | !B | C)

Is this a Horn clause?