D触发方案测试

Question

我想测试我的D触发方案，我不知道该怎么做。我甚至不知道“真值表”是如何工作的，也许有人可以帮助/解释如何对我的D触发方案进行测试？

Answer 1

逻辑表的工作原理如下：

每行代表一个案例，每列代表一个陈述。单元格表示语句的逻辑值。明智地将精神原子柱与分子柱区分开来。在您的情况下，您有三个原子列，它们代表案例。这些是逻辑表中的前三列。其他列是分子列，也就是说，它们的值由其他列组成。

D被认为是XOR-ing第三和第五列的值。如果在每一行中查看表中第三列和第五列的值，您将看到D4为真（1）如果它们不同，如​​果它们相似则为假（0）。

我不确定你是什么意思通过测试D触发器方案，但如果你的意思是我们应该测试公式是否与值匹配，那么我们可以说是，它匹配，因为一般概念在逻辑表中所有情况下都匹配XOR。