时序逻辑转布尔表达式：详解及实例

将时序逻辑转换成布尔表达式需要使用状态转移图或状态表的方式，其中每个状态都对应一个布尔变量，表示该状态是否被激活。

举个例子：

假设有一个简单的时序电路，其功能是按下按钮后LED灯会亮起，再次按下按钮后LED灯会熄灭。该电路的状态转移图如下所示：

其中，S0表示初始状态，LED灯为熄灭状态；S1表示按钮按下后，LED灯为亮起状态；S2表示再次按下按钮后，LED灯再次熄灭。

我们可以将每个状态对应的布尔变量表示为：

• S0 = 0
• S1 = 1
• S2 = 0

那么，该时序电路的布尔表达式可以表示为：

S1' = S0 * Button S2' = S1 * Button

其中，Button表示按钮的状态，S1'和S2'表示当前状态的下一个状态。这个布尔表达式的含义是：如果当前状态是S0且按钮按下，则下一个状态是S1；如果当前状态是S1且按钮按下，则下一个状态是S2。