جملة هورن هي جملة (فصل بين حرفيات) تحتوي على حرفية موجبة واحدة على الأكثر.

التعبير: (!A | !B | C)

هل هذه جملة هورن؟