Popravljen nnf pri negaciji, cnf zdaj dela na testnih primerih 1-11.