18-10-2023
Троичной функцией в теории функциональных систем и троичной логике называют функцию типа , где — троичное множество, а — неотрицательное целое число, которое называют арностью или местностью функции.
Элементы множества — цифровые знаки 0, 1 и 2 могут интерпретироваться как логические «ложь», «неизвестно» и «истина», в общем случае их смысл может быть любым. Элементы называют троичными векторами. В случае n = 0 троичная функция превращается в троичную константу.
Каждая троичная функция арности n полностью определяется заданием своих значений на своей области определения, то есть на всех троичных векторах длины n. Число таких векторов равно 3n. Поскольку на каждом векторе трёхзначная функция может принимать одно из трёх раличных значений, то количество всех n-арных троичных функций равно 33n.
Например, существует 330 = 3 нульарных троичных логических функций — константы 0, 1 и 2; 331 = 27 унарных троичных логических функций и т. д.
Всего существуют простейшие нульарные троичные функции (троичные константы).
В троичной несимметричной системе счисления:
название | обозначение | ||
---|---|---|---|
0 | логический тождественный ноль | 0 | |
1 | логическая тождественная единица | 1 | |
2 | логическая тождественная двойка | 2 |
В троичной симметричной системе счисления:
название | обозначение | ||
---|---|---|---|
i | тождественная минус единица | i | |
0 | тождественный ноль | 0 | |
1 | тождественная плюс единица | 1 |
Всего существует простейших унарных (одноместных) троичных функций.
Число простейших унарных троичных функций равно числу размещений с повторениями (выборок с возвращением) при k=n=3:
Так как возможны более сложные функции дающие при подаче на вход одного трита тот же результат, что и простейшие унарные троичные функции, то число более сложных троичных функций с нижеприведёнными результатами от одного трита теоретически бесконечно.
Таблица 1. Результаты действия простейших унарных троичных функций при подаче на вход трёх значений троичного разряда: 0, 1 и 2.
В несимметричной троичной системе {0,1,2}:
x | 2 | 1 | 0 | название | обозначение |
---|---|---|---|---|---|
f(x) | 0 | 0 | 0 | тождественный ноль | 0(x) = 0 |
0 | 0 | 1 | |||
0 | 0 | 2 | |||
0 | 1 | 0 | |||
0 | 1 | 1 | |||
0 | 1 | 2 | инверсия около единицы, нулевая инверсия Лукасевича в соответствии н1, Invert Стива Грабба[1] | НЕ1(x) = НЕЛ1(x) = NOT1(X) = NOTL1(Х) = SWAP0/2(X)=Complement(F210)[2]=x[3] | |
0 | 2 | 0 | |||
0 | 2 | 1 | циклический сдвиг (поворот, вращение) вперёд на 1 (1/3 оборота), Rotate Up Стива Грабба[4] | СДВИГ1В(X) = ROT1F(x) = ROT1U(x) = SHIFT1F(X) | |
0 | 2 | 2 | F220[5] | ||
1 | 0 | 0 | Shift Down Стива Грабба[6] | ||
1 | 0 | 1 | |||
1 | 0 | 2 | циклический сдвиг (поворот, вращение) назад на 1 (1/3 оборота), Rotate Down Стива Грабба[7] | СДВИГ1Н(X) = ROT1B(x) = ROT1D(x) = SHIFT1B(x) | |
1 | 1 | 0 | |||
1 | 1 | 1 | тождественная единица | 1(x) = 1 | |
1 | 1 | 2 | F211[8] | ||
1 | 2 | 0 | инверсия около нуля, нулевая инверсия Лукасевича в соответствии н2 | НЕ0(x) = НЕЛ0(x) = NOTL0(Х) = SWAP1/2(X) | |
1 | 2 | 1 | |||
1 | 2 | 2 | F221[9] | ||
2 | 0 | 0 | |||
2 | 0 | 1 | инверсия около двойки, | НЕ2(x) = НЕЛ2(x) = NOTL2(Х) = SWAP0/1 | |
2 | 0 | 2 | |||
2 | 1 | 0 | тождественная функция, повторитель, логическое «ДА», линия задержки, нулевой сдвиг | ДА(x) = x = СДВИГ0(x) | |
2 | 1 | 1 | |||
2 | 1 | 2 | |||
2 | 2 | 0 | |||
2 | 2 | 1 | Shift Up Стива Грабба[10] | ||
2 | 2 | 2 | тождественная двойка | 2(x) = 2 |
Любую унарную троичную функцию можно выразить (построить) используя две другие унарные базисные троичные функции, одна из которых — любой из двух циклических сдвигов (полных инверсий), а другая — любой из трёх обменов (неполных инверсий, инверсий Лукасевича). Эти пары функций образуют множество из шести унарных троичных базисов. Любой из трёх обменов производит переход от одного из двух вращений к противоположному вращению. Любой из двух сдвигов обеспечивает вращение в одном из двух направлений (левом и правом) на 1/3 оборота (2π/3, 120°), на 2/3 оборота (2*2π/3, 240°) и на 3/3 оборота (2*π, 360°).
Все 27 унарных троичных операций (функций) выполняются троичным унарным с унарным выходом АЛУ (1Трит-1Трит) в трёхбитной одноединичной системе троичных логических элементов, снимок модели которого в логическом симуляторе Atanua приведён на рисунке справа, и записываются в троичный триггер с соответствующей логикой управления.
Для обозначения унарных троичных функций достаточно любых трёх троичных знаков (3³=27), 4/3 девятеричного знака (9(4\3)=27) или одного двадцатисемеричного знака, следовательно, так как возможно бесконечное количество таких знаков, возможно бесконечное множество обозначений унарных троичных функций. Из этого множества обозначений числовые обозначения по результатам действия функций являются естественными обозначениями
.Цифровые обозначения могут быть постфиксными надстрочными, строчными и подстрочными и префиксными надстрочными, строчными и подстрочными, при этом для надстрочных и подстрочных обозначений нужно набирать пять знаков для открывающих и шесть знаков для закрывающих скобок, поэтому проще цифровые строчные обозначения с обычными скобками.
Grabb[12] использует для обозначения шесть знаков: ∪, ∩, ↘, ↗, A, A, из которых 5 труднонабираемы на клавиатуре. Шесть знаков могут выразить до 6²=36 функций, тем не менее Grabb использует для обозначения −7, −3, 3 и 7 функций четыре знака, что относительно избыточно (64=1296).
Mouftah использует для обозначения 16 знаков: ¬, ¬, ⌐, ⌐, ┘, ┘, └, └, ⊼, ⊽, 0, +, (,), A, A, из которых 11 труднонабираемы на клавиатуре. Два шестнадцатеричных знака могут выразить до 11²=256 функций, тем не менее для −6 и −2 функций Mouftah использует 11 знаков, что относительно избыточно (1611=17592186044416).
Yoeli обозначает положительные декодеры −1, 0 и +1 с двумя i тремя труднонабираемыми на клавиатуре надстрочными индексами, при этом не описываются положительные декодеры с двумя 0, нулевые декодеры с двумя 1 и с двумя −1, отрицательные декодеры с двумя 0 и с двумя 1.
В симметричной троичной системе:
x | 1 | 0 | i | название | обозначение | F#[13] | Grubb | Mouftah | Название по Mouftah/Yoeli | [13] | Diff:101 |
---|---|---|---|---|---|---|---|---|---|---|---|
f(x) | i | i | i | тождественная минус единица | i(x) = i | 111 | always output 1 | ||||
i | i | 0 | ii0 | ↘A = Shift Down | ¬┘A | ||||||
i | i | 1 | ii1 | ∩↗A | └┘A = ┘A = ┘A = ┘┘A | x1 (Yoeli), decode-1 | |||||
i | 0 | i | i0i | ↘∩A | |||||||
i | 0 | 0 | i00 | ↘↗A | ⌐A | Reverse Diode | |||||
i | 0 | 1 | инверсия Лукасевича около 0, нулевая (0) инверсия Лукасевича |
NOTL0(x) | 101 | swap1/1, invert A |
A | Simple Ternary Inverter | \'/ | ||
i | 1 | i | i1i | ∩↗∪A | ┘(A + A) | x0 (Yoeli), decode-0 | |||||
i | 1 | 0 | циклический сдвиг вперёд на 1 (1/3 оборота, +120°) | ROT1F(x) = ROT1U(x) = SHIFT1F(x) | 011 | rotate up, ∩A |
(└A ⊼ 0)⊼(┘A) — inverse cycling gate | cycle up | /// | ||
i | 1 | 1 | i11 | ∪↘A | ┘└A = ┘A = └└A | ||||||
0 | i | i | 0ii | ↘A | ⌐└A | Earthed Negative Ternary Inverter | |||||
0 | i | 0 | 0i0 | ∪↗∪A | |||||||
0 | i | 1 | циклический сдвиг назад на 1 (1/3 оборота, −120°) | ROT1B(x) = ROT1D(x) = SHIFT1B(x) | 110 | rotate down, ∪A |
(┘A ⊽ 0)⊽(└A) — cycling gate | cycle down | \\\ | ||
0 | 0 | i | 00i | ∪↗A | ⌐└A = ⌐A | ||||||
0 | 0 | 0 | тождественный ноль | 0(x) = 0 | 000 | always output 0 | |||||
0 | 0 | 1 | 001 | ↗↘A | ¬A | Forward Diode | |||||
0 | 1 | i | инверсия Лукасевича около −1, отрицательная (-1) инверсия Лукасевича |
NOTL-(x) | 110 | swap 0/1 | swap 0/1 | '/\ | |||
0 | 1 | 0 | 010 | ∩↘∩A | |||||||
0 | 1 | 1 | 011 | ↗A = Shift Up | ⌐└A | ||||||
1 | i | i | 1ii | ∩↗A | └A | Negative Ternary Inverter (Mouftah), xi (Yoeli), decode-i | |||||
1 | i | 0 | инверсия Лукасевича около +1, положительная (+1) инверсия Лукасевича |
NOTL+(x) | 011 | swap 1/0 | swap 1/0 | /\' | |||
1 | i | 1 | 1i1 | ∪↘∩A | |||||||
1 | 0 | i | тождественная функция, повторитель, логическое «ДА», линия задержки | 101 | Buffer A |
A | Buffer | ||||
1 | 0 | 0 | 100 | ∩↘A | ¬A | ||||||
1 | 0 | 1 | 101 | ↗∪A | |||||||
1 | 1 | i | 11i | ∪↘A | ┘A | Positive Ternary Inverter | |||||
1 | 1 | 0 | 110 | ↗A | ¬┘A | Earthed Positive Ternary Inverter | |||||
1 | 1 | 1 | тождественная плюс единица | 1(x) = 1 | 111 | always output 1 |
При замене знака i на знак 2 получается таблица унарных троичных функций в несимметричной троичной системе {2,0,1} (соответствие 2.).
Троичный логический повторитель. Является простейшей линией задержки.
В троичной логике неполные обмены и инверсии совпадают. В четверичной логике два единичных дигональных обмена и два парных недиагональных обмена являются инверсиями, остальные неполные обмены инверсиями не являются. В пятеричной логике для инверсии необходимы два парных обмена в которых в сумме участвуют значения четырёх вершин. В шестеричной логике для инверсии необходимы два парных обмена или три парных обмена. В семеричной логике для инверсии необходимы три парных обмена в которых в сумме участвуют значения шести вершин. В N-ичной логике для инверсии в обмене участвуют значения N-1 вершины. В нечётных логиках по отношению к одной вершине возможна одна инверсия. В чётных логиках по отношению к одной вершине возможны две инверсии: диагональная и перпендикулярная.
Троичные инвесии (перевороты, отрицания, неполные троичные обмены) — унарные операции, меняющие местами два из трёх логических состояний.
В троичной логике возможны три инверсии[14]:
— инверсия около нуля, НЕ0, (NOTL0), обмен −1 и +1 (SWAP-1/+1),
— инверсия около −1, НЕ-1, (NOTL-), обмен 0 и +1 (SWAP0/+1),
— инверсия около +1, НЕ+1, (NOTL+), обмен −1 и 0 (SWAP-1/+1).
NOTL- = ROTB(NOTL0)
NOTL+ = ROTF(NOTL0)
NOTL+ = ROTB(NOTL-)
Традиционная инверсия (неполный обмен SWAP-1/+1), (двоичное, так называемое обращение или дополнение) неполное отрицание, не влияющее на состояние «неизвестно», в троичной логике называют отрицанием Лукасевича и обозначают как ~Lx (NLx, ¬Lx, x’L, NOTL или NOTL0). Функция инверсии (отрицания) Лукасевича входит в логику Клини. В симметричной троичной системе счисления Фибоначчи такое отрицание просто изменяет «знак» троичного разряда, в несимметричной троичной системе счисления знак троичного разряда не изменяется.
Граф переходов в операции отрицания (инверсии) Лукасевича — одно ребро треугольника с двухсторонними переходами от 1 к −1 и обратно. Операция линейная, одномерная, из линии в плоскость не выходит.
Кроме традиционной инверсии Лукасевича, выделяют ещё две операции инверсий, которые обозначают как NOT1 (NOT−, NOT-, NOTL-) и NOT1(NOT+, NOT+, NOTL+). Первая сохраняет неизменным состояние −1 («ложь»), а вторая сохраняет +1 («истина»), при этом операции по-разному действуют на состояние 0 («неизвестно»):
в несимметричной троичной системе счисления с соответствием {-1,0,+1} — {0,1,2}:
x | 2 | 1 | 0 | |
---|---|---|---|---|
НЕ1, NOTL0 | 0 | 1 | 2 | |
НЕ0, NOTL−1 | 1 | 2 | 0 | |
НЕ2, NOTL+1 | 2 | 0 | 1 |
в несимметричной троичной системе счисления с соответствием {-1,0,+1} — {2,0,1}:
x | 2 | 1 | 0 | |
---|---|---|---|---|
НЕ0, NOTL0 | 1 | 2 | 0 | |
НЕ2, NOTL-1 | 2 | 0 | 1 | |
НЕ1, NOTL+1 | 0 | 1 | 2 |
так как возможны шесть соответствий троичной симметричной системы счисления и троичной несимметричной системы счисления:
Таблица соответствия троичной несимметричной системы и троичной симметричной системы:
1. | 2. | 3. | 4. | 5. | 6. | |
---|---|---|---|---|---|---|
1 | 2 | 1 | 0 | 0 | 2 | 1 |
0 | 1 | 0 | 2 | 1 | 0 | 2 |
1 | 0 | 2 | 1 | 2 | 1 | 0 |
то в несимметричной троичной системе счисления с другими соответствиями троичной симметричной системе счисления таблицы функций NOTL0, NOTL- и NOTL+ будут другими;
в симметричной троичной системе счисления {-1,0,+1}:
x | 1 | 0 | 1 | |
---|---|---|---|---|
НЕ0, NOTL0 | 1 | 0 | 1 | |
НЕ-1, NOTL−1 | 0 | 1 | 1 | |
НЕ+1, NOTL+1 | 1 | 1 | 0 |
Граф операции NOT1 (NOT−, NOT-, NOTL-) — одно ребро треугольника с двухсторонними переходами от 0 к 1 и обратно.
Граф операции NOT1(NOT+, NOT+, NOTL+) — одно ребро треугольника с двухсторонними переходами от 0 к −1 и обратно.
Так как возможны два вида вращения (левое и правое), то закон двойного отрицания справедлив для всех многозначных логик. Для всех трёх инверсий (отрицаний) Лукасевича, как и в двоичной логике, справедливы уравнения:
NOTL0(NOTL0(X))=X NOTLZ(NOTLZ(X))=X
NOTL+(NOTL+(X))=X NOTLP(NOTLP(X))=X
NOTL-(NOTL-(X))=X NOTLN(NOTLN(X))=X,
.
В двоичной логике сдвиги и инверсии совпадают и выражаются одной операцией сдвига на 180° или инверсии — NOT(X). В троичной и более значных логиках сдвиги и инверсии являются разными функциями. Сдвиги не меняют направления вращения. Операцию (функцию) сдвига выполняют регистры сдвига. Инверсии (отрицания) меняют (переворачивают) направление возрастания значений при правом (по часовой стрелке) обходе вершин графа. Операцию (функцию) инверсии (переворота) выполняют только триггеры.
В троичной логике существует закон тройного сдвига:
SHIFT1F(SHIFT1F(SHIFT1F(X))) = X,
SHIFT1B(SHIFT1B(SHIFT1B(X))) = X.
В четверичной логике существует закон четверного сдвига:
SHIFT1F(SHIFT1F(SHIFT1F(SHIFT1F(X)))) = X,
SHIFT1B(SHIFT1B(SHIFT1B(SHIFT1B(X)))) = X.
В пятеричной логике существует закон пятерного сдвига:
SHIFT1F(SHIFT1F(SHIFT1F(SHIFT1F(SHIFT1F(X))))) = X,
SHIFT1B(SHIFT1B(SHIFT1B(SHIFT1B(SHIFT1B(X))))) = X.
…
В N-ичной логике существует закон N-ного сдвига:
N сдвигов вперёд равносильны повторению (утверждению),
N отрицаний (сдвигов) назад равносильны повторению (утверждению).
В (N+1)-ичной логике существует закон (N+1)-ного сдвига:
(N+1) сдвигов вперёд равносильны повторению (утверждению),
(N+1) сдвигов назад равносильны повторению (утверждению).
…
Обобщение:
В N-ичной плоской логике плоская логическая окружность делится на N частей, при этом N единичных сдвигов по плоской логической окружности приводят в исходную точку.
В объёмных логиках место окружности занимают многомерные (в простейшем случае трёхмерные) сферы.
Логические циклические сдвиги (отрицания, инверсии, вращения, полные обмены) вперёд и назад (вращение вверх и вращение вниз)[14].
Так как в троичном триггере (разряде, позиции) возможны переключения из любого из трёх состояний в любое из двух оставшихся состояний, то эти переключения нужно описать логическими функциями.
Если рассмотреть многовершинные графы, то в них возможны циклические сдвиги на 1 вперёд и назад и инверсии (перевороты).
Сдвиги не являются инверсиями и отличаются от функции инверсии (отрицания Лукасевича и от двух операций инверсии — NOT1 (или NOT−) и NOT1 (или NOT+)). Они более просты, ближе к логике работы троичного триггера и более полно описывают возможные переходы (переключения) в троичном триггере. В проекте Стива Грабба эти функции называются вращение вверх (ROTU) и вращение вниз (ROTD).
В троичной несимметричной системе {0,1,2}:
x | 2 | 1 | 0 | |
---|---|---|---|---|
SHIFT1F, ROT1F, ROT1U, | 0 | 2 | 1 | |
SHIFT1B, ROT1B, ROT1D, | 1 | 0 | 2 |
или в троичной симметричной системе {-1,0,+1}:
x | 1 | 0 | 1 | |
---|---|---|---|---|
SHIFT1F, ROT1F, ROT1U, | 1 | 1 | 0 | |
SHIFT1B, ROT1B, ROT1D, | 0 | 1 | 1 |
Графы операций логических циклических сдвигов (вращений) вперёд и назад (вращение вверх и вращение вниз) — треугольники с односторонними переходами вправо (по часовой стрелке) или влево (против часовой стрелки).
Для обеих функций справедливы уравнения:
Rot1F(Rot1F(Rot1F(x)))=x,
Rot1B(Rot1B(Rot1B(x)))=x,
которые являются законом тройного сдвига, который не является подобием закона двойного отрицания: три троичных сдвига равносильны утверждению.
Справедливы также следующие уравнения:
Rot1B(Rot1F(x))=x,
Rot1F(Rot1B(x))=x
Сдвиг на 2 равен двум сдвигам на 1:
SHIFTF2(x)=SHIFTF1(SHIFTF1(x))
SHIFTB2(x)=SHIFTB1(SHIFTB1(x))
это уравнение справедливо и в более чем трёхзначных логиках.
Только в троичной логике сдвиг в одну сторону на 2 равен сдвигу на 1 в другую сторону:
SHIFTF2(x)=SHIFTB1(x)
SHIFTB2(x)=SHIFTF1(x)
в более чем трёхзначных логиках этому свойству соответствуют другие подобные свойства.
Всего существует простейших унарных троичных функций с бинарным выходом.
К этим функциям относятся демультиплексоры и дешифраторы с бинарным (двухразрядным) (результатом) выходом.
Всего существует простейших унарных троичных функций с тринарным выходом.
К этим функциям относятся демультиплексоры и дешифраторы с тринарным (трёхразрядным) результатом (выходом).
Можно рассматривать как объединение трёх унарных троичных функций с унарными результатами из таблицы 1.
x | 2 | 1 | 0 | |
---|---|---|---|---|
2 | 1 | 0 | 0 | |
1 | 0 | 1 | 0 | |
0 | 0 | 0 | 1 |
Всего существует простейших унарных троичных функций с m-арным выходом, то есть бесконечное число.
К этим функциям относятся демультиплексоры и дешифраторы с m-арным (m-разрядным) результатом (выходом).
Всего возможно простейших бинарных (двуместных) троичных функций, некоторые из них приведены в таблице:
x | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | ||
---|---|---|---|---|---|---|---|---|---|---|---|
y | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 | Названия действий (функций) | Обозначения |
f(x,y) | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Тождественный ноль | 0(x,y) = 0 |
0 | 0 | 0 | 0 | 0 | 0 | 2 | 0 | 0 | Детектор (x-y)=2 с 2 при нулях | ||
0 | 0 | 0 | 0 | 1 | 1 | 0 | 1 | 2 | CGOR[15] | ||
0 | 0 | 0 | 0 | 2 | 2 | 0 | 2 | 1 | Функция Вебба | Webb(x,y) | |
0 | 0 | 0 | 2 | 0 | 0 | 0 | 2 | 0 | Детектор (x-y)=1 с 2 при нулях | ||
0 | 0 | 0 | 2 | 0 | 0 | 2 | 2 | 0 | Детектор x>y с 2 при нулях | ||
0 | 0 | 2 | 0 | 0 | 0 | 0 | 0 | 0 | Детектор x-y=-2 с 2 при нулях | ||
0 | 1 | 0 | 1 | 2 | 1 | 0 | 1 | 0 | Mean Function Стива Грабба[16] | x→y[17] | |
0 | 1 | 2 | 1 | 1 | 2 | 2 | 2 | 2 | CGAND[18] | ||
0 | 2 | 0 | 0 | 0 | 2 | 0 | 0 | 0 | Детектор x-y=-1 с 2 при нулях | ||
0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | циклический сдвиг вперёд на 1 (1/3 оборота) только одного первого операнда | СДВИГ1В(X,Y) = СДВИГ1В(Х) = SHIFT1F(X,Y) = SHIFTF(X) | |
0 | 2 | 1 | 2 | 1 | 0 | 1 | 0 | 2 | Сложение-вычитание в троичной симметричной системе счисления в соответствии {-1,0,+1}={0,1,2}, sum3s(x,y) |
||
0 | 2 | 2 | 0 | 0 | 2 | 0 | 0 | 0 | Детектор x<y с 2 при нулях | ||
0 | 2 | 2 | 2 | 0 | 2 | 2 | 2 | 0 | Детектор x≠y с 2 при нулях | ||
1 | 0 | 0 | 2 | 1 | 0 | 2 | 2 | 1 | Magnitude Function Стива Грабба[19] | ||
1 | 0 | 2 | 0 | 2 | 1 | 2 | 1 | 0 | Сложение по модулю 3 в несимметричной системе и в симметричной системе с соответствием {0,1,-1}={0,1,2} или {-1,0,+1}={2,0,1}, summod3ns(x,y) | ||
1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | Разряд переноса при бинарном сложении в несимметричной системе | carry3n(x,y) | |
1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | Тождественная единица | 1(x,y) = 1 | |
2 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | Разряд переноса при бинарном сложении в троичной симметричной системе счисления с соответствием {0,1,-1}={0,1,2} или {-1,0,+1}={2,0,1} | carry3s(x,y) | |
2 | 0 | 0 | 0 | 2 | 0 | 0 | 0 | 2 | Детектор x=y с 2 при нулях | ||
2 | 0 | 0 | 2 | 2 | 0 | 2 | 2 | 2 | Детектор x>=y с 2 при нулях | ||
2 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | Меньшее из двух, минимум, Min Function Стива Грабба[20] | min(x, y)=x↓y[21] | |
2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | повтор только первого аргумента (операнда) | ДА1(x,y) = YES1(x,y) = x | |
2 | 1 | 1 | 1 | 1 | 1 | 0 | 1 | 2 | Троичная функция следования Брусенцова | ||
2 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | Разряд переноса при бинарном сложении-вычитании в симметричной троичной системе в соответствии {-1,0,+1}={0,1,2} | carry3s(x,y) | |
2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 | повтор только второго аргумента (операнда) | ДА2(x,y) = YES2(x,y) = y | |
2 | 2 | 2 | 1 | 1 | 2 | 0 | 1 | 2 | Импликация материальная | ||
2 | 2 | 2 | 1 | 2 | 2 | 0 | 0 | 2 | Импликация Гейтинга | ||
2 | 2 | 2 | 1 | 2 | 2 | 0 | 1 | 2 | Импликация Лукасевича | ||
2 | 2 | 2 | 2 | 1 | 1 | 2 | 1 | 0 | Большее из двух, максимум, Max Function Стива Грабба[22] | max(x, y)=x↑y[23] | |
2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | Тождественная двойка | 2(x,y) = 2 |
Все 19 683 простейшие троичные бинарные функции выполняются троичным АЛУ (2Трита в 1Трит) в трёхбитной одноединичной системе троичных логических элементов, снимок модели которого в логическом симуляторе Atanua приведён на рисунке справа.
x | 1 | 0 | i | 1 | 0 | i | 1 | 0 | i | ||
---|---|---|---|---|---|---|---|---|---|---|---|
y | 1 | 1 | 1 | 0 | 0 | 0 | i | i | i | Названия действий (функций) | Обозначения |
f(x,y) | i | i | i | i | i | i | i | i | i | Тождественный ноль | 0(x,y) = 0 |
i | i | i | i | 1 | 1 | i | 1 | 0 | Функция Вебба | Webb(x,y) | |
i | 1 | 0 | i | 1 | 0 | i | 1 | 0 | циклический сдвиг вперёд на 1/3 оборота только одного первого операнда | СДВИГВ(X,Y) = СДВИГВ(Х) = SHIFTF(X,Y) = SHIFTF(X) | |
i | 1 | 0 | 1 | 0 | i | 0 | i | 1 | Сложение по модулю 3 в симметричной системе, summod3s(x,y) | ||
i | 1 | 1 | 1 | i | 1 | 1 | 1 | i | Детектор x≠y с 2 при нулях | ||
0 | i | 1 | i | 1 | 0 | 1 | 0 | i | Сложение по модулю 3 в несимметричной системе, summod3n(x,y) | ||
0 | 0 | i | 0 | i | i | i | i | i | Разряд переноса при бинарном сложении в несимметричной системе | ||
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Тождественный ноль | 0(x,y) = 0 | |
1 | 0 | i | 0 | 0 | i | i | i | i | Меньшее из двух, минимум | min(x,y) | |
1 | 0 | i | 1 | 0 | i | 1 | 0 | i | повтор только первого аргумента (операнда) | ДА1(x,y) = YES1(x,y) = x | |
1 | 0 | 0 | 0 | 0 | 0 | i | 0 | 1 | Троичная функция следования Брусенцова | ||
1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | i | Разряд переноса при бинарном сложении в симметричной троичной системе | ||
1 | 1 | 1 | 0 | 0 | 0 | i | i | i | повтор только второго аргумента (операнда) | ДА2(x,y) = YES2(x,y) = y | |
1 | 1 | 1 | 0 | 0 | 1 | i | 0 | 1 | Импликация материальная | ||
1 | 1 | 1 | 0 | 1 | 1 | i | i | 1 | Импликация Гейтинга | ||
1 | 1 | 1 | 0 | 1 | 1 | i | 0 | 1 | Импликация Лукасевича | ||
1 | 1 | 1 | 1 | 0 | 0 | 1 | 0 | i | Большее из двух, максимум | max(x,y) | |
1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | Тождественная единица | 1(x,y) = 1 |
Результат изменяется при перемене мест операндов.
Истинно=1
x | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 |
---|---|---|---|---|---|---|---|---|---|
y | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 |
x>y | 0 | 0 | 0 | 1 | 0 | 0 | 1 | 1 | 0 |
Истинно=2
x | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 |
---|---|---|---|---|---|---|---|---|---|
y | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 |
x>y | 0 | 0 | 0 | 2 | 0 | 0 | 2 | 2 | 0 |
Результат изменяется при перемене мест операндов.
Истинно=1
x | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 |
---|---|---|---|---|---|---|---|---|---|
y | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 |
x<y | 0 | 1 | 1 | 0 | 0 | 1 | 0 | 0 | 0 |
Истинно=2
x | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 |
---|---|---|---|---|---|---|---|---|---|
y | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 |
x<y | 0 | 2 | 2 | 0 | 0 | 2 | 0 | 0 | 0 |
Вычисляется eqv(x, y); x eqv y;
Результат не изменяется при перемене мест операндов.
В несимметричной троичной системе счисления:
Истинно=1
x | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 |
---|---|---|---|---|---|---|---|---|---|
y | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 |
x=y | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 1 |
Истинно=2
x | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 |
---|---|---|---|---|---|---|---|---|---|
y | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 |
x=y | 2 | 0 | 0 | 0 | 2 | 0 | 0 | 0 | 2 |
или
x ^ | 2 | 0 0 2 1 | 0 2 0 0 | 2 0 0 ---+----------> y | 0 1 2
или в виде тринарной матрицы
в симметричной троичной системе счисления:
x | 1 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 1 |
---|---|---|---|---|---|---|---|---|---|
y | 1 | 1 | 1 | 0 | 0 | 0 | 1 | 1 | 1 |
x=y | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
или
x ^ | 1 | 1 1 1 0 | 1 1 1 1 | 1 1 1 ---+----------> y | 1 0 1
Сравнивает два кода и имеет трёхзначный выход: меньше, равно, больше. Является объединением трёх предыдущих отдельных троичных бинарных функций.
Результат изменяется при перемене мест операндов.
x | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 1-й операнд |
---|---|---|---|---|---|---|---|---|---|---|
y | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 | 2-й операнд |
x<y | 0 | 2 | 2 | 0 | 0 | 2 | 0 | 0 | 0 | |
x=y | 2 | 0 | 0 | 0 | 2 | 0 | 0 | 0 | 2 | |
x>y | 0 | 0 | 0 | 2 | 0 | 0 | 2 | 2 | 0 |
Входит в логику Клини.
Результат не изменяется при перемене мест операндов.
Вычисляется min(x, y).
В двоичной логике функции min(x, y) соответствует конъюнкция: x ∧ y, x И y, 2И.
В троичной несимметричной системе счисления:
x | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 |
---|---|---|---|---|---|---|---|---|---|
y | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 |
min(x,y) | 2 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 |
или
x ^ | 2 | 0 1 2 1 | 0 1 1 0 | 0 0 0 ---+----------> y | 0 1 2
в троичной симметричной системе счисления:
x | 1 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 1 |
---|---|---|---|---|---|---|---|---|---|
y | 1 | 1 | 1 | 0 | 0 | 0 | 1 | 1 | 1 |
min(x,y) | 1 | 0 | 1 | 0 | 0 | 1 | 1 | 1 | 1 |
или
x ^ | 1 | 1 0 1 0 | 1 0 0 1 | 1 1 1 ---+----------> y | 1 0 1
Входит в логику Клини.
Результат не изменяется при перемене мест операндов.
Вычисляется max(x, y).
В двоичной логике функции max(x, y) соответствует дизъюнкция: x ∨ y, x ИЛИ y, 2ИЛИ.
В несимметричной троичной системе счисления:
x | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 |
---|---|---|---|---|---|---|---|---|---|
y | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 |
max(x,y) | 2 | 2 | 2 | 2 | 1 | 1 | 2 | 1 | 0 |
или
x ^ | 2 | 2 2 2 1 | 1 1 2 0 | 0 1 2 ---+----------> y | 0 1 2
или в виде тринарной матрицы
в симметричной троичной системе счисления:
x | 1 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 1 |
---|---|---|---|---|---|---|---|---|---|
y | 1 | 1 | 1 | 0 | 0 | 0 | 1 | 1 | 1 |
max(x,y) | 1 | 1 | 1 | 1 | 0 | 0 | 1 | 0 | 1 |
или
x ^ | 1 | 1 1 1 0 | 0 0 1 1 | 1 0 1 ---+----------> y | 1 0 1
x | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 |
---|---|---|---|---|---|---|---|---|---|
y | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 |
n+1 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 |
⊕3(x,y) | 1 | 0 | 2 | 0 | 2 | 1 | 2 | 1 | 0 |
Аналог сложения по модулю 2. Название «исключающее ИЛИ» («XOR»), применяемое для «двоичного сложения по модулю 2», для «троичного сложения по модулю 3» неприемлемо, то есть оказалось поверхностным, не глубоким.
Результат не изменяется при перемене мест операндов.
Вычисляется сумма по модулю 3: x ⊕3n y
x | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 |
---|---|---|---|---|---|---|---|---|---|
y | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 |
⊕3n(x,y) | 1 | 0 | 2 | 0 | 2 | 1 | 2 | 1 | 0 |
или
x ^ | 2 | 2 0 1 1 | 1 2 0 0 | 0 1 2 ---+----------> y | 0 1 2
или в виде тринарной матрицы
или
⊕3n | 0 1 2 ----+---------- 0 | 0 1 2 1 | 1 2 0 2 | 2 0 1
или в виде тринарной матрицы
x | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 |
---|---|---|---|---|---|---|---|---|---|
y | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 |
n+1 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 |
или в виде тринарной матрицы
x | 1 | 0 | i | 1 | 0 | i | 1 | 0 | i |
---|---|---|---|---|---|---|---|---|---|
y | 1 | 1 | 1 | 0 | 0 | 0 | i | i | i |
n+1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | i |
⊕3s(x,y) | i | 1 | 0 | 1 | 0 | i | 0 | i | 1 |
Калька в троичной несимметричной системе счисления:
x | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 |
---|---|---|---|---|---|---|---|---|---|
y | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 |
n+1 | 2 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 0 |
⊕3s(x,y) | 0 | 2 | 1 | 2 | 1 | 0 | 1 | 0 | 2 |
x | 1 | 0 | i | 1 | 0 | i | 1 | 0 | i |
---|---|---|---|---|---|---|---|---|---|
y | 1 | 1 | 1 | 0 | 0 | 0 | i | i | i |
⊕3s(x,y) | i | 1 | 0 | 1 | 0 | i | 0 | i | 1 |
x ^ | 1 | 0 1 1 0 | 1 0 1 1 | 1 1 0 --+----------> y | 1 0 1
или
⊕3s | -1 0 +1 ---+---------- -1 | +1 -1 0 0 | -1 0 +1 +1 | 0 +1 -1
Сложение по модулю три напоминает двоичный XOR. Это обычное сложение, только без переноса: в случае переполнения разрядной сетки оно сохраняет лишь младший троичный разряд. Как и двоичный XOR, сложение по модулю три либо оставляет троичный разряд неизменным, либо изменяет его (производит операции INC/DEC, в зависимости от знака соответствующего троичного разряда).
Эта функция может быть полезна для реализации троичного полусумматора и сумматора.
Калька в троичной несимметричной системе счисления:
x | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 |
---|---|---|---|---|---|---|---|---|---|
y | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 |
⊕3s(x,y) | 0 | 2 | 1 | 2 | 1 | 0 | 1 | 0 | 2 |
x | 1 | 0 | i | 1 | 0 | i | 1 | 0 | i |
---|---|---|---|---|---|---|---|---|---|
y | 1 | 1 | 1 | 0 | 0 | 0 | i | i | i |
n+1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | i |
Калька в троичной несимметричной системе счисления:
x | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 |
---|---|---|---|---|---|---|---|---|---|
y | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 |
n+1 | 2 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 0 |
Импликация (от лат. implicatio — сплетение, implico — тесно связываю) — логическая связка, соответствующая грамматической конструкции «если …, то …», с помощью которой из двух простых высказываний образуется сложное высказывание. В импликативном высказывании различают антецедент (основание) — высказывание, идущее после слова «если», и консеквент (следствие) — высказывание, идущее за словом «то». Импликативное высказывание представляет в языке логики условное высказывание обычного языка. Последнее играет особую роль как в повседневных, так и в научных рассуждениях, основной его функцией является обоснование одного путём ссылки на нечто другое. В современной логике имеется большое число импликаций, различающихся своими формальными свойствами:
Вычисляется :
При перемене мест операндов результат изменяется.
в симметричной троичной системе счисления {-1,0,+1}:
x | 1 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 1 | 1-е высказывание |
---|---|---|---|---|---|---|---|---|---|---|
y | 1 | 1 | 1 | 0 | 0 | 0 | 1 | 1 | 1 | 2-е высказывание |
1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 1 | следование Брусенцова |
или
x ^ | 1 | 1 0 1 0 | 0 0 0 1 | 1 0 0 ---+----------> y | 1 0 1
в несимметричной троичной системе счисления {0,1,2}:
x | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 1-е высказывание |
---|---|---|---|---|---|---|---|---|---|---|
y | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 | 2-е высказывание |
2 | 1 | 1 | 1 | 1 | 1 | 0 | 1 | 2 | следование Брусенцова |
в несимметричной троичной системе {2,0,1}:
x | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1-е высказывание |
---|---|---|---|---|---|---|---|---|---|---|
y | 1 | 1 | 1 | 0 | 0 | 0 | 2 | 2 | 2 | 2-е высказывание |
1 | 0 | 0 | 0 | 0 | 0 | 2 | 0 | 1 | следование Брусенцова |
Материальная импликация — одна из основных связок классической логики. Определяется она таким образом: импликация ложна только в случае истинности основания (антецедента) и ложности следствия (консеквента), а истинна во всех остальных случаях. Условное высказывание «если x, то y» предполагает некоторую реальную связь между тем, о чём говорится в x и y; выражение «x материально имплицирует y» такой связи не предполагает.
Вычисляется импликация материальная max(−x, y); ; x' ∨ y :
При перемене мест операндов результат изменяется.
в симметричной троичной системе счисления {-1,0,+1}:
x | 1 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 1 | 1-е высказывание |
---|---|---|---|---|---|---|---|---|---|---|
y | 1 | 1 | 1 | 0 | 0 | 0 | 1 | 1 | 1 | 2-е высказывание |
1 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | Импликация материальная |
или
x ^ | 1 | 1 0 1 0 | 0 0 1 1 | 1 1 1 ---+----------> y | 1 0 1
в несимметричной троичной системе счисления {0,1,2}:
x | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 1-е высказывание |
---|---|---|---|---|---|---|---|---|---|---|
y | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 | 2-е высказывание |
2 | 2 | 2 | 1 | 1 | 2 | 0 | 1 | 2 | Импликация материальная |
Это часть многозначной логики. Логика Гейтинга охватывала лишь часть классической формальной логики.
Импликацию (если р, то q) можно утверждать, только если имеется такое построение, которое, будучи объединено с построением р, автоматически даёт построение q. Например, из истинности высказывания p следует «неверно, что p ложно». Но из утверждения «неверно, что p ложно» ещё не следует, что p — истинно, так как высказывание p может оказаться неконструктивным.
При перемене мест операндов результат изменяется.
В симметричной троичной системе счисления {-1,0,+1}:
x ^ | 1 | 1 0 1 0 | 1 1 1 1 | 1 1 1 ---+----------> y | 1 0 1
x | 1 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 1 | 1-е высказывание |
---|---|---|---|---|---|---|---|---|---|---|
y | 1 | 1 | 1 | 0 | 0 | 0 | 1 | 1 | 1 | 2-е высказывание |
1 | 1 | 1 | 0 | 1 | 1 | 1 | 1 | 1 | Импликация Гейтинга |
В несимметричной троичной системе счисления {0,1,2}:
x | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 | 1-е высказывание |
---|---|---|---|---|---|---|---|---|---|---|
y | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2-е высказывание |
2 | 2 | 2 | 1 | 2 | 2 | 0 | 0 | 2 | Импликация Гейтинга |
[24][25] Это часть модальной логики.
При перемене мест операндов результат изменяется.
В симметричной троичной системе счисления {-1,0,+1}:
x ^ | 1 | 1 0 1 0 | 0 1 1 1 | 1 1 1 ---+----------> y | 1 0 1
x | 1 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 1 | 1-е высказывание |
---|---|---|---|---|---|---|---|---|---|---|
y | 1 | 1 | 1 | 0 | 0 | 0 | 1 | 1 | 1 | 2-е высказывание |
1 | 1 | 1 | 0 | 1 | 1 | 1 | 0 | 1 | Импликация Лукасевича |
В несимметричной троичной системе счисления {0,1,2}:
x | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 | 1-е высказывание |
---|---|---|---|---|---|---|---|---|---|---|
y | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2-е высказывание |
2 | 2 | 2 | 1 | 2 | 2 | 0 | 1 | 2 | Импликация Лукасевича |
Для сложения одного троичного разряда с разрядом переноса.
Результат не изменяется при перемене мест операндов.
x | 2 | 1 | 0 | 2 | 1 | 0 | 1-е слагаемое |
---|---|---|---|---|---|---|---|
y | 1 | 1 | 1 | 0 | 0 | 0 | 2-е слагаемое |
0 | 2 | 1 | 2 | 1 | 0 | Сумма по модулю 3 |
или в виде тринарной матрицы
Для сложения одного троичного разряда с разрядом переноса.
Результат не изменяется при перемене мест операндов.
x | 2 | 1 | 0 | 2 | 1 | 0 | 1-е слагаемое |
---|---|---|---|---|---|---|---|
y | 1 | 1 | 1 | 0 | 0 | 0 | 2-е слагаемое |
1 | 0 | 0 | 0 | 0 | 0 | Перенос в n+1 |
или в виде тринарной матрицы
Результат не изменяется при перемене мест операндов.
Вычисляется Webb(x, y) = x | y = ROTF(x ∨ y) = RotF(max(x, y)) = Inc(max(x, y)):
в несимметричной троичной системе счисления {0,1,2}:
x | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 |
---|---|---|---|---|---|---|---|---|---|
y | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 |
Webb(x,y) | 0 | 0 | 0 | 0 | 2 | 2 | 0 | 2 | 1 |
или
x ^ | 2 | 0 0 0 1 | 2 2 0 0 | 1 2 0 ---+----------> y | 0 1 2
или в виде тринарной матрицы
в симметричной троичной системе счисления {-1,0,+1}:
x ^ | 1 | 1 1 1 0 | 1 1 1 1 | 0 1 1 ---+----------> y | 1 0 1
x | 1 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 1 | 1-е высказывание |
---|---|---|---|---|---|---|---|---|---|---|
y | 1 | 1 | 1 | 0 | 0 | 0 | 1 | 1 | 1 | 2-е высказывание |
1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | функция Вебба |
Функция Вебба интересна тем, что с помощью неё, подобно штриху Шеффера и стрелке Пирса в двухзначной логике, можно выразить любые трёхзначные функции:
Одноместные:
Двухместные:
Вполне возможно, что именно логическим элементам, реализующим функцию Вебба, придётся сыграть роль троичных ЛА3’их (ИС SN7400, 4 логических элемента 2И-НЕ[26]). И от качества реализации этой функции, количества транзисторов будет зависеть эффективность будущих троичных процессоров.
Впрочем, функция ROTB(X ∨ Y) (а возможно, что и ROTF(X ∧ Y), ROTB(X ∧ Y)) ничем не хуже. Вопрос лишь в том, какую из них мы сможем реализовать наиболее эффективно.
Бинарные функционально полные логические базисы в троичной симметричной системе {-1,0,+1}:
Бинарные функционально полные логические базисы в троичных несимметричных системах {2,0,1} и {0,1,2}:
Всего возможно простейших бинарных с бинарным выходом троичных функций (2Трита-2Трита).
Все 387 420 489 простейших троичных бинарных с бинарным выходом функций выполняются АЛУ в трёхбитной одноединичной системе троичных логических элементов, приведённым на рисунке справа.
Первая ступень полного троичного сумматора.
Для сложения одного троичного разряда с разрядом переноса.
Результат не изменяется при перемене мест операндов.
x | 2 | 1 | 0 | 2 | 1 | 0 | 1-е слагаемое |
---|---|---|---|---|---|---|---|
y | 1 | 1 | 1 | 0 | 0 | 0 | 2-е слагаемое |
1 | 0 | 0 | 0 | 0 | 0 | Перенос в n+1 | |
0 | 2 | 1 | 2 | 1 | 0 | Сумма по модулю 3 |
Результат операции занимает 1 и 2/3 троичных разряда.
Троичное логическое сложение двух троичных разрядов с разрядом переноса в несимметричной троичной системе счисления.
Результат не изменяется при перемене мест операндов.
Троичный полусумматор можно рассматривать, как объединение двух бинарных троичных функций: «логического сложения по модулю 3 в троичной несимметричной системе счисления» и «разряд переноса при сложении двух полных троичных разрядов в троичной несимметричной системе счисления».
В отличие от предыдущих бинарных троичных функций с одноразрядным результатом, результат функции занимает 1 и 2/3 троичных разрядов, так как при сложении в троичной несимметричной системе в разряде переноса не бывает значения больше единицы.
x | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 1-е слагаемое |
---|---|---|---|---|---|---|---|---|---|---|
y | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 | 2-е слагаемое |
Перенос в n+1, несимметричный | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | |
Сумма по модулю 3, несимметричная | 1 | 0 | 2 | 0 | 2 | 1 | 2 | 1 | 0 |
или в виде матрицы
Троичное логическое сложение-вычитание двух троичных разрядов с разрядом переноса в симметричной троичной системе счисления.
Результат не изменяется при перемене мест операндов.
Троичный полусумматор-полувычитатель можно рассматривать, как объединение двух бинарных троичных функций: «логического сложения-вычитания по модулю 3 в троичной симметричной системе счисления» и «разряд переноса при сложении-вычитании двух полных троичных разрядов в троичной симметричной системе счисления».
В отличие от сложения и вычитания в троичной несимметричной системе счисления, результат функции занимает 2 троичных разряда, так как при сложении-вычитании в троичной симметричной системе в разряде переноса бывает двойка.
x | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 1-е слагаемое-вычитаемое |
---|---|---|---|---|---|---|---|---|---|---|
y | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 | 2-е слагаемое-вычитаемое |
Перенос в n+1 разряд, симметричный | 2 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | |
Сумма-разность по модулю 3, симметричная | 0 | 2 | 1 | 2 | 1 | 0 | 1 | 0 | 2 |
или в виде матрицы
Всего возможно ≈ простейших бинарных троичных функций с нонарным результатом (выходом).
Результат изменяется при перемене мест операндов.
Можно рассматривать как объединение девяти бинарных троичных функций с унарными результатами.
x | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | |
---|---|---|---|---|---|---|---|---|---|---|
y | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 | |
8 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | |
7 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | |
6 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | |
5 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | |
4 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | |
3 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | |
2 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | |
1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 |
Всего возможно бинарных троичных функций с m-арным выходом, то есть бесконечное число.
К этим функциям относятся бинарные (двухразрядные) дешифраторы и демультиплексоры с m-арными (m-разрядными) выходами.
Всего возможно (7 триллионов 625 миллиардов 597 миллионов 484 тысячи 987) простейших тринарных (триарных) троичных функций с унарным выходом.
Вычисляется min(x, y, z)
27 входных комтринаций
Результат не изменяется при перемене мест операндов.
x | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 1-й аргумент (операнд) | ||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
y | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 | 2-й аргумент (операнд) | ||
z | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3-й аргумент (операнд) | ||
2 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | результат min(x,y,z) |
Вычисляется max(x, y, z)
27 входных комтринаций
Результат не изменяется при перемене мест операндов.
x | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 1-й аргумент (операнд) | ||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
y | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 | 2-й аргумент (операнд) | ||
z | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3-й аргумент (операнд) | ||
2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 1 | 1 | 2 | 1 | 1 | 2 | 2 | 2 | 2 | 1 | 1 | 2 | 1 | 0 | результат max(x,y,z) |
Вычисляется равенство всех трёх операндов x=y=z; eq20(x, y, z)
Результат не изменяется при перемене мест операндов.
x | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 1-й аргумент (операнд) | ||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
y | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 | 2-й аргумент (операнд) | ||
z | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3-й аргумент (операнд) | ||
2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2 | результат eq20(x,y,z) |
Результат не изменяется при перемене мест операндов.
x | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 1-е слагаемое |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
y | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 | 2-е слагаемое |
z | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Перенос из n-1 |
1 | 1 | 1 | 1 | 1 | 0 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | Перенос в n+1 |
Полное троичное сложение — тринарная (трёхоперандная) троичная функция учитывающая единицу переноса из предыдущего разряда.
Результат не изменяется при перемене мест операндов.
x | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 1-е слагаемое |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
y | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 | 2-е слагаемое |
z | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Перенос из n-1 |
2 | 1 | 0 | 1 | 0 | 2 | 0 | 2 | 1 | 1 | 0 | 2 | 0 | 2 | 1 | 2 | 1 | 0 | Сумма по модулю 3 |
Всего возможно (58 септиллионов 149 секстиллионов 737 квинтиллионов 003 квадриллиона 040 триллионов 059 миллиардов 690 миллионов 390 тысяч 169) простейших тринарных (триарных) троичных функций с бинарным выходом. Из этого числа наибольшую значимость имеют такие тринарные троичные функции, имеющие собственные названия, как сумматоры, шифраторы, дешифраторы, мультиплексоры, демультиплексоры.
Полный троичный одноразрядный сумматор является неполной тринарной троичной логической функцией, так как в разряде переноса только два значения 0 и 1. В отличие от предыдущих троичных тринарных функций с одноразрядным результатом, результат имеет длину 1 и 2/3 троичных разряда.
Результат не изменяется при перемене мест операндов.
x | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 1-е слагаемое |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
y | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 | 2-е слагаемое |
z | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Перенос из n-1 |
1 | 1 | 1 | 1 | 1 | 0 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | СЗР суммы, перенос в n+1 разряд | |
2 | 1 | 0 | 1 | 0 | 2 | 0 | 2 | 1 | 1 | 0 | 2 | 0 | 2 | 1 | 2 | 1 | 0 | МЗР суммы, сумма по модулю 3 |
В разряде переноса не бывает третьего значения троичного разряда (2), так как в «худшем» случае , то есть в старшем разряде «1». Единица переноса возникает в 9-ти случаях из 18.
Как в двоичной логике двоичный тринарный полный сумматор заменяется двумя бинарными полусумматорами, так и в троичной логике троичный тринарный полный сумматор можно заменить на два троичных бинарных полусумматора, только с той разницей, что два двоичных бинарных полусумматора одинаковые, а два троичных бинарных полусумматора разные.
1. Один полусумматор полный бинарный («сложение двух полных троичных разрядов»). Второй полусумматор — не полный бинарный («сложение одного полного троичного разряда с неполным троичным разрядом (с 2/3 от полного троичного разряда)»), так как в разряде переноса не бывает значений больших чем «1».
2. Один неполный бинарный «сложение 1 троичного разряда с 2/3 троичного разряда». Второй бинарный несимметричный «сложение 1 троичного разряда с 1 и 2/3 троичного разряда». Результат — двухразрядный длиной 1 и 2/3 троичных разряда.
Полный троичный одноразрядный вычитатель является неполной тринарной троичной логической функцией, так как в разряде займа только два значения 0 и 1. Результат имеет длину 1 и 2/3 троичных разряда.
Результат изменяется при перемене мест операндов.
x | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | уменьшаемое |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
y | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 | 1-е вычитаемое |
z | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2-е вычитаемое, заём в n-1 |
1 | 1 | 1 | 0 | 1 | 1 | 0 | 0 | 1 | 0 | 1 | 1 | 0 | 0 | 1 | 0 | 0 | 0 | СЗР разности, заём из n+1 разряда | |
2 | 1 | 0 | 0 | 2 | 1 | 1 | 0 | 2 | 0 | 2 | 1 | 1 | 0 | 2 | 2 | 1 | 0 | МЗР разности, разность по модулю 3 |
В разряде займа не бывает третьего значения троичного разряда (2), так как в «худшем» случае , то есть в старшем разряде «1». Единица займа возникает в 9-ти случаях из 18.
В отличие от несимметричной троичной системы счисления, в которой сумматор и вычитатель являются разными логическими функциями, в троичной симметричной системе счисления (Фибоначчи) сложение и вычитание выполняются одной троичной функцией и, следовательно, одним устройством — сумматором-вычитателем.
В отличие от сложения в несимметричной троичной системе счисления при сложении в симметричной троичной системе счисления в разряде переноса может быть три значения (0, 1 и −1), поэтому число комтринаций увеличивается с 18 до 27.
Результат не изменяется при перемене мест операндов.
x | 1 | 0 | i | 1 | 0 | i | 1 | 0 | i | 1 | 0 | i | 1 | 0 | i | 1 | 0 | i | 1 | 0 | i | 1 | 0 | i | 1 | 0 | i | 1-е слагаемое | ||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
y | 1 | 1 | 1 | 0 | 0 | 0 | i | i | i | 1 | 1 | 1 | 0 | 0 | 0 | i | i | i | 1 | 1 | 1 | 0 | 0 | 0 | i | i | i | 2-е слагаемое | ||
z | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | i | i | i | i | i | i | i | i | i | Перенос из n-1 | ||
1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | i | 0 | 0 | 0 | 0 | 0 | i | 0 | i | i | СЗР, перенос в n+1 | |||
0 | i | 1 | i | 1 | 0 | 1 | 0 | i | i | 1 | 0 | 1 | 0 | i | 0 | i | 1 | 1 | 0 | i | 0 | i | 1 | i | 1 | 0 | мл. знач. разр. суммы |
перенос (1 или −1) возникает в 8-ми случаях из 27, четыре раза −1 и четыре раза 1,
или кальки в несимметричной троичной системе с соответствием {-1,0,1}={0,1,2}:
x | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 1-е слагаемое | ||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
y | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 | 2-е слагаемое | ||
z | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Перенос из n-1 | ||
2 | 2 | 1 | 2 | 1 | 1 | 1 | 1 | 1 | 2 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 1 | 1 | 1 | 1 | 1 | 0 | 1 | 0 | 0 | СЗР, перенос в n+1 | |||
1 | 0 | 2 | 0 | 2 | 1 | 2 | 1 | 0 | 0 | 2 | 1 | 2 | 1 | 0 | 1 | 0 | 2 | 2 | 1 | 0 | 1 | 0 | 2 | 0 | 2 | 1 | мл. знач. разр. суммы |
с соответствием {0,1,-1}={0,1,2}:
x | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1-е слагаемое | ||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
y | 1 | 1 | 1 | 0 | 0 | 0 | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 | 2 | 2 | 2 | 2-е слагаемое | ||
z | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | Перенос из n-1 | ||
1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2 | 0 | 0 | 0 | 0 | 0 | 2 | 0 | 2 | 2 | СЗР, перенос в n+1 | |||
0 | 2 | 1 | 2 | 1 | 0 | 1 | 0 | 2 | 2 | 1 | 0 | 1 | 0 | 2 | 0 | 2 | 1 | 1 | 0 | 2 | 0 | 2 | 1 | 2 | 1 | 0 | мл. знач. разр. суммы |
и с другими оставшимися 4-мя соответствиями.
Ноль в разряде переноса возникает в 4-х случаях, единица в разряде переноса возникает в 18-ти случаях, двойка в разряде переноса возникает в 4-х случаях.
Можно рассматривать как объединение 18 тринарных (триарных) троичных функций с унарными результатами (выходами).
Результат изменяется при перемене мест операндов.
x | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
y | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 |
z | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
17 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
16 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
15 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
14 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
13 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
12 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
11 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
10 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
9 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
8 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
7 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
6 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |
5 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 |
4 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 |
3 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 |
2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 |
1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 |
Можно рассматривать как объединение 27 тринарных (триарных) троичных функций с унарными результатами (выходами).
Всего возможны ≈4.43*1038 простейших тринарных троичных функций с тринарным выходом
Сравнивает три трита и расставляет их по старшинству убывающе
x | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 1-е сортируемое | ||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
y | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 | 2-е сортируемое | ||
z | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3-е сортируемое | ||
f(10,10,222222222 222211211 222211210)3(x,y,z) | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 1 | 1 | 2 | 1 | 1 | 2 | 2 | 2 | 2 | 1 | 1 | 2 | 1 | 0 | наибольшее | ||
f(10,10,222211210 211111110 210110000)3(x,y,z) | 2 | 2 | 2 | 2 | 1 | 1 | 2 | 1 | 0 | 2 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 2 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | среднее | ||
f(10,10,210110000 110110000 000000000)3(x,y,z) | 2 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | наименьшее |
Сравнивает три трита и расставляет их по старшинству возрастающе
x | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 | 1-е сортируемое | ||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
y | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 | 2-е сортируемое | ||
z | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3-е сортируемое | ||
f(10,10,210110000 110110000 000000000)3(x,y,z) | 2 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | наименьшее | ||
f(10,10,222211210 211111110 210110000)3(x,y,z) | 2 | 2 | 2 | 2 | 1 | 1 | 2 | 1 | 0 | 2 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 2 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | среднее | ||
f(10,10,222222222 222211211 222211210)3(x,y,z) | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 1 | 1 | 2 | 1 | 1 | 2 | 2 | 2 | 2 | 1 | 1 | 2 | 1 | 0 | наибольшее |
Всего возможно простейших n-арных троичных функций.
К этим функциям относятся шифраторы и мультиплексоры.
Троичные функции.