Изменения

Перейти к: навигация, поиск

Определение булевой функции

1247 байт добавлено, 18:03, 28 декабря 2017
Суперпозиции
=== Суперпозиции ===
{{main|Суперпозиции}}
{{Определение
|definition =
'''Суперпозиция функций, композиция функций''' (англ. ''function composition'') {{---}} функция, полученная из некоторого множества функций путем подстановки одной функции в другую или отождествления переменных.
}}
Множество всех возможных не эквивалентных друг другу суперпозиций данного множества функций образует [[Представление функции формулой, полные системы функций|замыкание]] данного множества функций.
{{main|Суперпозиции}}Пусть нам дан некоторый набор булевых функций <tex>F</tex>. Получить новую функцию, являющеюся композицией функций из <tex>F</tex>, мы можем следующими способами:*Подстановкой одной функции в качестве некоторого аргумента для другой;*Отождествлением аргументов функций.
=== Полнота системы, критерий Поста ===
61
правка

Навигация