From 2b4f5bd9e6c0a628d9f112efcbd7038f1c912368 Mon Sep 17 00:00:00 2001
From: Kirill Kirnosov <45202735+AngryPythonCoder@users.noreply.github.com>
Date: Wed, 24 Sep 2025 17:26:14 +0400
Subject: [PATCH] =?UTF-8?q?=D0=9E=D0=BF=D0=B5=D1=87=D0=B0=D1=82=D0=BA?=
 =?UTF-8?q?=D0=B0.=20=D0=A3=D1=81=D0=BB=D0=BE=D0=B2=D0=B8=D0=B5=20x=20?=
 =?UTF-8?q?=D1=81=D1=87=D0=B8=D1=82=D0=B0=D0=B5=D1=82=D1=81=D1=8F=20=D0=B2?=
 =?UTF-8?q?=D0=B5=D1=80=D0=BD=D1=8B=D0=BC=20=D0=BF=D1=80=D0=B8=20=D1=83?=
 =?UTF-8?q?=D1=81=D0=BB=D0=BE=D0=B2=D0=B8=D0=B8,=20=D1=87=D1=82=D0=BE=20c[?=
 =?UTF-8?q?x]=20>=20c[!x].?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 content/russian/cs/graph-traversals/2-sat.md | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/content/russian/cs/graph-traversals/2-sat.md b/content/russian/cs/graph-traversals/2-sat.md
index fc6b2ba2..e4f9dcf0 100644
--- a/content/russian/cs/graph-traversals/2-sat.md
+++ b/content/russian/cs/graph-traversals/2-sat.md
@@ -2,10 +2,10 @@
 title: 2-SAT
 weight: 9
 authors:
-- Сергей Слотин
-- Максим Иванов
+  - Сергей Слотин
+  - Максим Иванов
 prerequisites:
-- scc
+  - scc
 ---
 
 **Ликбез.** Конъюнкция — это «правильный» термин для логического «И» (обозначается $\wedge$ или &). Конъюнкция возвращает `true` тогда и только тогда, когда обе переменные `true`.
@@ -60,4 +60,4 @@ prerequisites:
 0. Построим граф импликаций, заменив все выражения вида $a | b$ двумя ребрами $!a \rightarrow b$ и $!b \rightarrow a$.
 1. [Найдем](../scc) все компоненты сильной связности в графе импликаций.
 2. Проверим, что для любого значения $x$ его отрицание лежит в другой компоненте сильной связности: $c[ x ] \neq c[ !x ]$. Если это не так, то решения не существует.
-3. Если требуется выводить ответ, то положим условие $x$ верным, если $c[ x ] < c[ !x ]$, и неверным в противном случае.
+3. Если требуется выводить ответ, то положим условие $x$ верным, если $c[ x ] > c[ !x ]$, и неверным в противном случае.