Zapoctovy test 4.2.2016

Předmět zaměřený na praktické programování v jazyku a prostředí Java
bombur

Zapoctovy test 4.2.2016

Příspěvek od bombur »

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)
Odpovědět

Zpět na „PGR013 Java“