Изменения

'''Теорема''' 3<tex>-SAT 3SAT \in NPC </tex> (, ''т.е. задача о выполнимости булевой формулы в форме 3-КНФ <tex>NP</tex>-полна).'''''Доказательство'''Для того, чтобы доказать <tex>NP</tex>-полноту задачи, необходимо установить следующие факты:# <tex> 3SAT \in NPH </tex>;# <tex> 3SAT \in NP </tex>.