Управління та безпека: відмінності між версіями
Вилучено вміст Додано вміст
Рядок 180:
* <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>:.
Можна визначити формули:
* <math>[\sim\Pi]x\to\sim[\Pi]x</math>
* <math>[\sim\sim\Pi]x\leftrightarrow \Pi[x]</math>
* <math>[\Pi_{1}\,\And\,\Pi_{2}]x\leftrightarrow [\Pi_{1}]x\,\And\,[\Pi_{2}]x</math>
* <math>[\sim(\Pi_{1}\,\And\,\Pi_{2})]x\leftrightarrow [\Pi_{1}\,\And\,\sim\Pi_{2}]x\lor [\sim \Pi_{1}\,\And\,\sim\Pi_{2}]x</math>.
| |||