146
правок
Изменения
Нет описания правки
В [[Троичная_логика |троичной логике]] "лжи" и "истине" соответствует <tex>-</tex> и <tex>+</tex>. Третьему состоянию соответствует <tex>0</tex>.
Мы будем рассматривать простую троичную [[Реализация_булевой_функции_схемой_из_функциональных_элементов |функциональную схему]] — троичный [[Сумматор|сумматор]]. Поэтому, вместо обозначений <tex>\{-, 0, +\}</tex>, мы используем В нём используются такие обозначения: <tex>\{0, 1, 2\}</tex> (несимметричная троичная система счисления).
== Составные части полусумматора ==
Результат не меняется при перемене мест операндов.
[[Файл:Сложение по модулю 3.png|right|200px|thumb|Сумма по модулю 3]]
{| style="background-color:#CCC;margin:0.5px"
|style="background-color:#FFF;padding:2px 30px"| <tex>0</tex>
|-
|style="background-color:#EEE;padding:2px 30px"| <tex>\bf{zs}</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>0</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>2</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>0</tex>
|}
=== Разряд переноса при сложении с неполным слагаемым ===
Для сложения одного троичного разряда с разрядом переноса.
Результат не изменяется при перемене мест операндов.
[[Файл:Перенос.png|right|200px|thumb|Перенос]]
{| style="background-color:#CCC;margin:0.5px"
|style="background-color:#FFF;padding:2px 30px"| <tex>0</tex>
|-
|style="background-color:#EEE;padding:2px 30px"| <tex>\bf{zc}</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>1</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>0</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>0</tex>
|}
== Троичный полусумматор с одним неполным слагаемым ==
Первая ступень полного троичного сумматора.
|style="background-color:#FFF;padding:2px 30px"| <tex>0</tex>
|-
|style="background-color:#EEE;padding:2px 30px"| <tex>\bf{z_{sum}}</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>0</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>2</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>0</tex>
|-
|style="background-color:#EEE;padding:2px 30px"| <tex>\bf{z_{transfer}}</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>1</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>0</tex>
Троичный полусумматор можно рассматривать, как объединение двух бинарных троичных функций: «логического сложения по модулю <tex>3</tex> в троичной несимметричной системе счисления» и «разряд переноса при сложении двух полных троичных разрядов в троичной несимметричной системе счисления».
[[Файл:Троичнй полусумматор.png|right|200px|thumb|Троичный полусумматор]]
{| style="background-color:#CCC;margin:0.5px"
|style="background-color:#EEE;padding:2px 30px"| <tex>\bf{x_1=x}</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>0</tex>
|-
|style="background-color:#EEE;padding:2px 30px"| <tex>\bf{z_{sum}}</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>1</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>1</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>0</tex>
|-
|style="background-color:#EEE;padding:2px 30px"| <tex>\bf{z_c_{transfer}}</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>1</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>0</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>0</tex>
|}
''sum'' — сумма по модулю <tex>3</tex>, несимметричная.
Полный троичный одноразрядный сумматор является неполной тернарной троичной логической функцией, так как в разряде переноса только два значения <tex>0</tex> и <tex>1</tex>.
[[Файл:Полный троичный сумматор.png|right|200px|thumb|Троичный сумматор]]
Результат не изменяется при перемене мест операндов.
{| style="background-color:#CCC;margin:0.5px"
|style="background-color:#FFF;padding:2px 10px"| <tex>0</tex>
|-
|style="background-color:#EEE;padding:2px 10px"| <tex>\bf{z_{sum}}</tex>
|style="background-color:#FFF;padding:2px 10px"| <tex>2</tex>
|style="background-color:#FFF;padding:2px 10px"| <tex>1</tex>
|style="background-color:#FFF;padding:2px 10px"| <tex>0</tex>
|-
|style="background-color:#EEE;padding:2px 10px"| <tex>\bf{z_{transfer}}</tex>
|style="background-color:#FFF;padding:2px 10px"| <tex>1</tex>
|style="background-color:#FFF;padding:2px 10px"| <tex>1</tex>
