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