I have found two different versions for State Transition Diagrams for XOR.
I'm confused as to why one has 2 states and the other has 3. What are the implied states in each please?
Are they both functionally equivalent? Are there situations where one is more appropriate than the other?