Как вы считаете, какие факторы нужны для перехода информационных систем с двоичных (бинарных) алгоритмов на системы с троичной логикой?

Нужен либо серьёзный прорыв схемотехники, который сделает 21-но тритовые эвм дешевле чем 32 битные. или 42-ух тритовые чем 64-х битные. Что крайне маловероятно.

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

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

А для арифметики и других задач по большому счёту нет разницы на троичной или двоичной (или какой-то ещё) базе они сделаны.

Кроме троичных эвм были и лисп машины, там в аппаратном слове ячейки данных хранился тип переменной, в итоге исполнение лисп задач значительно ускорялась (так как требовалось меньше тактов, чем при интерпретации на обычной архитектуре), но по факту оказалось, что в реальных задачах типы данных обычно определены и эффективнее реализовывать на си обычной эвм, чем использовать более и малотиражные(= дорогие) сложные лисп машины.