Секвенциальная логика: различия между версиями
[непроверенная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
Wasu64 (обсуждение | вклад) |
|||
Строка 49:
секвентора <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></center>
== См. также ==
|