Một mệnh đề Horn là một mệnh đề (phép tuyển của các literal) có nhiều nhất một literal dương.

Biểu thức: (!A | !B | C)

Đây có phải là mệnh đề Horn không?