From b29d449af56e8c91305b63d964f67ecbda1b26d3 Mon Sep 17 00:00:00 2001
From: Martin Mares <mj@ucw.cz>
Date: Mon, 21 Jan 2008 10:28:34 +0100
Subject: [PATCH] Trochu lepe vysvetleno, jak se zaridi, aby se literal
 vyskytnul maximalne dvakrat.

---
 10-prevody/10-prevody.tex | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/10-prevody/10-prevody.tex b/10-prevody/10-prevody.tex
index 9e55361..b546691 100644
--- a/10-prevody/10-prevody.tex
+++ b/10-prevody/10-prevody.tex
@@ -218,7 +218,13 @@ $$
 (x_k \Rightarrow x_1).
 $$
 
-Tímto zaruèíme, ¾e v¹echny promìnné budou mít stejnou hodnotu. Navíc si lze v¹imnout, ¾e ka¾dý literál se vyskytuje nejvíce dvakrát.
+Tímto zaruèíme, ¾e v¹echny nové promìnné budou mít stejnou hodnotu.
+
+Mimochodem, mù¾eme rovnou zaøídit, ¾e ka¾dý literál se vyskytuje nejvíce dvakrát (tedy ¾e
+ka¾dá promìnná se vyskytuje alespoò jednou pozitivnì a alespoò jednou negativnì). Pokud by
+se nìjaká promìnná nìjaká promìnná objevila ve~tøech stejných literálech, mù¾eme na~ni
+také pou¾ít ná¹ trik a nahradit ji tøemi promìnnými. V~nových klauzulích se pak bude
+vyskytovat jak pozitivnì, tak negativnì.
 
 \s{Závìr:} Obrázek ukazuje problémy, jimi¾ jsme se dnes zabývali, a vztahy mezi tìmito problémy.
 \figure{prevody.eps}{Pøevody mezi problémy}{3in}
-- 
2.39.2