Теперь по поводу сложения и умножения :
Легко увидеть, что для того, чтобы не усложнять логику работы, лучше кодировать ноль нулем, т.е. 0,1,2 кодируются 0,-,+ соответственно.
Только тогда работу сумматора можно построить на сравнительно небольшом числе элементов. Причем в троичной логике бит переноса не распространяется дальше следующего разряда, что сильно упрощает и ускоряет сумматоры. А вот с умножением троичной логики полная задница - там бит переноса мало того, что образуется при элементарном умножении, так ещё и требует дополнительной операции сложения с переносом разряда в наихудшем случае. В результате там, где требуется один такт в двоичной логике, в троичной их потребуется три. И это при условии быстрого синхронного переноса, при асинхронном всё ещё хуже.
Кратность ширины шины какому-то числу это не догма, а "так исторически сложилось". 
), а количество информации в каком то количестве злементов, т.е. там "пляшут" от числа Эйлера и считают сколько информации кодируется каким количеством битов или тритов .