Implement the combinational logic for output Y0 and output z from the same state table. y is the present state, x is the input, and Y0 is the least-significant bit of the next state.
| Present state y | Next state if x=0 | Next state if x=1 | z |
|---|---|---|---|
| 000 | 000 | 001 | 0 |
| 001 | 001 | 100 | 0 |
| 010 | 010 | 001 | 0 |
| 011 | 001 | 010 | 1 |
| 100 | 011 | 100 | 1 |