数字系统与逻辑设计--第五章(C)

1、电路中心电路中心 张咏梅张咏梅 电子工程学院电子工程学院5.3.3 序列信号发生器设计序列信号发生器设计分分类类1、计数型、计数型2、移存型、移存型由由移位寄存器加反馈电路移位寄存器加反馈电路构成。构成。 由由模值为序列信号长度模值为序列信号长度的计数的计数器器加组合逻辑电路加组合逻辑电路构成。构成。 电路中心电路中心 张咏梅张咏梅 电子工程学院电子工程学院1、计数器型序列信号发生器、计数器型序列信号发生器计数器的作用是产生节拍计数器的作用是产生节拍模值等于序列长度模值等于序列长度或或序序列长度的整数倍列长度的整数倍。电路中心电路中心 张咏梅张咏梅 电子工程学院电子工程学院例例5.3.3例例5

2、.3.35.3.3：分析图分析图5.3.65.3.6所示电路所示电路Z Z的输出序列，并采用的输出序列，并采用与非门和同或门增加两个输出序列信号：与非门和同或门增加两个输出序列信号：X=110011,110011,X=110011,110011,和和Y=101101,101101,Y=101101,101101,。 Q2nQ1nQ0nQ2n+1Q1n+1Q0n+10 0 00 0 10 1 11 1 11 1 01 0 00 0 10 1 11 1 11 1 01 0 00 0 0Z0 0 0001输出序列为输出序列为000001nnnnnnQQQQQQD0120120nnQQZ12电路中心电

3、路中心 张咏梅张咏梅 电子工程学院电子工程学院例例5.3.3Q2nQ1nQ0n0 0 00 0 10 1 11 1 11 1 01 0 0Z0 0 0001XY110011101101nnnnQQQQX1010nnnnnnQQQQQQY100101如果计数器的模值能如果计数器的模值能够被序列信号的长度够被序列信号的长度整除，则可以用它来整除，则可以用它来产生长度短于计数器产生长度短于计数器模值的序列信号。模值的序列信号。 =(0,1,4,6)+(2,5)=(0,3,4,7)+(2,5)电路中心电路中心 张咏梅张咏梅 电子工程学院电子工程学院设计方法设计方法仿仿真真确确定定触触发发器器数数K K

4、给给定定序序列列信信号号长长度度M MKKM221作作状状态态转转移移表表，为为每每个个状状态态分分配配一一个个输输出出值值设设计计计计数数器器并并检检查查自自启启动动设设计计组组合合电电路路画画逻逻辑辑图图一一般般按按同同步步计计数数器器设设计计电路中心电路中心 张咏梅张咏梅 电子工程学院电子工程学院确定模值确定模值M和触发器数和触发器数K举例举例设计一个计数型序列信号发生器，输出序设计一个计数型序列信号发生器，输出序列为列为1010010100。M=5 K=3作状态转移表作状态转移表Z=（0,2）+ （5,6,7）Z10100电路中心电路中心 张咏梅张咏梅 电子工程学院电子工程学院设计计数

5、器设计计数器nnnnnnnnnnnnQQQQQQQQQQQQ010102210011211nnnQKQJQ1JK触发器触发器特征方程特征方程110200112012KQJQKJKQQJnnnn电路中心电路中心 张咏梅张咏梅 电子工程学院电子工程学院举例（续）举例（续）检查自启动检查自启动100100101101111111010010011011001001000000110110Q Q2 2Q Q1 1Q Q0 0设计组合电路设计组合电路nnQQ02能自启动能自启动Z=（0,2）+ （5,6,7）电路中心电路中心 张咏梅张咏梅 电子工程学院电子工程学院画逻辑电路图画逻辑电路图1 1J J1

6、1J J1 1J J1 1K K1 1K K1 1K K& & &C C1 1C C1 1C C1 1& &Z ZC CP PQ Q0 0Q Q1 1Q Q2 21 112012KQQJnnnQKJ0111020KQJnnnQQZ02电路中心电路中心 张咏梅张咏梅 电子工程学院电子工程学院仿真仿真设计符合要求设计符合要求1 0 1 0 01 0 1 0 01 0 1 0 0电路中心电路中心 张咏梅张咏梅 电子工程学院电子工程学院2. 移存型序列信号发生器移存型序列信号发生器由给定序列信号由给定序列信号确定循环长度M确定循环长度M求求最最少少移移位位寄寄存

