Изменения

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

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

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

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