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