# Zapoctovy test 4.2.2016

<{ForumPost(poster="bombur", timestamp=2016-02-04 12:23:17)}>
**Zadani:** Napiste program, ktery cte vyrokove formule ve tvaru 2-CNF ze standardniho vstupu a rozhoduje, zda jsou splnitelne.  
Formule jsou vzdy korektne zadane, kazda klauzule vzdy obsahuje prave dva literaly a prvovyroky mohou byt oznacene pouze pismeny a-z.  
Pokud je formule splnitelna, vystupem ma byt libovolne splnujiciho ohodnoceni. Pokud neni, ma program vypsat false.  
  
Logicke spojky pouzite ve formuli jsou znaky &, |, ! postupne pro AND, OR, NOT. Vstup neobsahuje bile znaky.  
  
**Priklad vstupu a vystupu:**  
  
VSTUP: a|b&!b|b&!a|c&!c|!c  
VYSTUP: a=false, b=true, c=false  
  
VSTUP: a|a&!a|!a  
VYSTUP: false  
  
**Poznamky:**

* zadaval dr. Kofron
* cas 3 hodiny + 15 minut seznameni se zadanim (nevim, zda se prodluzovalo)

<{/ForumPost}>