Popravil metodo poenostavi v Izjave
Importal CNF
Mislim da delujoè CNF