Управління та безпека: відмінності між версіями
Вилучено вміст Додано вміст
Немає опису редагування Мітка: Скасовано |
Немає опису редагування Мітка: Ручний відкіт |
||
Рядок 186:
* <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>.
| |||