Двойственная булева функция: различия между версиями
| [отпатрулированная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
→Двойственные системы функций: В тдф для произвольных множеств функций используется термин "система", а для замкнутых термин "класс". Такое употребление чаще встречается в источниках Метки: с мобильного устройства из мобильной версии через расширенный мобильный режим |
→Двойственные системы функций: Ещё одна замена класса на систему Метки: с мобильного устройства из мобильной версии через расширенный мобильный режим |
||
Строка 62:
* если система <math>K</math> полна в замкнутом классе <math>L</math>, то и <math>K^*</math> полна в замкнутом классе <math>L^*</math>;
* если система <math>K</math> базис в замкнутом классе <math>L</math>, то и <math>K^*</math> базис в замкнутом классе <math>L^*</math>.
Поэтому для самодвойственных замкнутых классов
* <math>\{\lnot, \lor\}</math> и <math>\{\lnot, \land\}</math>;
* <math>\{\oplus, \land, 1\}</math> и <math>\{\leftrightarrow, \lor, 0\}</math>;
| |||