144
правки
Изменения
Нет описания правки
*[[#КНФ в форме Крома|КНФ в форме Крома(2-КНФ,2-Sat,2-CNF)]]
*[[#КНФ в форме Хорна|КНФ в форме Хорна(Horn clause)]]
'''Конъюнктивной нормальной формой(КНФ) в форме Хорна''' - это конъюнкция выражений в скобках,каждое из которых представляет собой дизъюнкцию литералов(literal,переменная или ее отрицание),в которой присутствует не более одного неотрицательного литерала.}}
'''Пример:'''
<math> (\neg A \or \neg B \vee \cdots \or \neg C ) \and (A \or \neg B \vee \cdots \or \neg C)</math>
Любую формулу можно представить в виде КНФ в форме Хорна.Для этого любую формулу необходимо преобразовать в КНФ(конъюнкцию элементарных дизъюнкций) и далее каждую дизъюнкцию представить в форме Хорна.
'''Пример:'''
Пусть нам дано выражение ( ¬ A v (B ^ D) ≡ B → C )
