Изменения

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

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

2 байта добавлено, 00:32, 17 июня 2016
Разрешимать булевой формулы, заданой в форме Крома
<tex>(x_1\vee\overline x_2) \wedge (\overline x_1 \vee x_3 ) \wedge (\overline x_3 \vee x_2 ) \wedge (\overline x_1 \vee \overline x_2) \wedge... </tex>
=== Разрешимать Разрешимость булевой формулы, заданой в форме Крома ===
{{main|2SAT}}
45
правок

Навигация