61
правка
Изменения
→Суперпозиции
Множество всех возможных не эквивалентных друг другу суперпозиций данного множества функций образует [[Представление функции формулой, полные системы функций|замыкание]] данного множества функций.
Пусть нам дан некоторый набор булевых функций <tex>FK</tex>. Получить новую функцию, являющеюся композицией функций из <tex>FK</tex>, мы можем следующими способами:
*Подстановкой одной функции в качестве некоторого аргумента для другой;
*Отождествлением аргументов функций.
