Троичные модели операторов языков регистровых передач

Разработаны троичные модели основных операторов языков регистровых передач. Установлена связь между троичными функциями и булевым дифференциальным исчислением. На этой основе получены модели для логических и условных операторов. Для операторов отношения и арифметических операторов разработаны функциональные троичные модели, требующие всего трех сравнений или арифметических операций.