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

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