D-input Equations, Y equations
D0 = EN Q1Q0 + EN Q1Q0
D1 = EN Q1 Q0 + EN Q1 Q0
The output Y is simply the DFF outputs! Here is one case where state encoding is affected by problem definition (does not make much sense to use a different state encoding, even though we could do it).