如何从状态转换表生成卡诺图？

【问题标题】：How to generate Karnaugh maps from state transition table?如何从状态转换表生成卡诺图？
【发布时间】：2021-03-22 00:20:36
【问题描述】：

我有一个如下所示的状态转换表：

由此得到的二元方程为：

我的教科书中没有任何例子可以用卡诺图解决这个表。教科书只是说可以通过检查来完成，我对这个过程感到困惑。

有人能帮我把这个转换成卡诺图并解决吗？

【问题讨论】：

从前 4 列制作两个 4 输入映射，一个用于 S'1，一个用于 S'0。 “可以通过检查解决”意味着由于两个下一个状态变量只有一个1，因此您无需映射即可立即读取结果。

标签： assembly boolean-logic circuit karnaugh-map

【解决方案1】：

基本上有两个技巧—— 1：将给定的“无关”X 转换为 1 和 0（参见下面的“[1]”，了解第一个给出的“无关”X） 2：请注意，输出永远不会都是 1（请参阅下面的结果“不关心”X）真值表，已完成：

S1 S0 A B  S'1 S'0
0  0  0 0  0   0 [1]
0  0  0 1  0   0 [1]
0  0  1 0  0   1
0  0  1 1  0   1
0  1  0 0  0   0
0  1  0 1  1   0
0  1  1 0  0   0
0  1  1 1  1   0
1  0  0 0  0   0
1  0  0 1  0   0
1  0  1 0  0   0
1  0  1 1  0   0
1  1  0 0  X   X
1  1  0 1  X   X
1  1  1 0  X   X
1  1  1 1  X   X

这会产生以下 S'1 卡诺图：

S1S0\AB 00  01  11  10

00      0   0   0   0

10      0   0   0   0
           _______
11      X | X   X | X 
          |       |    
01      0 | 1   1 | 0
          ---------

这导致以下产品的总和最小化：

S'1 = SoB

类似地确定S'0。

【讨论】：