DNF problems