7、存器器位位数数K KKKM221K K是是否否够够大大K=K+1K=K+1检检查查自自启启动动画画逻逻辑辑图图仿仿真真YN设设计计方方法法由移位寄存器由移位寄存器加上反馈构成加上反馈构成对给定的序列取对给定的序列取M组组K位码，每取一组后移位码，每取一组后移一位，看一位，看M组组K位码中位码中是否有重复的码，若是否有重复的码，若没有则没有则K已足够大。已足够大。电路中心电路中心 张咏梅张咏梅 电子工程学院电子工程学院例例5.3.4设计一个移存型序列信号发生器设计一个移存型序列信号发生器，输出序列为，输出序列为1010010100。M=5，先取，先取K=3求移存器位数求移存器位数K1011000

8、10001010重复重复取取K=K+1=41010 0100 1001 0010 0101无重复无重复电路中心电路中心 张咏梅张咏梅 电子工程学院电子工程学院求反馈函数求反馈函数D0列状态转移表，求反馈函数列状态转移表，求反馈函数D0。D D0 0nQ3nQ2nQ11 11 10 01 10 00 01 10 00 01 10 01 10 00 00 01 10 00 00 01 1nnQQ031010 0100 1001 0010 010101010D0=(2,4)+010DQn电路中心电路中心 张咏梅张咏梅 电子工程学院电子工程学院检查自启动检查自启动作全状态图作全状态图能自启动能自启动电

9、路中心电路中心 张咏梅张咏梅 电子工程学院电子工程学院画逻辑图画逻辑图C C1 1C C1 1C C1 11 1D D1 1D D1 1D DC CP PQ Q0 0Q Q1 1Q Q2 2C C1 11 1D D3Q& &nnQQD030电路中心电路中心 张咏梅张咏梅 电子工程学院电子工程学院仿真仿真设计符合要求设计符合要求1 0 1 0 01 0 1 0 0仿真波形仿真波形每个触发器每个触发器都输出相同都输出相同的序列的序列1 0 1 0 01 0 1 0 0nnQQD03010100100100100100101101001001001001001011010电路中心电路

10、中心 张咏梅张咏梅 电子工程学院电子工程学院 （1）计数型计数型序列信号发生器中的计数器的输出可以序列信号发生器中的计数器的输出可以供给几个组合电路，供给几个组合电路，产生几种长度相同产生几种长度相同但序列内容不但序列内容不同的序列信号同的序列信号（如果（如果计数器的模值可以被序列的长度计数器的模值可以被序列的长度整除时整除时，序列长度也可以短于计数序列长度也可以短于计数器的模值器的模值）。）。 （2）计数型计数型序列信号发生器序列信号发生器所用的触发器比移存型所用的触发器比移存型的少。的少。 （3）计数型计数型序列信号发生器的序列信号发生器的结构结构一般都比移存型一般都比移存型序列信号发生器

11、要序列信号发生器要复杂一些复杂一些，设计过程也比较复杂。设计过程也比较复杂。计数型与移存型序列信号发生器的比较计数型与移存型序列信号发生器的比较电路中心电路中心 张咏梅张咏梅 电子工程学院电子工程学院 5.3.4 M序列发生器序列发生器 M序列序列伪随机信号伪随机信号最长线性序列最长线性序列伪随机码伪随机码 M序列序列：在一个周期内，：在一个周期内，0和和1的数目接近相等，并且有的数目接近相等，并且有各种长度的各种长度的0或或1的信号组合。看起来就象是的信号组合。看起来就象是0或或1随机出随机出现的信号序列，而实际上是一个固定的已知序列。现的信号序列，而实际上是一个固定的已知序列。 M序列的用

12、途：序列的用途：测试信道、误码仪测试信道、误码仪/传输特性测试仪、传输特性测试仪、扰码器扰码器/解扰器解扰器 M序列发生器序列发生器：产生：产生M序列的电路序列的电路 M序列发生器序列发生器实际上是一种实际上是一种移存型序列信号发生器移存型序列信号发生器电路中心电路中心 张咏梅张咏梅 电子工程学院电子工程学院M序列发生器的特点序列发生器的特点M序列的长度序列的长度M=2K-1（ K是移存器的位数）。是移存器的位数）。反馈电路是某些触发器输出的反馈电路是某些触发器输出的异或异或加上加上校正项校正项，校，校正项是先将正项是先将k个触发器的输出个触发器的输出 “或非或非”，再将这个或，再将这个或非结

