Как бы составить таблицу истинности для этой логической схемыПравильно ли моя таблица истинности для этой логической схемы?
Моя попытка:
Я думаю, что логика выражение будет вдоль линий:
Z = - (- (A∧B) ∨- (A∧B) ∧- (B∧C)) ∧ (- (A∧B) ∧- (B∨C))
Как бы составить таблицу истинности для этой логической схемыПравильно ли моя таблица истинности для этой логической схемы?
Моя попытка:
Я думаю, что логика выражение будет вдоль линий:
Z = - (- (A∧B) ∨- (A∧B) ∧- (B∧C)) ∧ (- (A∧B) ∧- (B∨C))
Да, таблица правильная. Логическое выражение может быть упрощено до Z = 0
как и для упрощенного логического выражения, что также представляется правильным. –
Использование
Предполагая, что я не сделал ошибку, это сводится к Ложные для всех входов.
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
Например, когда А = 1, B = 0 и С = 1 HTTP: // я. imgur.com/TpoX7dS.png –
Почему вы добавляете примеры в комментарии? Обновите вопрос. – Barmar
Я не могу публиковать две или более ссылки или фотографии :( –