Управління та безпека: відмінності між версіями
Вилучено вміст Додано вміст
Немає опису редагування Мітка: Ручний відкіт |
|||
Рядок 179:
* <math>[\Pi]a</math> читається як "<math>a</math> здійснює дію <math>\Pi</math>";
* <math>[\Pi_{1}\,\And\,\Pi_{2}]a</math> читається "<math>a</math> здійснює дію <math>\Pi_{1}</math> та дію <math>\Pi_{2}</math>";
* <math>[\sim\Pi]a</math> читається "<math>a</math> утримується від здійснення дії <math>\Pi</math>
Можна визначити формули:
| |||