Условие задачи
Логическая функция 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, отсюда...
Потяни
