146
правок
Изменения
Нет описания правки
''sum'' — сумма по модулю 3, несимметричная.
==Троичный вычитатель==
Полный троичный одноразрядный вычитатель является неполной тринарной троичной логической функцией, так как в разряде займа только два значения 0 и 1. Результат имеет длину 1 и 2/3 троичных разряда.
Результат изменяется при перемене мест операндов.
{|align="left" style="width:10cm" border=1
|+
|-align="left"
! <tex>x_1=x</tex>||<tex>2</tex>||<tex>2</tex>||<tex>2</tex>||<tex>1</tex> || <tex>1</tex> || <tex>1</tex> || <tex>0</tex> || <tex>0</tex> || <tex>0</tex>
|-align="left"
| <tex>x_0=y</tex>||<tex>2</tex>||<tex>1</tex>||<tex>0</tex>||<tex>2</tex> || <tex>1</tex> || <tex>0</tex> || <tex>2</tex> || <tex>1</tex> || <tex>0</tex>
|-align="left"
| <tex>transfer</tex>||<tex>1</tex>||<tex>1</tex>||<tex>0</tex>||<tex>1</tex>||<tex>0</tex> || <tex>0</tex> || <tex>0</tex> || <tex>0</tex> || <tex>0</tex>
|-align="left"
| <tex>sum</tex>||<tex>1</tex>||<tex>0</tex>||<tex>2</tex>||<tex>0</tex>|| <tex>2</tex> || <tex>1</tex> || <tex>2</tex> || <tex>1</tex> || <tex>0</tex>
|}
В разряде займа не бывает третьего значения троичного разряда (2), так как в «худшем» случае <tex>0_{10} - 2_{10} - 2_{10} = -4_{10} = -11_3</tex>, то есть в старшем разряде «1». Единица займа возникает в 9-ти случаях из 18.
==Источники информации==
* [https://ru.wikipedia.org/wiki/%D0%A2%D1%80%D0%BE%D0%B8%D1%87%D0%BD%D1%8B%D0%B5_%D1%84%D1%83%D0%BD%D0%BA%D1%86%D0%B8%D0%B8 Некоторые троичные схемы]
* [https://ru.wikipedia.org/wiki/%D0%A1%D1%83%D0%BC%D0%BC%D0%B0%D1%82%D0%BE%D1%80#cite_note-9 Различные сумматоры]
