146
правок
Изменения
Нет описания правки
В [[Троичная_логика |троичной логике]] "лжи" и "истине" соответствует <tex>-</tex> и <tex>+</tex>. Третьему состоянию соответствует <tex>0</tex>.
Мы будем рассматривать простую троичную [[Реализация_булевой_функции_схемой_из_функциональных_элементов |функциональную схему]] — троичный [[Сумматор|сумматор]]. Поэтому, вместо обозначений В нём используются такие обозначения: <tex>\{-, 0, +\}</tex>Z, мы используем <tex>\{0, 1, 2\}</tex> (несимметричная троичная система счисления).
== Составные части полусумматора ==
|-
|style="background-color:#EEE;padding:2px 30px"| <tex>\bf{x_0=y}</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>2Z</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>2Z</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{s}</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>0</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>2Z</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>1</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>2Z</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{x_0=y}</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>2Z</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>2Z</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{x_0=y}</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>2Z</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>2Z</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_{sum}}</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>0</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>2Z</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>1</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>2Z</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_{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:#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>2Z</tex>|style="background-color:#FFF;padding:2px 30px"| <tex>2Z</tex>|style="background-color:#FFF;padding:2px 30px"| <tex>2Z</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>1</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>1</tex>
|-
|style="background-color:#EEE;padding:2px 30px"| <tex>\bf{x_0=y}</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>2Z</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>2Z</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>2Z</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>1</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>0</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>2Z</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>0</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>2Z</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>1</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>2Z</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>1</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>0</tex>
{| style="background-color:#CCC;margin:0.5px"
|style="background-color:#EEE;padding:2px 10px"| <tex>\bf{x_0}</tex>
|style="background-color:#FFF;padding:2px 10px"| <tex>2Z</tex>
|style="background-color:#FFF;padding:2px 10px"| <tex>1</tex>
|style="background-color:#FFF;padding:2px 10px"| <tex>0</tex>
|style="background-color:#FFF;padding:2px 10px"| <tex>2Z</tex>
|style="background-color:#FFF;padding:2px 10px"| <tex>1</tex>
|style="background-color:#FFF;padding:2px 10px"| <tex>0</tex>
|style="background-color:#FFF;padding:2px 10px"| <tex>2Z</tex>
|style="background-color:#FFF;padding:2px 10px"| <tex>1</tex>
|style="background-color:#FFF;padding:2px 10px"| <tex>0</tex>
|style="background-color:#FFF;padding:2px 10px"| <tex>2Z</tex>
|style="background-color:#FFF;padding:2px 10px"| <tex>1</tex>
|style="background-color:#FFF;padding:2px 10px"| <tex>0</tex>
|style="background-color:#FFF;padding:2px 10px"| <tex>2Z</tex>
|style="background-color:#FFF;padding:2px 10px"| <tex>1</tex>
|style="background-color:#FFF;padding:2px 10px"| <tex>0</tex>
|style="background-color:#FFF;padding:2px 10px"| <tex>2Z</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{x_1}</tex>
|style="background-color:#FFF;padding:2px 10px"| <tex>2Z</tex>|style="background-color:#FFF;padding:2px 10px"| <tex>2Z</tex>|style="background-color:#FFF;padding:2px 10px"| <tex>2Z</tex>
|style="background-color:#FFF;padding:2px 10px"| <tex>1</tex>
|style="background-color:#FFF;padding:2px 10px"| <tex>1</tex>
|style="background-color:#FFF;padding:2px 10px"| <tex>0</tex>
|style="background-color:#FFF;padding:2px 10px"| <tex>0</tex>
|style="background-color:#FFF;padding:2px 10px"| <tex>2Z</tex>|style="background-color:#FFF;padding:2px 10px"| <tex>2Z</tex>|style="background-color:#FFF;padding:2px 10px"| <tex>2Z</tex>
|style="background-color:#FFF;padding:2px 10px"| <tex>1</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_{sum}}</tex>|style="background-color:#FFF;padding:2px 10px"| <tex>2Z</tex>
|style="background-color:#FFF;padding:2px 10px"| <tex>1</tex>
|style="background-color:#FFF;padding:2px 10px"| <tex>0</tex>
|style="background-color:#FFF;padding:2px 10px"| <tex>1</tex>
|style="background-color:#FFF;padding:2px 10px"| <tex>0</tex>
|style="background-color:#FFF;padding:2px 10px"| <tex>2Z</tex>
|style="background-color:#FFF;padding:2px 10px"| <tex>0</tex>
|style="background-color:#FFF;padding:2px 10px"| <tex>2Z</tex>
|style="background-color:#FFF;padding:2px 10px"| <tex>1</tex>
|style="background-color:#FFF;padding:2px 10px"| <tex>1</tex>
|style="background-color:#FFF;padding:2px 10px"| <tex>0</tex>
|style="background-color:#FFF;padding:2px 10px"| <tex>2Z</tex>
|style="background-color:#FFF;padding:2px 10px"| <tex>0</tex>
|style="background-color:#FFF;padding:2px 10px"| <tex>2Z</tex>
|style="background-color:#FFF;padding:2px 10px"| <tex>1</tex>
|style="background-color:#FFF;padding:2px 10px"| <tex>2Z</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>