Horn 절은 최대 하나의 긍정 리터럴을 가진 절(리터럴의 disjunction)입니다.

Expression: (!A | !B | C)

이것이 Horn 절입니까?