Задача логического вывода