Изменения

* ''Дизъюнктом'' называется логическое '''ИЛИ''' одного или нескольких литералов. Например, <tex>x \vee \neg y \vee z</tex>

* Говорят, что формула записана в ''конъюнктивной нормальной форме'' (КНФ), если представляет собой логическое '''И''' дизъюнктов.

<tex>CNFSAT = \{\phi \| в КНФ, \phi \in SAT\} </tex> &mdash; задача о выполнимости булевой формулы в форме КНФ.

== Теорема ==

<tex> CNFSAT \in NPC. </tex>

== Доказательство ==