Изменения

Перейти к: навигация, поиск

Специальные формы КНФ

6 байт убрано, 10:17, 15 октября 2010
Нет описания правки
*Функцию <tex>F</tex> можно задать в форме Крома, если выполнено следствие(верно и обратное):
<tex> F(x_1, ..., x_n)=F(y_1, ..., y_n)=F(z_1, ..., z_n)= 1 \Rightarrow F(<x_1, y_1, z_1>, <x_2, y_2, z_2>, ..., <x_n, y_n, z_n >) </tex>
144
правки

Навигация