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