Trochu lepe vysvetleno, jak se zaridi, aby se literal vyskytnul maximalne

[ads2.git] / 10-prevody / 10-prevody.tex

diff --git a/10-prevody/10-prevody.tex b/10-prevody/10-prevody.tex
index 9e55361c13f39b9f0d73ee38aa4e9add42fce29b..b5466911fd34cec12557023d514f6204fa4b58e7 100644 (file)
--- 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}