Секвенциальная логика: различия между версиями
[непроверенная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
Wasu64 (обсуждение | вклад) |
Wasu64 (обсуждение | вклад) |
||
Строка 18:
Секвенция ({{lang-la|sequentia – последовательность}}) – это последовательность пропозициональных элементов, представляемая
упорядоченным множеством, например, <math>\left\langle x\right\rangle = \left\langle x_1\,x_2\,\ldots\, x_\mathrm n\right\rangle
Посредством секвенции реализуется двоичная функция <math>z=\varphi\left(\left\langle x\right\rangle\right)</math>, такая, что <math>\,z=1</math> имеет место только в случае
|