时序电路按输出变量的依从关系：

米里型（mearly）：输出的输入变量和现态的函数，即 F ( t ) = f [ x ( t ) , Q n ( t ) ] F(t)=f[x(t),Q^n(t)] F(t)=f[x(t),Qn(t)]

莫尔型（moore）：输出的仅是现态的函数，即 F ( t ) = f [ Q n ( t ) ] F(t)=f[Q^n(t)] F(t)=f[Qn(t)]

状态表也分米里型和莫尔型：

状态图（几个状态几个圆圈）：

特征方程：

通过英文名记忆： Reset-Set trigger（复位-置位）

从它的新符号图来看，R、S都是低电平有效。所以谁是0，谁就有效

特征方程：由卡诺图得来 约束条件就是RS不等于00，即 R ‾ , S ‾ \overline{R} ,\overline{S} R,S不能同时为1，即 R ‾   S ‾ = 0 \overline{R} \ \overline{S}=0 R S=0为约束条件

比基本RS触发器多了一个时钟CP，且R、S是高电平有效

CP高电平有效：

分析同上。 从它的新符号图来看，R、S都是高电平有效。所以谁是1，谁就有效

CP高电平有效：

Q n + 1 = D Q^{n+1}=D Qn+1=D次态等于D：

英文是Toggle，意思是翻转：每来一个CP信号，触发器翻转一次。

CP高电平有效：

计数脉冲T（不来CP就是0，来一个CP就是1）：

由此画出状态真值表：

再由此得到状态方程： Q n + 1 = T Q n ‾ + T ‾ Q n = T ⊕ Q n Q^{n+1}=T\overline{Q^n}+\overline{T}Q^n=T⊕Q^n Qn+1=TQn​+TQn=T⊕Qn

Jump-Key

CP高电平有效：

JK：

再由此得到状态真值表，

再得到状态方程： Q n + 1 = J ‾   K ‾ Q n + J K ‾   Q n ‾ + J K ‾ Q n + J K   Q n ‾ = ( J ‾   K ‾ Q n + J K ‾ Q n ) + ( J K ‾   Q n ‾ + J K   Q n ‾ ) = K ‾ Q n + J Q n ‾ Q^{n+1}=\overline{J} \ \overline{K}Q^n+J\overline{K}\ \overline{Q^n}+J\overline{K}{Q^n}+J{K}\ \overline{Q^n}=(\overline{J} \ \overline{K}Q^n+J\overline{K}{Q^n})+(J\overline{K}\ \overline{Q^n}+J{K}\ \overline{Q^n})=\overline{K}Q^n+J\overline{Q^n} Qn+1=J KQn+JK Qn​+JKQn+JK Qn​=(J KQn+JKQn)+(JK Qn​+JK Qn​)=KQn+JQn​

即 Q n + 1 = J Q n ‾ + K ‾ Q n Q^{n+1}=J\overline{Q^n}+\overline{K}Q^n Qn+1=JQn​+KQn