D触发器方案测试

Question

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

Answer 1

逻辑表的工作原理如下：

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

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

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