Решение ✅ № 4146. ((Е. Джобс) Логическая функция F задаётся выражением (a → b) ∧ ¬(b ≡ c) ∧ (d → a).