Логическая функция F задаётся выражением (x ≡ ¬y) → ((x ∧ w) ≡ z)
.pdf
Зарегистрируйся в 2 клика в Кампус и получи неограниченный доступ к материалам с подпиской Кампус+ 🔥
Логическая функция F задаётся выражением (x ≡ ¬y) → ((x ∧ w) ≡ z).На рисунке приведён частично заполненный фрагмент таблицы истинности функции F, содержащий неповторяющиеся строки. Определите, какому столбцу таблицы истинности функции F соответствует каждая из переменных x, y, z, w.
Решение
Для всех строк заданной таблицы истинности значение функции F = 0. Используя определение импликации →, получаем:
(x ≡ ¬y) = 1 и ((x ∧ w) ≡ z) = 0, отсюда следующие варианты:
1
. x = 0, y = 1, z = 1, w – любое;
2. x = 1, y = 0, w = 0, z = 1, или w = 1, z = 0.
По полученным значениям заполним таблицу истинности и выполним проверку:
y z x w ¬y (x ≡ ¬y) (x ∧ w) ((x ∧ w) ≡ z) (x ≡ ¬y) → ((x ∧ w) ≡ z)
1 1 0 0 0 1 0 0 0
1 1 0 1 0 1 0 0 0
0 1 1 0 1 1 0 0 0
Ответ