Opravy drobnych preklepu (s diky Ondrovi Mocnemu).

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

diff --git a/10-prevody/10-prevody.tex b/10-prevody/10-prevody.tex
index b4fc61b8b31685be18b35ea20c0616ed4b3db878..53abdb2afc20c127c13b72bb8e8d1e8fe42be662 100644 (file)
--- a/10-prevody/10-prevody.tex
+++ b/10-prevody/10-prevody.tex
@@ -62,7 +62,7 @@ $$ \phi(x, y, \ldots) = (x \lor \lnot y \lor \ldots) \land (\ldots\lor\ldots\lor
 \s{Definice:} 3-SAT je takový SAT, kde ka¾dá klauzule obsahuje nejvý¹e tøi literály.
 
 \s{Pøevod 3-SAT na SAT:}
-Platí identita, 3-SAT splòuje vlastnosti SATu, proto 3-SAT = SAT (3-SAT je alespoò tak tì¾ký, jako SAT)
+Platí identita, 3-SAT splòuje vlastnosti SATu, proto 3-SAT = SAT (3-SAT je alespoò tak tì¾ký jako SAT)
 
 \s {Pøevod SAT na 3-SAT:}
 Musíme formuli pøevést tak, abychom neporu¹ili splnitelnost.