13、果和原来的反馈输出再次进行非结果和原来的反馈输出再次进行“异或异或”运算：运算： M序列一定包含序列一定包含一组一组K个相连的个相连的1信号信号，一组一组K-1个个相连的相连的0信号信号以及一些其他组合的以及一些其他组合的1或或0信号。信号。M序列发生器的设计已经定型化，一般只需查表即可。序列发生器的设计已经定型化，一般只需查表即可。0122100QQQQQDDkk 电路中心电路中心 张咏梅张咏梅 电子工程学院电子工程学院M序列发生序列发生器的设计器的设计查查表表得得到到反反馈馈函函数数再再加加上上全全零零校校正正项项用用移移位位寄寄存存器器和和异异或或门门实实现现设设计计仿仿真真209715

14、121327671540951220471110231051192558127763631515473反馈函数反馈函数M=2k-1k2120QQQQ或6260QQQQ或201QQ 11530QQQQ7210QQQQ1413140QQQQ或4241QQQQ或3230QQQQ或50QQ 83QQ 96QQ 101QQ 电路中心电路中心 张咏梅张咏梅 电子工程学院电子工程学院M序列发生器的自启动序列发生器的自启动M=15nnQQD300不能自不能自启动启动当各级触发器输出都为当各级触发器输出都为0时，不能回到正常的序列。时，不能回到正常的序列。为了能自启动，应加上一个校正项。为了能自启动，应加上一个

15、校正项。0122100QQQQQDDkk 电路中心电路中心 张咏梅张咏梅 电子工程学院电子工程学院M序列发生器举例序列发生器举例1 1 1 101 0 1 1 0 0 1 0 0 0nnQQD300M=15每个触发器都输出相同的序列每个触发器都输出相同的序列电路中心电路中心 张咏梅张咏梅 电子工程学院电子工程学院JK触发器构成的触发器构成的M序列发生器序列发生器移存器可以用移存器可以用D触发器也可以用触发器也可以用JK触发器构成。触发器构成。nnnQKQJQ1当反馈函数是当反馈函数是Q0 Qi时：时：ninnQQDQ0010niQKJ00nninniQQQQ00不需要异或门不需要异或门电路中心

16、电路中心 张咏梅张咏梅 电子工程学院电子工程学院M序列的缩短序列的缩短当所需要的序列长度为当所需要的序列长度为L（LM），且对于输），且对于输出什么样的序列没有特别的要求时，可以将出什么样的序列没有特别的要求时，可以将M序列缩短。序列缩短。当当M序列发生器进入某一个特定的状态序列发生器进入某一个特定的状态S时，时，跳过跳过M-L个状态个状态，使循环长度缩短为，使循环长度缩短为L。方法：方法：预置法预置法电路中心电路中心 张咏梅张咏梅 电子工程学院电子工程学院M序列的缩短序列的缩短以全以全“1”状态作为第一个状态状态作为第一个状态，找到，找到第第L+1状态状态作为特定的起跳状态作为特定的起跳状态

17、S，用与非门检出该状态，用与非门检出该状态（在在S状态时与非门的输出为状态时与非门的输出为0），并将与非门的），并将与非门的输出接到所有触发器的输出接到所有触发器的异步置位端异步置位端，使全部触发，使全部触发器置器置“1”，从而跳过后面的所有状态，即，从而跳过后面的所有状态，即从第从第L+1状态直接跳回到全状态直接跳回到全“1”状态状态。第。第L+1个状态个状态时间很短，马上就被全时间很短，马上就被全“1”状态所取代，状态所取代，在时间在时间上第上第L+1个状态和全个状态和全“1”状态合用一个时钟周期状态合用一个时钟周期。电路中心电路中心 张咏梅张咏梅 电子工程学院电子工程学院M序列的缩短序列

18、的缩短例：将例：将M=15的序列缩短为的序列缩短为L=11的序列。的序列。nnQQD3001111 0 1 0 1 1 0 0 1 0 0 01 00001100011111111为了保证触发器置位的可靠性，与非门的输出端可为了保证触发器置位的可靠性，与非门的输出端可增加一个触发器，使置位信号延迟半个时钟周期。增加一个触发器，使置位信号延迟半个时钟周期。S状态状态电路中心电路中心 张咏梅张咏梅 电子工程学院电子工程学院M序列的缩短序列的缩短例：将例：将M=15的序列缩短为的序列缩短为L=11的序列。的序列。nnQQD3001111 0 1 0 1 1 0 0 1 0 0 0从从4个触发器的输出

