状态变量的 SOP 布尔表达式和 Moore FSM 的输出

SOP Boolean expression of state variable and output of a Moore FSM

提问人：Angelo 提问时间：6/9/2023 更新时间：6/9/2023 访问量：53

问：

免责声明：我正在为考试而学习，但我不必交任何东西。

我有 FSM 的状态转换图及其状态编码：enter image description here我想找到 S 1 0 ， S 1 1 和 ouput y 的乘积总和布尔表达式。

我根据所有当前状态（S 0 和 S1）和输入（A 和 B）为每个下一个状态绘制了表格： enter image description here 在此之后，我不太清楚如何继续绘制输出和状态表真值/k-map 以获得最终的布尔表达式。

布尔表达式 代数 FSM 真值表 状态图

评论

1赞 Axel Kemper 6/9/2023
您有四个输入（s0、s1、A、B）和三个输出（s0'、s1'、y）。这可以写在一个有 16 行、4 个输入列和 3 个输出列的真值表中。对于这三个输出中的每一个，您都可以绘制一个 Karnaugh 映射并推导出最小化的乘积和。在合并单元格块时，并行查看所有三个映射可能是有意义的。这有助于获取通用子表达式。
0赞 Angelo 6/10/2023
@AxelKemper感谢您的回答。回溯这一点：我将有 3 个 K 映射，基于 4 个输入，我将从中导出输出的布尔表达式。我唯一不清楚的是如何获得 y 的真值表。
1赞 Axel Kemper 6/10/2023
y 的值绑定到下一个状态：s0 和 s2 的 y=0，s1 和 s3 的 y=1。
0赞 Angelo 6/10/2023
@AxelKemper哦，对了，这太傻了！现在我把一切都弄清楚了。感谢您的详尽回答。

答： 暂无答案

上一个：我可以使用布尔掩码来查找 DateTime 值是否位于不同数据帧中的其他两个 DateTime 值之间

下一个：如何使用 Django 和 Postgres 数据库解决类似 Horn 子句的标签含义