Изменения

В теории сложности '''Класс''' <tex>coNP</tex> &mdash; класс языков (задач), дополнение к которым является NP.

==Теоремы, связанные с coNP==

Если <tex>NP \ne coNP</tex>, тогда <tex>P \neq NP</tex>

==Пример задач класса coNP==

* Язык тавтологий, задача определения, является ли булева формула тавтологией. TAUT