cv07: fixnuty priklad pre disjunkciu