Википедия

Секвенциальная логика: различия между версиями

Интерактивная навигация по истории
[непроверенная версия][непроверенная версия]
← Предыдущая правкаСледующая правка →
Содержимое удалено Содержимое добавлено
ВизуальныйВики-текст
→‎Cсылки: более не распознаётся как изолированная статья, Replaced: {{rq|cat|coord|img|infobox|iwiki|linkless|stub|style|sources|wikify|renew}} → {{rq|cat|coord|img|infobox|iwiki|stub|style|sources|wi
Нет описания правки
Строка 32:
Венъюнкция – это асимметрическая логико-динамическая операция <math>\angle</math>, согласно которой связка <math>x\,\angle\,y</math> принимает единичное значение только в случае <math>x\,\land\,y=1</math> при условии, что в момент установления равенство уже имело место. Истинность венъюнкции обусловлена переключением <math>\,x=0/1</math> на фоне <math>\,y=1</math>.
 
Венъюнкция и минимальная (двухэлементная) секвенция функционально идентичны: <math>\left(x\,\angle\,y \right) = \left \langle y\,x \right \rangle </math>.
 
=== Реализация ===
Строка 39:
Он реализуется на основании равенства <math>x \land \left ( \bar{x} \lor x\,\angle\, y \right ) = x\,\angle\, y </math>, где формула <math>\left ( \bar{x} \lor x\,\angle\, y \right )</math> представляет функцию SR-триггера.
 
Секвентор строится на основе композиции из соединённых определённым образом венъюнкторов. Например, для реализации секвентора <math>\left \langle x\, y\, z\, u\, v \right \rangle </math> пригодны следующие формулы:

<math>v\, \angle\, \left (u\, \angle\, \left (z\, \angle\, \left (y\, \angle\, x \right ) \right ) \right )</math> или <math>\left \langle \left \langle x\,y \right \rangle \land \left \langle y\,z \right \rangle \land \left \langle z\,u \right \rangle \land \left \langle u\,v \right \rangle \right \rangle)</math>.
 
== См. также ==
Источник — https://ru.wikipedia.org/wiki/Секвенциальная_логика