Интернет магазин китайских планшетных компьютеров



Компьютеры - Троичная логика - Связь с двоичной логикой

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 триггер

Бинарные однопроводные троичные логические элементы

1pWebbt.jpg

Логическая функция: бинарная троичная логическая функция Вебба
Логический элемент: однопроводный трёхуровневый бинарный троичный логический элемент, выполняющий бинарную троичную логическую функцию Вебба

Двухпроводная двухразрядная система

2bwebb2l.jpg

Логическая функция: бинарная троичная функция Вебба
Логический элемент: бинарная троичная функция Вебба

Трёхпроводная трёхразрядная система

Нульарные троичные трёхразрядные логические элементы

Trehbitnyi0.jpg

Логическая функция: троичный тождественный ноль, f10 = 0
Логический элемент: трёхразрядный ноль

Trehbitnaja1.jpg

Логическая функция: троичная тождественная единица, f10 = 1
Логический элемент: трёхразрядная единица

Trehbitnaja2.jpg

Логическая функция: троичная тождественная двойка, f10 = 2
Логический элемент: трёхразрядная двойка

Унарные троичные трёхразрядные логические элементы

Trehbitnoe=.jpg

Логическая функция: троичное ДА, YES, повторитель, f10 = ДА = x
Логический элемент: трёхразрядный повторитель

3b inv Luk.jpg

Логическая функция: неполная инверсия около нуля, нулевая инверсия Лукасевича в соответствии н2, f10 = NOTL02н
Логический элемент: инвертор NOTL02н

3b inv NOT+.jpg

Логическая функция: неполная инверсия около единицы, f10
Логический элемент:

3b inv NOT-.jpg

Логическая функция: неполная инверсия около двойки, f10
Логический элемент:

3b inv ROTB.jpg

Логическая функция: f10 = ВРАН = ROTB = ROTD = NOTB
Логический элемент:

3b inv ROTF.jpg

Логическая функция: f10 = ВРАВ = ROTF = ROTU = NOTF
Логический элемент:

Бинарные троичные трёхразрядные логические элементы

F10.jpg

Логическая функция: f10=ДА1=x
Логический элемент: ДА1

F10.jpg

Логическая функция: f10=ДА2=y
Логический элемент: ДА2

3BDet=20.jpg

Логическая функция: детектор равенства 20, f10
Логический элемент: детектор равенства 20

Webb3bd.jpg

Логическая функция: троичная бинарная функция Вебба, f10 = Webb
Логический элемент: троичный трёхразрядный бинарный элемент, выполняющий функцию Вебба Webb. Может быть перепрограммирован для выполнения любой троичной трёхразрядной бинарной функции.

3bsumm3l.jpg

Логическая функция: троичное бинарное сложение по модулю 3 в несимметричной троичной системе счисления, f10 = summod3n
Логический элемент: троичный трёхразрядный одноединичный сумматор по модулю 3 в несимметричной троичной системе счисления

Тринарные троичные трёхразрядные логические элементы

3bps.jpg
3bpsl.jpg

Логическая функция: троичный несимметричный одноразрядный полный сумматор
Логический элемент: троичный несимметричный трёхразрядный одноразрядный полный сумматор

Троичный одноразрядный тринарный сумматор работающий в троичной симметричной системе счисления Фибоначчи в трёхбитной одноединичной системе троичных логических элементов

Логическая функция: троичный симметричный одноразрядный полный сумматор
Логический элемент: одноразрядный троичный тринарный сумматор в троичной симметричной системе счисления в трёхбитной одноединичной системе троичных логических элементов.

Применение троичных логических элементов

Троичные логические элементы "повторитель", "сдвиг вперёд" и "сдвиг назад" в трёхбитной одноединичной системе троичных логических элементов применяются в троичных двухступенчатых счётных триггерах.

См. также

  • Двоичная логика
  • Троичные функции
  • Троичная система счисления
  • Троичный разряд
  • Троичный триггер
  • Сумматор#Троичный сумматор
  • Троичная ЭВМ
  • Сетунь
  • Многозначная логика

Примечания

  1. ↑ 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.
  2. ↑ http://jeff.tk:81/wiki/Trinary/Circuits#D.3.4._Cycling_Gates Figure D.17. Cycle up gate, function 01/1, from Mouftah
  3. ↑ http://jeff.tk:81/wiki/Trinary/Circuits#D.3.4._Cycling_Gates Figure D.18. Cycling down gate, function 1/10, from Mouftah
  4. ↑ 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.
  5. ↑ 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.
  6. ↑ http://jeff.tk:81/wiki/Trinary/Circuits#D.4.1._TNAND Figure D.26. TNAND Schematic in SwCAD III
  7. ↑ http://jeff.tk:81/wiki/Trinary/Circuits#D.4.2._TNOR Figure D.34. TNOR schematic made in SwCAD.
  8. ↑ Trinary/Circuits - Jeff.tk
  9. ↑ Trinary/Circuits - Jeff.tk
  10. ↑ 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
  11. ↑ 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.
  12. ↑ А.С.Куликов. Троичные Т-триггеры
  13. ↑ Троичный трёхбитный счётный триггер 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


<<< Арифметико-логический способ представления троичных функций
Троичные функции >>>