Изменения

== Логическое сложение по модулю <tex>3 </tex> при одном неполном слагаемом==

''transfer'' содержит разряд переноса, ''sum'' содержит сумму по модулю <tex>3</tex>.

Результат операции занимает <tex>1 </tex> и <tex>2/3 </tex> троичных разряда.

Троичный полусумматор можно рассматривать, как объединение двух бинарных троичных функций: «логического сложения по модулю <tex>3 </tex> в троичной несимметричной системе счисления» и «разряд переноса при сложении двух полных троичных разрядов в троичной несимметричной системе счисления».

В отличие от предыдущих бинарных троичных функций с одноразрядным результатом, результат функции занимает <tex>1 </tex> и <tex>2/3 </tex> троичных разрядов, так как при сложении в троичной несимметричной системе в разряде переноса не бывает значения больше единицы.

''transfer'' — перенос в <tex>n + 1</tex>, несимметричный.

''sum'' — сумма по модулю <tex>3</tex>, несимметричная.

Полный троичный одноразрядный вычитатель является неполной тринарной троичной логической функцией, так как в разряде займа только два значения <tex>0 </tex> и <tex>1</tex>. Результат имеет длину <tex>1 </tex> и <tex>2/3 </tex> троичных разряда.

В разряде займа не бывает третьего значения троичного разряда <tex>(2)</tex>, так как в «худшем» случае <tex>0_{10} - 2_{10} - 2_{10} = -4_{10} = -11_3</tex>, то есть в старшем разряде «1»«<tex>1</tex>». Единица займа возникает в <tex>9</tex>-ти случаях из <tex>18.==См. также==* [http:<//neerctex>.ifmo.ru/wiki/index.php?title=%D0%A2%D1%80%D0%BE%D0%B8%D1%87%D0%BD%D0%B0%D1%8F_%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0 Троичная логика]