From: Martin Mares <mj@ucw.cz>
Date: Tue, 18 Dec 2007 16:29:51 +0000 (+0100)
Subject: Chybel konec \itemize.
X-Git-Url: http://mj.ucw.cz/gitweb/?a=commitdiff_plain;h=ebbeabce96f1692e8ed458281e7ab4982cb61a5a;p=ads2.git

Chybel konec \itemize.
---

diff --git a/10-prevody/10-prevody.tex b/10-prevody/10-prevody.tex
index a786154..d09827b 100644
--- a/10-prevody/10-prevody.tex
+++ b/10-prevody/10-prevody.tex
@@ -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) $$