Логическая функция F задаётся выражением (x ≡ ¬z) → ((x ∨ w) ≡ y). Бесплатный доступ к решению задач

Реферат.Справочник
Решенные задачи по информатике
Логическая функция F задаётся выражением (x ≡ ¬z) → ((x ∨ w) ≡ y)

Логическая функция F задаётся выражением (x ≡ ¬z) → ((x ∨ w) ≡ y) .pdf

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

Условие

Логическая функция F задаётся выражением (x ≡ ¬z) → ((x ∨ w) ≡ y).На рисунке приведён частично заполненный фрагмент таблицы истинности функции F, содержащий неповторяющиеся строки. Определите, какому столбцу таблицы истинности функции F соответствует каждая из переменных x, y, z, w.

Решение

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

Для всех строк заданной таблицы истинности значение функции F = 0. Используя определение импликации →, получаем:
(x ≡ ¬z) = 1 и ((x ∨ w) ≡ y) = 0, отсюда следующие варианты:
1 . x = 0, z = 1, y = 0, w = 1 или y = 1, w = 0;
2. x = 1, z = 0, y = 0, w – любое.
По полученным значениям заполним таблицу истинности и выполним проверку:
x w y z ¬z (x ≡ ¬z) (x ∨ w) ((x ∨ w) ≡ y) (x ≡ ¬z) → ((x ∨ w) ≡ y)
0 1 0 1 0 1 1 0 0
1 1 0 0 1 1 1 0 0
1 0 0 0 1 1 1 0 0
Ответ

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

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

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