At right is the state diagram for a Moore sequential circuit which monitors two inputs X_1 X_0. When the two inputs X_1 X_0 are 00, the output Z toggles at every clock. When the two inputs X_1 X_0 are 11, the output Z toggles at every other clock. When the two inputs X_1 X_0 are different, the output Z holds its state and does not change until the inputs are equal again. Use the following table with the gray code assigned (easier to fill in the K-Map if us gray code)