Решение ✅ 3833. ДЕЛ(A, 3) ∧ (ДЕЛ(220, x) → (¬ДЕЛ(A, x) → ¬ДЕЛ(550, x)))