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

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