Изменения
Нет описания правки
*Функцию <tex>F</tex> можно задать в форме Крома, если <tex> \Leftrightarrow </tex> когда выполнено следующее следствие (верно и обратное) :
<tex>F(x_1, ..., x_n)=F(y_1, ..., y_n)=F(z_1, ..., z_n)=1\Rightarrow F(<\langle x_1, y_1, z_1>\rangle, <\langle x_2, y_2, z_2>\rangle, ..., <\langle x_n, y_n, z_n>\rangle) </tex>
{{Определение
|definition=
'''Конъюнктивная нормальная форма(КНФ) в форме Хорна''' - это конъюнкция выражений в скобках, каждое из которых представляет собой дизъюнкцию литералов, в которой присутствует не более одного неотрицательного литералабез отрицания.}}
'''Пример:'''
*Функцию <tex>F</tex> можно задать в форме Хрома, если <tex> \Leftrightarrow </tex> когда выполнено следующее следствие (верно и обратное) :
<tex> F(x_1, ..., x_n)=F(y_1, ..., y_n)=1 \Rightarrow F(x_1 \wedge y_1, x_2 \wedge y_2, ..., x_n \wedge y_n)</tex>
