Bir Horn tümcesi, en fazla bir pozitif değişmez içeren bir tümcedir (değişmezlerin ayrımı).

İfade: (!A | !B | C)

Bu bir Horn tümcesi midir?