19、端得到的输出序列是不一样的。个触发器的输出端得到的输出序列是不一样的。Q3、Q2、Q1和和Q0输出的序列分别为：输出的序列分别为：11110101100、11101011001、11010110010和和 10101100100。电路中心电路中心 张咏梅张咏梅 电子工程学院电子工程学院M序列的缩短序列的缩短CLRNDPRNQDFFinstCLRNDPRNQDFFinst1CLRNDPRNQDFFinst2CLRNDPRNQDFFinst3NOTinst4NOTinst5NOTinst6VCCcpINPUTXORinst7NAND4inst8Q3Q0Q3.0OUTPUTsetsetOUTPUTD

20、0OUTPUTXORinst9NOR4inst13Q2Q1D01 1 1 1 0 1 0 1 1 0 01 1 1 0 1 0 1 1 0 0 11 1 0 1 0 1 1 0 0 1 01 0 1 0 1 1 0 0 1 0 01000电路中心电路中心 张咏梅张咏梅 电子工程学院电子工程学院5.4 一般时序逻辑电路的设计方法一般时序逻辑电路的设计方法本节介绍稍微复杂一点的、带有某种本节介绍稍微复杂一点的、带有某种“智能智能”的数字的数字系统的设计方法，即系统的设计方法，即有限状态机有限状态机的设计方法的设计方法 。以触发器为记忆存储电路的以触发器为记忆存储电路的同步时序电路同步时序电路称为称

21、为有限状有限状态机态机FSM（finite state machine）。实现数字系统的主控部件。实现数字系统的主控部件。检测外部信号，并作出适当的响应。检测外部信号，并作出适当的响应。发出各种信号，以协调并控制整个系统的工作，完发出各种信号，以协调并控制整个系统的工作，完成指定的任务。成指定的任务。“状态机状态机”的作用：的作用：电路中心电路中心 张咏梅张咏梅 电子工程学院电子工程学院数字系统数字系统子系统子系统输入控输入控制信号制信号输出控输出控制信号制信号信息信息输入输入信息信息输出输出控 制 器控 制 器输出输出接口接口输出输出接口接口输入输入接口接口输入输入接口接口子系统子系统子系统

22、子系统时钟时钟数据处理器数据处理器由若干由若干数字电路数字电路和和逻辑逻辑部件部件构成的能够构成的能够处理处理或或传送传送数字信息的设备。数字信息的设备。其它物理量与其它物理量与数字量的转换数字量的转换数字量与其它数字量与其它物理量的转换物理量的转换使各子系统和使各子系统和整个系统按规整个系统按规定顺序工作定顺序工作完成数字量的运完成数字量的运算等处理工作算等处理工作数字系统与功能部件（数字单元电路）的区别：数字系统与功能部件（数字单元电路）的区别：有无控制器有无控制器电路中心电路中心 张咏梅张咏梅 电子工程学院电子工程学院状态机和状态机和CPU/MCU许多系统控制器是用微处理器许多系统控制器

23、是用微处理器CPU和微控制器和微控制器MCU实现的。实现的。但在高速系统中，仍然需要用但在高速系统中，仍然需要用硬件控制器硬件控制器即即状态机状态机。状态机的特点：状态机的特点：控制功能单一，用途单一。控制功能单一，用途单一。控制速度和响应速度快控制速度和响应速度快。控制逻辑修改较难。控制逻辑修改较难。CPU/MCU的特点：的特点：控制功能（算法）可以相控制功能（算法）可以相当复杂。当复杂。控制速度和响应速度较慢控制速度和响应速度较慢。修改逻辑简单，只要改变修改逻辑简单，只要改变程序即可。程序即可。用用PLD实现状态机时实现状态机时逻辑修改变得较容易逻辑修改变得较容易电路中心电路中心 张咏梅张

