24
правки
Изменения
2SAT
,Добавлена расшифровка
Решим задачу 2-SAT выполнимости данной функции.
{{Задача
|definition = 2-SAT (2-satisfiability) выполнимость данной функции — задача распределения аргументов таким образом, чтобы результат данной функции был равен <tex> 1 </tex>.
}}
