Matfyz Wiki
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)