Dodani funkciji za prevedbo v standardno obliko cnf v datoteki in nazaj.