24、咏梅 电子工程学院电子工程学院5.4.1 一般同步时序逻辑电路的设计方法一般同步时序逻辑电路的设计方法根据给出的具体的逻辑问题，求出实现这一逻根据给出的具体的逻辑问题，求出实现这一逻辑功能的逻辑电路，且电路简单，工作可靠。辑功能的逻辑电路，且电路简单，工作可靠。电路最简的标准：电路最简的标准：小规模电路小规模电路：所用：所用触发器触发器和和门电路门电路的的数目最少数目最少，且触发器和门的且触发器和门的输入端数目最少输入端数目最少。中、大规模电路中、大规模电路：所用的：所用的集成电路和外围门集成电路和外围门电路的数目最少电路的数目最少，器件种类最少器件种类最少，相互间的，相互间的连线也最少连线也

25、最少。电路中心电路中心 张咏梅张咏梅 电子工程学院电子工程学院同步时序电路的设计同步时序电路的设计过程过程设设计计要要求求原始状原始状态图或态图或状态表状态表状状态态简简化化状状态态分分配配状态方程状态方程输出方程输出方程激励方程激励方程逻辑图逻辑图选定触发选定触发器类型器类型用触发器和用触发器和门电路实现门电路实现设计的方法设计的方法以原因或条件作为输入变量，以结果为输出变量。以原因或条件作为输入变量，以结果为输出变量。仿真仿真是是否否确定输入、输出确定输入、输出变量和变量和状态数状态数。检查自启动检查自启动根据根据需要需要“记忆记忆”的的输入输入信息或结果信息或结果来来确定确定状态数状态数

26、。电路中心电路中心 张咏梅张咏梅 电子工程学院电子工程学院一、建立原始状态图和状态表一、建立原始状态图和状态表原始状态图的建立没有严格的步骤，关键是原始状态图的建立没有严格的步骤，关键是根据根据设计要求，分析清楚电路的输入和输出，设计要求，分析清楚电路的输入和输出，确定有多少确定有多少种输入信息需要种输入信息需要“记忆记忆”，对每一种需要对每一种需要“记忆记忆”的的输入信息规定一种状态来表示输入信息规定一种状态来表示，根据输入的条件和输，根据输入的条件和输出要求确定各状态之间的关系，从而构成原始状态图。出要求确定各状态之间的关系，从而构成原始状态图。电路中心电路中心 张咏梅张咏梅 电子工程学院

27、电子工程学院例例5.4.1 5.4.1 设计设计一个用来检测二进制输入序列的检测一个用来检测二进制输入序列的检测电路，当输入序列中连续输入电路，当输入序列中连续输入4 4位数码均位数码均为为1 1时，电路输出时，电路输出1 1（可重叠可重叠，即当连续输，即当连续输入到第五个入到第五个1 1时也输出时也输出1 1）。）。 A AA：初始状态：初始状态B：记忆输入记忆输入1C：记忆输入记忆输入10D：记忆输入记忆输入11B BD D1/01/01/10/00/00/0该电路必须该电路必须“记忆记忆”3位连续输入序列。位连续输入序列。 以输入序列为输入以输入序列为输入变量，用变量，用表示。表示。以检

28、测结果为输出以检测结果为输出变量，用变量，用Z表示表示1/0E：记忆输入记忆输入100F：记忆输入记忆输入101G：记忆输入记忆输入110H：记忆输入记忆输入1110/01/01/01/01/00/00/00/00/0X/Z电路中心电路中心 张咏梅张咏梅 电子工程学院电子工程学院例例5.4.1 5.4.1 SnABCDEFGHXA/0B/0C/0D/0E/0F/0G/0H/01A/0B/0A/0D/0A/0B/0A/0H/1A AB BD D1/01/01/10/00/00/01/00/01/01/01/01/00/00/00/00/00Sn+1/ZX/Z电路中心电路中心 张咏梅张咏梅 电子工

29、程学院电子工程学院序列信号检测器的序列重叠问题序列信号检测器的序列重叠问题1 1 1 1 1 1 0 1 不可重叠不可重叠0 0 0 10 0 0 1设计一个用来检测二进制输入序列的检测电路，当输设计一个用来检测二进制输入序列的检测电路，当输入序列中连续输入入序列中连续输入4 4位数码均为位数码均为1 1时，电路输出时，电路输出1 1（可重可重叠叠，即当连续输入到第五个，即当连续输入到第五个1 1时也输出时也输出1 1）。）。输入序列输入序列可重叠输出可重叠输出不可重叠输出不可重叠输出0110 0 0 00电路中心电路中心 张咏梅张咏梅 电子工程学院电子工程学院二、状态简化二、状态简化在建立原

