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

Перейти к навигации Перейти к поиску
 
секвентора <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>, &nbsp;&nbsp;\quad или &nbsp;&nbsp; <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>
 
<center><math>v\, \angle\, \left (u\, \angle\, \left (z\, \angle\, \left (y\, \angle\, x \right ) \right ) \right )</math> &nbsp;&nbsp; или &nbsp;&nbsp; <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>
 
== См. также ==
93

правки

Навигация