ホーン節とは、最大で1つの正リテラルを持つ節（リテラルの選言）です。

式: (!A | !B | C)

これはホーン節ですか？