Секвенциальная логика: различия между версиями
| [непроверенная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
Wasu64 (обсуждение | вклад) |
Wasu64 (обсуждение | вклад) |
||
Строка 44:
Венъюнктор является основным операционным элементом памяти секвенциальной логики. Он реализуется на основании равенства
<math>x \land \left ( \bar{x} \lor x\,\angle\, y \right ) = x\,\angle\, y
Секвентор строится на основе композиции из соединённых определённым образом венъюнкторов. Например, для реализации
Строка 50:
секвентора <math>\left \langle x\, y\, z\, u\, v \right \rangle </math> пригодны следующие формулы:
<center><math>v\, \angle\, \left (u\, \angle\, \left (z\, \angle\, \left (y\, \angle\, x \right ) \right ) \right )</math> или <math>\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.</math>
== См. также ==
| |||