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