That is correct, but sounds more complicated than it is. As you already have a full DNF, i.e., a disjunction of minterms (conjunctions where all variables appear either negated or not), you can simply replace the disjunction with an exclusive disjunction. From there, it is very simple to generate the Davio decomposition, you just have to single out the variables in the given ordering.
