inference operation

Операція логічного виведення