Решение логических задач программой