|
=== Секвенция ===
{{Другие значения|Секвенция}}
Секвенция ({{lang-la|sequentia – последовательность}}) – это последовательность пропозициональных элементов, представляемая упорядоченным множеством, например,
упорядоченным множеством, например, <math>\left\langle x\right\rangle = \left\langle x_1\,x_2\,\ldots\, x_\mathrm n\right\rangle</math>, где <math>x_i\in\left \{0,1\right \}</math>. Посредством секвенции реализуется двоичная
Посредством секвенции реализуется двоичная функция <math>z=\varphi\left(\left\langle x\right\rangle\right)</math>, такая, что <math>\,z=1</math> имеет место только в случае <math>\left(x_1\land x_2\land\,\ldots\, x_\mathrm n\right)=1</math> при условии, что
<math>\left(x_1\land x_2\land\,\ldots\, x_\mathrm n\right)=1</math> при условии, что <math>\left(x_i=1\right)\prec\left(x_j=1\right)</math> для всех <math>\mathrm{\,i<j}</math>. (Символ <math>\prec</math> задаёт отношение опережения). Секвенциальная функция обращается в единицу
Секвенциальная функция обращается в единицу при единичных значениях аргументов, установка которых осуществляется поочерёдно, начиная с <math>\,x_1</math> и заканчивая <math>\,x_\mathrm n </math>. Во всех остальных
начиная с <math>\,x_1</math> и заканчивая <math>\,x_\mathrm n </math>. Во всех остальных случаях — <math>\,z=0</math>.
=== Венъюнкция ===
|
