同步时序逻辑分析也与异步时序逻辑分析一样，也是研究设计好的程序。也是在“纸面”上“运行”的程序。

具体方法是按照脉冲输入的实际顺序，逐一分析所有器件的状态，确定是0、OFF、不工作，还是1、ON、工作，进而弄清程序能否实现预定的功能。

显然，如果程序正确、可行，其输入、输出的对应关系也总是确定的。也就是说，对某个具体程序的分析，其答案只有一个。

以下为两个分析实例：

1.单按钮起、停电路

单按钮起、停电路，也可用S（置位）、R（复位）替代输出指令。替代后的同步化程序如图2-39所示。

图2-39 置位、复位指令单按钮起停

这里，条0（图2-39c为1、2）产生脉冲信号pA。条1、2（图2-39c为3、4）为程序主体，当MQ OFF时，置位；而当MQ ON时，复位。而条3（图2-39c为5）为MQ对Q状态的记录。实际两者的状态是相同的。所差的只是，不使Q的变化在本脉冲周期起作用。这也正是同步逻辑的特点。

可知，Q OFF时，经脉冲信号作用，将ON、置位；而在Q ON时，经脉冲信号作用，将OFF、复位。图2-39b所示的即是它的状态图。

2.“格兰码”计数器

图2-40所示为“格兰码”计数器。主令信号pA为脉冲信号（图中未列出它的产生）。G0、G1、G2为输出，而mG0、mG1、mG2用以记录G0、G1、G2。

图2-40 脉冲计数梯形图程序

起始时，G2、G1、G0全为0，其状态用000表示。mG2、mG1、mG0也全为0。这时，如计数脉冲pA ON，在执行计数段指令时，mG2、mG1、mG0状态不会变，仍然全为0，从分析G0、G1、G2起动逻辑可知，G0起动条件为1，将工作，ON。而G2、G1起动条件均为0，不可能工作，仍都为0。

之后，执行中间记录处的几条指令。执行后mG0、mG1、mG2对G2、G1、G0的变化了的状态作了记录，为以后计数脉冲的作用提供新的逻辑条件。但不会对本扫描周期计数段指令的执行起作用。因为到了下一个扫描周期，计数脉冲已OFF，G1、G2不可能起动。G0则由于计数脉冲的非为1，保持条件为1，肯定将继续ON。可知，000状态，接受一个计数脉冲后，将变为001。

在001时，若计数脉冲pA再ON，在执行计数段指令时，mG2、mG1、mG0状态不变，为001，从分析可知，G0保持条件为1，将保持工作，仍为ON。而G1起动条件为1，将起动、工作，变为ON。而G2起动条件为0，不能工作，仍为0。之后，执行中间记录处的几条指令。执行后，mG2、mG1、mG0将记录为011。又为下一次计数做准备。可知，001状态，接受一个计数脉冲pA后，将变为011。

在011时，若计数脉冲pA再ON，在执行计数段指令时，mG2、mG1、mG0状态不变，为011，从分析可知，G0保持条件为0，起动条件也为0，G0将停止工作，转为OFF。而G1保持条件为1，将保持工作，仍为ON。而G2起动条件为0，不能工作，仍为0。之后，执行中间记录处的几条指令。执行后，mG2、mG1、mG0将记录为010。又为下一次计数做准备。可知，011状态，接受一个计数脉冲后，将变为010。

在010时，若计数脉冲pA再ON，还可作类似的分析，可知它将为110。再接着为111。再接着为101。再接着为100。再接着为000。

把上述分析，按状态图的约定，即可得出它的状态图，如图2-41所示。

从状态图分析可知，这里状态的变化正是按“格兰码”计数器的计数规律变化的。