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

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