如何从状态转换 table 生成卡诺图？
How to generate Karnaugh maps from state transition table?
我有一个状态转换 table 看起来像这样：
由此得到的二元方程为：
我的教科书中没有任何例子可以用卡诺图解决这个 table。教科书上只说可以通过检查完成，我对这个过程感到困惑。
有人可以帮我把这个转换成卡诺图并解决吗？
基本上有两个技巧——
1：将给定的“don't care”Xs 转换为 1s 和 0s（第一个给出的“don't care”X 参见下面的“[1]”）
2：请注意，输出永远不会同时为 1（请参阅下面的结果“不关心”X）
真相Table，完成：
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 类似确定。
我有一个状态转换 table 看起来像这样：
由此得到的二元方程为：
我的教科书中没有任何例子可以用卡诺图解决这个 table。教科书上只说可以通过检查完成，我对这个过程感到困惑。
有人可以帮我把这个转换成卡诺图并解决吗？
基本上有两个技巧—— 1：将给定的“don't care”Xs 转换为 1s 和 0s（第一个给出的“don't care”X 参见下面的“[1]”） 2：请注意，输出永远不会同时为 1（请参阅下面的结果“不关心”X） 真相Table，完成：
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 类似确定。