Логическая функция F задаётся выражением (x ∧ ¬y) ∨ (y ≡ z) ∨ w

Для всех строк заданной таблицы истинности значение функции F = 0. Используя определение дизъюнкции ∨, получаем:
(x ∧ ¬y) = 0, (y ≡ z) = 0, w = 0 (заполним третий столбец таблицы),
отсюда следующие варианты:
1 . x = 0, y = 0, z = 1 или y = 1, z = 0;
2. x = 1, y = 1, z = 0.
По полученным значениям заполним таблицу истинности и выполним проверку:
y x w z ¬y (x ∧ ¬y) (y ≡ z) (x ∧ ¬y) ∨ (y ≡ z) ∨ w
0 0 0 1 1 0 0 0
1 0 0 0 0 0 0 0
1 1 0 0 0 0 0 0
Ответ