Компьютеры - Троичная логика - Связь с двоичной логикой23 января 2011
Оглавление: 1. Троичная логика 2. Алгебраические свойства 3. Связь с двоичной логикой
Три сдвига в троичной логике аналогичны двум инверсиям в двоичной логике: SHIFTF)) = NOT)
Физическая реализация троичных логических элементов
-
Троичные функции и троичная логика могут не иметь физической реализации, так оно и было до некоторого времени, подобная история была и с обычной двоичной логикой. При физической реализации троичным функциям в троичной логике соответствуют троичные логические элементы, в общем случае не обязательно электронные. Одними из основных логических элементов являются тождественные 0, 1 и 2 элементарные одноразрядные ПЗУ без перезаписи; унарные функции унарные инверторы.
Однопроводная трёхуровневая система
Логическая функция: инверсия Лукасевича
Логический элемент:
Логическая функция: цикл вверх
Логический элемент:
Логическая функция: цикл вниз
Логический элемент:
Логическая функция: сдвиг Грабба вверх
Логический элемент:
Логическая функция: сдвиг Грабба вниз
Логический элемент:
Логическая функция: TNAND Invented by Mouftah
Логический элемент:
Логическая функция: TNOR Also invented by Mouftah
Логический элемент:
Логическая функция: TOR
Логический элемент:
Логическая функция: TAND
Логический элемент:
Логическая функция: PZN Tri-Latch
Логический элемент:
Логическая функция: PZN Tri-Flop
Логический элемент: 12 однозатворных транзисторов или 6 двухзатворных транзисторов на 1 триггер
Бинарные однопроводные троичные логические элементы
Логическая функция: бинарная троичная логическая функция Вебба
Логический элемент: однопроводный трёхуровневый бинарный троичный логический элемент, выполняющий бинарную троичную логическую функцию Вебба
Двухпроводная двухразрядная система
Логическая функция: бинарная троичная функция Вебба
Логический элемент: бинарная троичная функция Вебба
Трёхпроводная трёхразрядная система
Нульарные троичные трёхразрядные логические элементы
Логическая функция: троичный тождественный ноль, f10 = 0
Логический элемент: трёхразрядный ноль
Логическая функция: троичная тождественная единица, f10 = 1
Логический элемент: трёхразрядная единица
Логическая функция: троичная тождественная двойка, f10 = 2
Логический элемент: трёхразрядная двойка
Унарные троичные трёхразрядные логические элементы
Логическая функция: троичное ДА, YES, повторитель, f10 = ДА = x
Логический элемент: трёхразрядный повторитель
Логическая функция: неполная инверсия около нуля, нулевая инверсия Лукасевича в соответствии н2, f10 = NOTL02н
Логический элемент: инвертор NOTL02н
Логическая функция: неполная инверсия около единицы, f10
Логический элемент:
Логическая функция: неполная инверсия около двойки, f10
Логический элемент:
Логическая функция: f10 = ВРАН = ROTB = ROTD = NOTB
Логический элемент:
Логическая функция: f10 = ВРАВ = ROTF = ROTU = NOTF
Логический элемент:
Бинарные троичные трёхразрядные логические элементы
Логическая функция: f10=ДА1=x
Логический элемент: ДА1
Логическая функция: f10=ДА2=y
Логический элемент: ДА2
Логическая функция: детектор равенства 20, f10
Логический элемент: детектор равенства 20
Логическая функция: троичная бинарная функция Вебба, f10 = Webb
Логический элемент: троичный трёхразрядный бинарный элемент, выполняющий функцию Вебба Webb. Может быть перепрограммирован для выполнения любой троичной трёхразрядной бинарной функции.
Логическая функция: троичное бинарное сложение по модулю 3 в несимметричной троичной системе счисления, f10 = summod3n
Логический элемент: троичный трёхразрядный одноединичный сумматор по модулю 3 в несимметричной троичной системе счисления
Тринарные троичные трёхразрядные логические элементы
Логическая функция: троичный несимметричный одноразрядный полный сумматор
Логический элемент: троичный несимметричный трёхразрядный одноразрядный полный сумматор
Троичный одноразрядный тринарный сумматор работающий в троичной симметричной системе счисления Фибоначчи в трёхбитной одноединичной системе троичных логических элементов
Логическая функция: троичный симметричный одноразрядный полный сумматор
Логический элемент: одноразрядный троичный тринарный сумматор в троичной симметричной системе счисления в трёхбитной одноединичной системе троичных логических элементов.
Применение троичных логических элементов
Троичные логические элементы "повторитель", "сдвиг вперёд" и "сдвиг назад" в трёхбитной одноединичной системе троичных логических элементов применяются в троичных двухступенчатых счётных триггерах.
См. также
- Двоичная логика
- Троичные функции
- Троичная система счисления
- Троичный разряд
- Троичный триггер
- Сумматор#Троичный сумматор
- Троичная ЭВМ
- Сетунь
- Многозначная логика
Примечания
- ↑ http://jeff.tk:81/wiki/Trinary/Circuits#D.3.2._Inverters Figure D.5. Ternary inverters: positive, simple, and negative with R = 12 kΩ. A subcircuit with an inverter symbol is based on this circuit. Schematic created in SwCAD.
- ↑ http://jeff.tk:81/wiki/Trinary/Circuits#D.3.4._Cycling_Gates Figure D.17. Cycle up gate, function 01/1, from Mouftah
- ↑ http://jeff.tk:81/wiki/Trinary/Circuits#D.3.4._Cycling_Gates Figure D.18. Cycling down gate, function 1/10, from Mouftah
- ↑ http://jeff.tk:81/wiki/Trinary/Circuits#D.3.5._Shift_Gates Figure D.23. Schematic for Grubb’s shift up gate implemented using Mouftah’s unary gates.
- ↑ http://jeff.tk:81/wiki/Trinary/Circuits#D.3.5._Shift_Gates Figure D.24. Schematic for Grubb’s shift down gate implemented using Mouftah’s unary gates.
- ↑ http://jeff.tk:81/wiki/Trinary/Circuits#D.4.1._TNAND Figure D.26. TNAND Schematic in SwCAD III
- ↑ http://jeff.tk:81/wiki/Trinary/Circuits#D.4.2._TNOR Figure D.34. TNOR schematic made in SwCAD.
- ↑ Trinary/Circuits - Jeff.tk
- ↑ Trinary/Circuits - Jeff.tk
- ↑ http://jeff.tk:81/wiki/Trinary/Circuits#D.5.1._PZN_Tri-Latch Figure D.45. PZN tri-flop, from Mouftah’s Image:Mouftah-8a-PZN Tri-flop.png from Mouftah’s patent
- ↑ http://jeff.tk:81/wiki/Trinary/Circuits#D.5.2._PZN_Tri-Flop Figure D.48. Mouftah’s clocked PZN tri-flop, from Image:Mouftah-9-Clocked PZN Tri-flop.png.
- ↑ А.С.Куликов. Троичные Т-триггеры
- ↑ Троичный трёхбитный счётный триггер Dtrig+3x2AND)+Dtrig+3x2OR) с прямым счётом
Ссылки
- Ресурс, посвященный троичной логике
- Ресурс, посвященный троичной информатике и цифровой технике
- Практическое применение троичной логики и её преимущества над двоичной
- Сайт TernaryComp Брусенцова Николая Петровича
- Tunguska the ternary computer emulator
Литература
- Васильев Н. И. Воображаемая логика. — М.: Наука, 1989.
- Карпенко А. С. Многозначные логики // Логика и компьютер. Вып. №4. — М.: Наука, 1997.
- Кэррол Льюис Символическая логика // Льюис Кэррол. История с узелками. — М.: Мир, 1973.
- Лукасевич Я. Аристотелевская силлогистика с точки зрения современной формальной логики. — М.: Иностранная литература, 1959.
- Слинин Я. А. Современная модальная логика. — Л.: Издательство Ленинградского университета, 1976.
- Стяжкин Н. И. Формирование математической логики. — М.: Наука, 1967.
- http://exsolver.narod.ru/Books/Other/Logica/index.html Гетманова А. Д. Логика. Учебник. М.,. Глава X. § 5. Многозначные логики.
Просмотров: 3855
|