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

Question

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

---

我的尝试：

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

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

Answer 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

Answer 2

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