Logic 这个逻辑电路的真值表正确吗？

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

---

我的尝试：

我认为逻辑表达式大致如下：

---

Z=−(−(一)∧（B）∨−(一)∧（B）∧−（B）∧C） )∧(−(一)∧（B）∧−（B）∨C） ）是的，表格是正确的。逻辑表达式可以简化为Z=0

假设我没有犯错误，对于所有输入，这将减少为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}}]

---

和

booleanmimize[x5]

产生

False

例如，当A=1、B=0和C=1时，为什么要在注释中添加示例？更新问题。我不能发布两个或两个以上的链接或图片：（你的问题是什么，你来找我们干什么？我的真值表正确吗？第二，虽然不那么重要，但这个电路的实际逻辑表达式是什么。至于非简化逻辑表达式，这似乎也是正确的。