Изменения
→КНФ в форме Хорна
*Функцию <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>
