]> mj.ucw.cz Git - ads2.git/commitdiff
Chybel konec \itemize.
authorMartin Mares <mj@ucw.cz>
Tue, 18 Dec 2007 16:29:51 +0000 (17:29 +0100)
committerMartin Mares <mj@ucw.cz>
Tue, 18 Dec 2007 16:29:51 +0000 (17:29 +0100)
10-prevody/10-prevody.tex

index a78615465ec243bfbeee955280071821fe2af01d..d09827bf2ba5c5cbce55f5e2604054971311e296 100644 (file)
@@ -75,6 +75,7 @@ plat
 \:$\alpha ,\beta / \lnot\alpha ,\lnot\beta \rightarrow x = 0/1$ (je nám to jedno, celkové øe¹ení nám to neovlivní)
 Hodnota x nám pùvodní formuli nijak neovlivní, proto¾e se v ní nevyskytuje, proto ji mù¾eme nastavit, jak chceme my.
 Tento trik opakujeme tak dlouho, dokud je to tøeba.
+\endlist
 
 {\I poznámka} u 3-SAT lze vynutit právì $3$ literály, pro krátké klauzule pou¾ijeme následující trik:
 $$(a) \rightarrow (a \lor x) \& (a \lor \lnot x) $$