X-Git-Url: http://mj.ucw.cz/gitweb/?a=blobdiff_plain;f=10-prevody%2F10-prevody.tex;h=b5466911fd34cec12557023d514f6204fa4b58e7;hb=b29d449af56e8c91305b63d964f67ecbda1b26d3;hp=9e55361c13f39b9f0d73ee38aa4e9add42fce29b;hpb=3f63575cf1eaa5ddb92f52a201676aceb6cb9b09;p=ads2.git

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}