Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/ex-equiv-in-3knf — различия между версиями

Текущая версия на 06:50, 4 мая 2023

Выразите логическое отношение эквивалентности в виде 3-КНФ формулы.

@@ Строка 1: / Строка 1: @@
-<big>Цыганова Светлана, 974гр.</big>
 Выразите логическое отношение эквивалентности в виде 3-КНФ формулы.
-<latex>
-\textbf{Решение}
-Отношение эквивалентности $A \Leftrightarrow B$ записывается следующей 3-КНФ формулой: $(\overline{A}\vee B)\wedge(A\vee\overline{B})$
-</latex>
-[[Category:На проверку]]
+<!--Вообще-то, решения уже есть-->
+[[Категория:Решенные задачи]]
+[[Категория:Теоретические задачи]]