Розв'язування логічних задач