cv07: zadanie
cv07: python testovac
cv07: vzorove formula.py a cnf.py
cv07/zadanie: podrobnejsie vysvetlenie + priklad pre disj.
cv07/prover.py: jednoduchy priklad vyuzivajuci toCnf a SAT solver