Алгоритм решения логических задач