我的这个逻辑电路的真值表是否正确？

【问题标题】：Is my truth table for this Logic Circuit correct?我的这个逻辑电路的真值表是否正确？
【发布时间】：2014-09-14 04:10:25
【问题描述】：

如何为这个逻辑电路制作真值表

我的尝试：

我认为逻辑表达式是这样的：

Z= −(−(A∧B)∨−(A∧B)∧−(B∧C))∧(−(A∧B)∧−(B∨C))

【问题讨论】：

【解决方案1】：

使用

假设我没有出错，这将所有输入都减少为 False。

x1 = Nand[a, b];
x2 = Or[b, c];
x3 = And[x1, And[x1, Not[x2]]];
x4 = Nor[x1, x3];
x5 = And[x3, x4];

真值表：

TableForm[BooleanTable[{a, b, c, x5}, {a, b, c}], 
TableHeadings -> {None, {a, b, c, x5}}]

和BooleanMinimize[x5] 产生False

【讨论】：

【解决方案2】：

是的，表格是正确的。逻辑表达式可以简化为 Z=0

【讨论】：