53
правки
Изменения
Нет описания правки
==Теоремы, связанные с coNP==
Если <tex>NP = \ne coNP</tex>, тогда <tex>P \neq NP</tex>
==Пример задач класса coNP==
* Язык тавтологий, задача определения, является ли булева формула тавтологией. TAUT
