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

Question

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

由此得到的二元方程为：

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

有人可以帮我将其转换为卡诺图并解决吗？

Answer 1

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

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。