(Solved): Consider the following next-state table and corresponding output table below. The inputs are C and D ...

Consider the following next-state table and corresponding output table below. The inputs are C and D; the outputs are R and M. NS presents the next state, and S = (S1, S0) presents current state. Draw the state diagram of the system using binary coding specification. Note that the X’s are don’t cares.

\begin{tabular}{cccc|cc} \( S_{1} \) & \( S_{0} \) & \( C \) & \( D \) & \( N S_{1} \) & \( N S_{0} \) \\ \hline 0 & 0 & 0 & \( \mathrm{X} \) & 0 & 0 \\ 0 & 0 & 1 & 0 & 1 & 0 \\ 0 & 0 & 1 & 1 & 0 & 1 \\ 0 & 1 & 0 & 0 & 1 & 1 \\ 0 & 1 & 0 & 1 & 1 & 1 \\ 0 & 1 & \( \mathrm{X} \) & 0 & 1 & 1 \\ 0 & 1 & 1 & 1 & 0 & 0 \\ \hline 1 & 0 & 0 & \( \mathrm{X} \) & 1 & 0 \\ 1 & 0 & 1 & \( \mathrm{X} \) & 1 & 1 \\ 1 & 1 & \( \mathrm{X} \) & \( \mathrm{X} \) & 0 & 0 \end{tabular} \begin{tabular}{cc|cc} \( S_{1} \) & \( S_{0} \) & \( R \) & \( M \) \\ \hline 0 & 0 & 0 & 1 \\ 0 & 1 & 1 & 1 \\ 1 & 0 & 0 & 0 \\ 1 & 1 & 1 & 1 \end{tabular}