Асинхронная логика: различия между версиями

[непроверенная версия][непроверенная версия]
Содержимое удалено Содержимое добавлено
Строка 10:
<center><math>x\,\angle\,y=1,</math>&nbsp; если &nbsp;&nbsp;<math>\,x=0/1</math>&nbsp; на фоне &nbsp;<math>\,y=1;</math></center>
 
<center><math>x\,\angle\,y=0,</math>&nbsp; если &nbsp;&nbsp;<math>\,x=0,</math>&nbsp; или &nbsp; <math>\,y=0,</math>&nbsp; или &nbsp;&nbsp;<math>y\,\angle\,x=1.</math></center>
 
2. Секвенция – это последовательность пропозициональных переменных (обрамление <math>\left\langle \right \rangle </math>), которая, будучи двоичной функцией, принимает единичное значение при следующей очерёдности переключений: