192
правки
Изменения
→Одноместные операции
<tex>NOT^-</tex>,<tex>NOT</tex> и <tex>NOT^+</tex> — операторы '''инверсии''', сохраняющие состояние <tex>-</tex>, <tex>0</tex> и <tex>+</tex> соответственно, когда оно соответствует типу оператора, или обращающие в значение, не равное исходному состоянию и не соответствующее типу оператора инверсии, то есть в оставшееся третье.
Например, если <tex>a = (-)</tex>, то <tex>NOT^+a=0</tex>. Так как исходное состояние <tex>(-)</tex>, тип инверсии <tex>NOT^+</tex>, то методом исключения можно прийти к результирующему состоянию <tex>0</tex>.
Все возможные варианты для данной одноместной операции приведены в таблице.
<tex>\nearrow</tex>, <tex>\searrow</tex> — данные операторы работают аналогично операторам модификации лишь с тем отличием, что при переполнении трита цикл состояний не повторяется, и значение так и остаётся минимальным или максимальным.
{| style="background-color:#CCC;margin:0.5px"
!style="background-color:#EEE"| <tex>\bf{a}</tex>
!style="background-color:#EEE"| <tex>\bf{\nearrow a}</tex>
!style="background-color:#EEE"| <tex>\bf{\searrow a}</tex>
|-
|style="background-color:#EEE;padding:2px 30px"| <tex>\bf{-}</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>0</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>-</tex>
|-
|style="background-color:#EEE;padding:2px 30px"| <tex>\bf{0}</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>+</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>-</tex>
|-
|style="background-color:#EEE;padding:2px 30px"| <tex>\bf{+}</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>+</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>0</tex>
|}
===Другие одноместные функции===
* <tex>+</tex>, <tex>0</tex> и <tex>-</tex> — функции, не зависящие от аргумента <tex>a</tex>, они же вырожденные.
* Остальные функции от одной переменной образуются путём сочетания операторов выбора с операторами инверсии и модификации, поэтому они не имеют собственных названий.
==Двухместные операции==
