DNF puzzles