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_y_{1}, x_y_{2}, ..., x_y_{m})</tex>.
|-
|2. <tex> x_{i}, ..., x_{i+m-1} </tex>
|– используются как аргументы для вставленной функции <tex>g(x_y_{i1}, ..., x_y_{i+m-1})</tex>
|-
|3. <tex> x_{i+m}, ..., x_{n+m-1} </tex>
'''Отождествлением переменных''' называется подстановка i-того аргумента функции <tex>f</tex> вместо j-того аргумента:
<center><tex>h(x_{1}, ..., x_{n-1}) = f(x_{1}, ..., x_{i}, ..., x_{j-1}, x_{i}, x_{j+1}, ..., x_{n-1})</tex></center>
}}
