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

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