Изменения

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

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

2 байта добавлено, 00:34, 17 июня 2016
Разрешимость булевой формулы, заданой в форме Крома
{{Утверждение
|statement=Функцию <tex>F</tex> можно задать в форме Крома <tex> \iff </tex> выполнено следующее следствие:<tex> F(x_1, ..., x_n)=F(y_1, ..., y_n)=F(z_1, ..., z_n)=1 \Rightarrow</tex> <tex>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>
}}
45
правок

Навигация