我有一个真值表，我需要将其转换为产品和规范形式的总和。这是我在真相表中的等式。
我们有4个变量A，B，C，D和一个输出Y
Y =！A！B！C！D +！A！BC！D +！A！BCD +！ABC！D +！ABCD + A！B！C！D + A！BC！D
我的问题是，我可以简单地使用1个技巧的汉明距离吗？ 例如，Y = AB + A！B = A，因为B和！B将抵消。
这就是我做的事情
1）！A！B！C！D +！A！BC！D =！A！B！D
2）！A！BCD +！ABC！D =！AC
3）！ABCD + A！B！C！D =什么都没有，因为它们都取消了
4）A！BC！D = A！BC！D
那给了我
Y =！A！B！D +！AC + A！BC！D
这是正确的吗？或者所有产品是否需要汉明距离为1才能让我取消它们？
答案 0 :(得分：1)
不，这不正确。例如，如果A = 1，其余为0，则满足原始等式中的倒数第二项，因此Y = 1，但不满足您的三个新项，这意味着Y = 0。
您只能使用此方法一次删除一个变量。所以你的第一步是正确的（第四步是微不足道的，但是正确的），但第二步和第三步是错误的。
使用卡诺图来减少这种情况要容易得多。如果你这样做，我想你会发现它只会减少到！AC +！B！D。