функция логического вывода

Inference function