39
правок
Изменения
Нет описания правки
== Способы получения суперпозиций ==
Рассмотрим две [[Определение булевой функции|булевы функции]]:
функцию <tex>f</tex> от <tex>n</tex> аргументов <tex>f(x_{1}, x_{2}, ..., x_{n})</tex> и
функцию <tex>g</tex> от <tex>m</tex> аргументов <tex>g(x_{1}, x_{2}, ..., x_{m})</tex>.
== Ранги суперпозиций ==
Суперпозиция имеет ранг <tex>n</tex>, если минимальное число подстановок и отождествлений, за она может быть получена из исходного множества функций <tex>K</tex>, равно <tex>n</tex>. Обозначение: <tex>K^{n}</tex><br />
Например, <tex>K^{1}</tex> {{---}} множество суперпозиций, полученных из исходного множества <tex>K</tex> за одну подстановку или отождествление, <tex>K^{2}</tex> {{---}} множество суперпозиций, полученных из множества <tex>K \cup{K^{1}} </tex> за одну подстановку или отождествление и т.д.
