ТУСУР Математическая логика и теория алгоритмов Вариант 7 (Решение → 14627)