Результати досліджень, що наведені в даній статті, пов'язані з підвищенням гарантоздатності обчислювальних операцій над нечіткими множинами з трикутною формою функцій належності. Особливу увагу приділено синтезу аналітичних моделей результуючих функцій належності, що дозволяють підвищити надійність програмно-апаратної реалізації відповідних цифрових пристроїв. Наведено також узагальнені аналітичні моделі для визначення параметрів a-перерізів результуючих нечітких множин.