Изменения

'''Суперпозиция (сложная функция)''' {{- --}} это функция, полученная из некоторого множества функций путем подстановки одной функции в другую или отождествления переменных.

'''ПодстановкийПодстановкой''' функции <tex>g</tex> в функцию <tex>f</tex> называется замена i-того аргумента функции <tex>f</tex> функцией значением функции <tex>g</tex>:<br>

<tex> f(a,b) = a \vee b </tex> {{- --}} первая исходная функция<br><tex> g(a) = \neg a </tex> {{--- }} вторая исходная функция<br><tex> h(a,b) = f(a,g(b)) = a \vee \neg b </tex> {{--- }} подстановка функции <tex>g</tex> вместо второго аргумента функции <tex>f</tex><br>

<tex> f(a,b) = a \vee b </tex> {{- --}} исходная функция<br><tex> h(a) = a \vee a </tex> {{--- }} функция с отождествленными первым и вторым аргументами<br>Очевидно, в данном примере мы получили функцию <tex>P_{1}</tex> {{- --}} проектор единственного аргумента.

Например, <tex>K^{1}</tex> {{--- }} множество суперпозиций, полученных из исходного множества <tex>K</tex> за одну подстановку или отождествление, <tex>K^{2}</tex> {{--- }} множество суперпозиций, полученных из множества <tex>K \cup{K^{1}} </tex> за одну подстановку или отождествление и т.д.