Horn子句是一个子句（文字的析取），最多有一个正文字。

表达式：(!A | !B | C)

这是一个Horn子句吗？