Как мне составить таблицу истинности для этой логической схемы?
Моя попытка:
Я думаю, что логическое выражение будет выглядеть примерно так:
Z= −(−(A∧B)∨−(A∧B)∧−(B∧C))∧(−(A∧B)∧−(B∨C))
Верна ли моя таблица истинности для этой логической схемы?
Ответы (2)
да, таблица правильная. Логическое выражение можно упростить до Z=0
person
Garr Godfrey
schedule
14.09.2014
что касается неупрощенного логического выражения, то оно тоже кажется правильным.
- person Garr Godfrey; 14.09.2014
С использованием
Предполагая, что я не сделал ошибки, это сводится к 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
person
Linus Gill
schedule
14.09.2014
Z = 0- person Stephen C schedule 14.09.2014