Логическая функция 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
Ответ