Что такое Дизьюнкт Хорна?

В математической логике, дизъюнкт Хорна — дизъюнкция литералов с менее чем одним положительным литералом. Дизъюнкты Хорна плучили название по имени логика Альфреда Хорна, указавшего в первый раз значимость таких дизъюнктов в статье, которая была опубликована в 1951 году.

Дизъюнкт Хорна с ровно одним положительным литералом по своей сути есть определённый дизъюнкт; в универсальной алгебре только определённые дизъюнкты являются квазитождествами. Дизъюнкт Хорна вообще без положительных литералов время от времени именуется целью либо запросом, а если конкретно, то в логическом программировании. Формула Хорна есть конъюнкция дизъюнктов Хорна, другими словами формула в конъюнктивной обычной форме, все дизъюнкты которой являются хорновскими. Двояким дизъюнктом Хорна именуют дизъюнкцию с менее чем одним отрицательным литералом. Дизъюнкты Хорна играют изначальную роль в логическом программировании и имеют принципиально важное приложение в конструктивной логике.