提问人:Savannah Madison 提问时间:8/18/2020 更新时间:8/24/2020 访问量:717
如何判断真值表中是否有错误?
How to tell if there is fault in the truth table?
问:
在我的数字设计和计算机体系结构课上。我们的老师给出了一个真值表,我们必须为它构建一个 K 映射并最小化它以找到布尔表达式
但一些学生很快发现真相表中有错误,并开始指出错误。他们是怎么做到的?有没有办法识别真值表中的错误?我错过了什么?
答:
3赞
Edwin Buck
8/18/2020
#1
有了这个真值表,有四个输入。
这意味着您将拥有跨输入(a、b、c 和 d)的所有设置组合。但是,此表有两个条目用于 (0, 0, 0, 0) 和 (0, 0, 0, 1) 没有条目
由于该表未涵盖所有输入,因此表中存在错误,因为它没有详细说明 Y 应该用于什么 (0, 0, 0, 1) 此外,(0, 0, 0, 0) 有两个答案,答案 (0) 和答案 (1)。由于输入的任何逻辑映射都只能导致一个输出,因此此表具有第二种不同类型的错误。
评论
0赞
Matthew Whited
8/18/2020
仅仅因为未声明组合并不意味着该组合无效。相反,它是不确定的,因为 is in 没关系(有时显示输出为 X。
0赞
Savannah Madison
8/18/2020
好的,我明白了。非常感谢。另外,我认为这里重复的是 (0,0,1,0),输出 1 和 0,对吧?
1赞
Peter Cordes
8/18/2020
@SavannahMadison:是的,有几个冲突。可能 和 列被制作表格的人意外切换了。(还有几个状态,表格没有定义输出,但正如Matthew指出的那样,这不一定是错误;不要关心某些输入的输出,你可以自由地用更简单的门的不同组合来实现它。但是,鉴于该表具有尽可能多的行输入状态,因此几乎可以肯定在这种情况下并非如此。d
y
0赞
Edwin Buck
8/19/2020
“don't care”输出与一个输入的两个清晰输出不同,通常对“don't care”使用不同的符号,如“-”或“x”。但是,即使您认为重复的输出组合成 don't care 输出,那么为什么还要有额外的缺失输入,除非它们也表示 don't care 输出,那么为什么有两种方式来显示 don't care 输出?在这种情况下,我不认为它代表一个不关心的输出,因为整个表减少到所有指定输入的“不关心”输出。
0赞
Peter Cordes
8/20/2020
同意;通常,您会显示所有可能的输入状态,并明确显示 Don't-Care,而不仅仅是从缺失的行中隐含。我绝对不是说相互冲突的输出代表了一种不在乎。我是说这是一个 100% 明确的迹象,表明该表有问题,不像让某些州未列出(如果表只有一半长,这可能是故意的)。
0赞
Rutva Babaria
8/20/2020
#2
问题中真值表的问题是,它包含两个相似的输入(0,0,0,0)和(1,1,1,1),两者都有两个不同的答案(0)和(1),我的意思是(0,0,0,0)有两个输出(1)和(0),它与(1,1,1,1)相同。而且,从逻辑上讲,具有相似输入的映射不可能有 2 个不同的输出。
评论
0赞
Edwin Buck
8/20/2020
您的表的输入输出为“0”(0,0,0,0),这显然是错误的,因为问题中的表的输入输出为“1”(0,0,0,0)。如果您将答案更新为输入(0,0,0,0)的输出为“1”,则您的答案显然又是错误的,因为问题中的表对于输入(0,0,0,0,0)的答案为“0”。这不是知道如何解决布尔逻辑问题的问题,而是这个问题没有提供明确的请求。每个指定的输入都有 0 和 1 的答案。而且许多输入根本没有指定。
0赞
Rutva Babaria
8/24/2020
问题没有具体说明“y”是什么?所以我试图通过一个方程式的例子来帮助@Savannah_Madison事情。感谢您指出错误。事情是关于没有提到门和单个输入的 2 个不同输出(这在逻辑上是不正确的)。我以不同的方式思考。我之前的回答是专注于表格形成的简单方法。我希望编辑后的答案是正确的。
评论