Логическая функция F задаётся выражением. Бесплатный доступ к решению задач

Реферат.Справочник
Решенные задачи по информатике
Логическая функция F задаётся выражением

Логическая функция F задаётся выражением .pdf

Зарегистрируйся в 2 клика в Кампус и получи неограниченный доступ к материалам с подпиской Кампус+ 🔥

Условие

Логическая функция F задаётся выражением ¬(b → a) ∧ (c → d) ≠ (a ∧ b ∧ c ∧ ¬d). На рисунке приведён частично заполненный фрагмент таблицы истинности функции F, содержащий неповторяющиеся строки. Определите, какому столбцу таблицы истинности функции F соответствует каждая из переменных a, b, c, d.

Решение

Потяни, чтобы посмотреть

Для всех строк заданной таблицы истинности значение функции F = 1, возможны следующие варианты:
1. ¬(b → a) ∧ (c → d) = 0, (a ∧ b ∧ c ∧ ¬d) = 1,
тогда a = b = c = 1, d = 0.
2 . ¬(b → a) ∧ (c → d) = 1, (a ∧ b ∧ c ∧ ¬d) = 0,
тогда ¬(b → a) = 1, (c → d) = 1, отсюда
a = 0, b = 1, с = 0, d – любое, или с = 1, d = 1.
Используя полученные значения, заполним таблицу истинности и выполним проверку:
b d c a (b → a) ¬(b → a) (c → d) ¬(b → a) ∧ (c → d) ¬d (a ∧ b ∧ c ∧ ¬d) ¬(b → a) ∧ (c → d) ≠ (a ∧ b ∧ c ∧ ¬d)
1 0 0 0 0 1 1 1 1 0 1
1 1 1 0 0 1 1 1 0 0 1
1 1 0 0 0 1 1 1 0 0 1
1 0 1 1 1 0 0 0 1 1 1
Ответ

50% задачи недоступно для прочтения

Переходи в Кампус, регистрируйся и получай полное решение

Получить задачу