$5\mathrm{.}10$ A sequential circuit has two $JK$ flip$-$flops A and $B,$ two inputs $x$ and $y,$ and one output $z.$ The flip$-$flop input equations and circuit output equation are

$J_A=B^{\text{'}}+B^{\text{'}}{y}^{\text{'}},K_A=B^{\text{'}}x{y}^{\text{'}}$

$J_B=A^{\text{'}}x,K_B=A+x{y}^{\text{'}}$

$z=A{x}^{\text{'}}{y}^{\text{'}}+B{x}^{\text{'}}{y}^{\text{'}}$

a$.$ Draw the logic diagram of the circuit.

b$.$ Tabulate the state table.

c$.$ Derive the state equations for A and $B.$

How do you know if there is a $1$ or $0$ for the J and K$?$