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

 
секвентора <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 ), \quad, \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>
 
== См. также ==
93

правки