(Solved): The state diagram below defines a sequential lock circuit. The user has two inputs, A and B, and mu ...

The state diagram below defines a sequential lock circuit. The user has two inputs, A and B, and must switch these inputs in the right order to umlock the lock. The output is UL (UnL.ocked). and it is high when the lock is unlocked, and low when it is locked. a) Check each of the states to verify that the transitions exiting the state are well formed. That is, for each state, check that the sum of the input cenditions for all transitions is I. and the product of the input conditions on each pair of transitions is 0 . Show your work. b) Assume the following state assignment: \( \mathrm{S} 0: 00, \mathrm{~S}: 01, \mathrm{~S}: 11, \mathrm{S3}: 10 \), and complete the state table from the state diagram in Figure 1, Note that entries of " \( \mathrm{X} \) " are "don't care" entries. The use of don't care entries reduces the size of the table from 16 to 10 rows. Table 1 State Table c) Find equations for the next state, \( \mathrm{nI} \) and n0 as a function of \( \mathrm{pl} \), p0 and the inputs \( \mathrm{A} \) and \( B \). d) Find an equation for the outpot, UL. e) Using D flip-flops, and logic gates, draw a logic diagram for the circuit.