30、始状态表时在建立原始状态表时追求的目标是完整准确地反映设计要求追求的目标是完整准确地反映设计要求，在没有把握时宁可多设一些状态以免遗漏信息。因此作出的状在没有把握时宁可多设一些状态以免遗漏信息。因此作出的状态表态表可能存在若干多余状态可能存在若干多余状态，应加以简化应加以简化。1、完全规定状态表完全规定状态表的简化的简化完全规定状态表完全规定状态表中每一个中每一个下一状态和输出都有确定的值下一状态和输出都有确定的值。2、不完全规定状态表不完全规定状态表的简化的简化不完全规定状态表不完全规定状态表中的中的下一状态或者输出值可以是不确定的下一状态或者输出值可以是不确定的，甚至两者都可以是不确定的甚

31、至两者都可以是不确定的，需要在设计中逐步加以确定。，需要在设计中逐步加以确定。电路中心电路中心 张咏梅张咏梅 电子工程学院电子工程学院完全规定状态表的简化完全规定状态表的简化 关键是找关键是找等价状态等价状态，并将它们合并，从而使状态表中的状，并将它们合并，从而使状态表中的状态数达到最少。态数达到最少。两个状态若两个状态若同时满足同时满足以下两个条件则称为以下两个条件则称为等价状态等价状态。1）在同样的输入作用下都有相同的输出在同样的输入作用下都有相同的输出；2）在同样的输入条件下其相应的下一状态是彼此等价的在同样的输入条件下其相应的下一状态是彼此等价的：对应的对应的下一状态相同下一状态相同。

32、其其下一状态就是两个现在状态本身下一状态就是两个现在状态本身。其其下一状态将被证明是彼此等价的下一状态将被证明是彼此等价的（条件等价条件等价）。）。C、D等价等价电路中心电路中心 张咏梅张咏梅 电子工程学院电子工程学院完全规定状态表的简化完全规定状态表的简化等价类等价类：互相等价的状态构成的集合。：互相等价的状态构成的集合。最大等价类最大等价类：不包含在其它等价类之中的等价类。：不包含在其它等价类之中的等价类。等价状态的传递性等价状态的传递性：若状态：若状态AB等价，状态等价，状态AC也等价，则也等价，则状态状态BC必然等价。必然等价。若若某一状态与任何状态都不等价某一状态与任何状态都不等价，

33、则它，则它自己就构成一个最大自己就构成一个最大等价类等价类。最大等价类集合最大等价类集合：所有最大等价类构成的集合就是最大等价类：所有最大等价类构成的集合就是最大等价类集合。最大等价类集合中的集合。最大等价类集合中的每个最大等价类可以合并成每个最大等价类可以合并成最简状最简状态表中的态表中的一个状态一个状态。最简状态表中。最简状态表中状态的数目状态的数目就就等于等于最大等价最大等价类集合中类集合中最大等价类的数目最大等价类的数目。电路中心电路中心 张咏梅张咏梅 电子工程学院电子工程学院完全规定状态表的简化完全规定状态表的简化化简方法：化简方法：隐含表法隐含表法隐含表隐含表（Implicatio

34、n table）：）：一种水平方向无尾一种水平方向无尾，垂直方向垂直方向无头的直角三角形表格无头的直角三角形表格。B BC CD DE EA A B B C C D D例：若某个状态表有例：若某个状态表有A、B、C、D、E五个状态，隐五个状态，隐含表的含表的水平方向水平方向为为A、B、C、D四个状态（四个状态（无尾无尾），），垂直方向垂直方向为为B、C、D、E四个状态（四个状态（无头无头）。）。电路中心电路中心 张咏梅张咏梅 电子工程学院电子工程学院完全规定状态表的简化完全规定状态表的简化步骤步骤1）作隐含表，在每一个小格中填入相应状态对的关系：）作隐含表，在每一个小格中填入相应状态对的关系：A、状态对、状态对肯定不等价肯定不等价，在小格内打，在小格内打“”；B、状态对、状态对肯定等价肯定等价，在小格内打，在小格内打“ ”；C、状态对是、状态对是条件等价条件等价的，的，把所需要的等价条件都填在相把所需要的等价条件都填在相应的小格内应的小格内。2）由隐含表寻求所有的等价状态。）由隐含表寻求所有的等价状态。从确定的不等价状态出发，反复判断状态对是等价还是不等从确