Класс функций, сохраняющих константу
Определение: Функция f(x1, x2,…,xn) сохраняет константу a ⇔ f(a, a,…,a) = a, a?{0,1}
Теорема: Класс функций, сохраняющих константу, замкнут относительно суперпозиции.
Доказательство: пусть функции f(x1, x2,…,xn), gi(x1, x2,…,xn), i=1..n сохраняют константу а, тогда их суперпозиция h = f(g1, g2,…,gn) тоже сохраняет константу а, ибо h(a, a,…,a) = f(g1(a, a,…,a), g2(a, a,…,a),…,gn(a, a,…,a)) = f(a, a,…,a) = a
- Класс монотонных функций и его замкнутость относительно суперпозиции
- Класс самодвойственных функций и его замкнутость относительно суперпозиции. Критерий самодвойственности. Лемма о несамодвойственной функции.
- Класс линейных функций и его замкнутость относительно суперпозиции
- Теорема Поста о функциональной полноте
- Суперпозиция функций. Функционально замкнутые классы
- Двойственные функции. Теорема о суперпозиции двойственных функций. Принцип двойственности
- Примеры универсальных алгебр, подалгебры, гомоморфизм и изоморфизм алгебр
- Функции и отношения, их свойства
- Определение ?(?) – функций, кусочно-линейной функции
- Раскраска графов, хроматическое число и хроматический класс
- Функции алгебры логики
- Описание систем с помощью передаточных функций
- Преобразование задачи нелинейного программирования при помощи функций штрафов в последовательность задач безусловной оптимизации
- Минимизация функций без вычисления производных
- Применений функций Net в коде Win32
- СДНФ и СКНФ
- Фундаментальная система решений, общее решение однородного и неоднородного ЛРУ с помощью ФСР