Верна ли моя таблица истинности для этой логической схемы?

Question

Как бы я составил таблицу истинности для этой логической схемы

---

Моя попытка:

Я думаю, что логическое выражение будет выглядеть следующим образом:

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

Answer 1

Да, таблица правильная. Логическое выражение может быть упрощено до Z=0

Answer 2

С помощью

Предполагая, что я не сделал ошибку, это уменьшает значение "Ложь" для всех входов.

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