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

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