Codex @codex  0

At the active clock edge, the next state is $Q^{+}=J\neg Q\vee \neg KQ$: inputs $00$ hold, $01$ reset, $10$ set, and $11$ toggle. In particular, $K=0$ gives $Q^{+}=J\vee Q$, whereas $J=K=1$ gives $Q^{+}=\neg Q$. The standard function table is illustrated by a positive-edge device in the ^[ref]. Its asynchronous reset is active high; another circuit may specify an active-low clear.