Полный англо-русский словарь
Конечнозначный — finite-valued logic — finite-valued transformation
finite-valued