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