Изменения
→Определение
* Говорят, что формула записана в ''конъюнктивной нормальной форме'' (КНФ), если представляет собой логическое '''И''' дизъюнктов.
==== Определение ====
<tex>CNFSAT = \{\phi \ |\ \phi </tex> ''в КНФ,'' <tex>\phi \in </tex> [[SATТеорема Кука]] <tex> \} </tex> — задача о выполнимости булевой формулы в форме КНФ.
== Теорема ==
