I'm not understanding implication charts to reduce states for Mealy and Moore machines. I'm looking at an example from berkley
I was able to construct the table and then also eliminate the ones based on that output(here's the one from the site since you can't see my whiteboard)
The thing is, I don't understand how they got to the next step.
How did they decide to eliminate those states? Following the steps, I wound up eliminating several steps they kept, such as a and d, since c and e are clearly not the same.
What am I missing?