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

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