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