K map minimization need confirmation
I'm not familiar with the m(...) + d(...) notation, but I gather that the first list is "must be 1" and the second list is "don't care". In that case, you've got it nearly right, except for the last term, which need to take E into account.