Дизъюнкт Хорна — это дизъюнкция литералов, содержащая не более одного положительного литерала.

Выражение: (!A | !B | C)

Является ли это дизъюнктом Хорна?