39
правок
Изменения
Нет описания правки
}}
При подстановке подстановкледующие блоки: <br>е функции g вместо i-того аргумента функции f, результирующая функция h будет принимать аргументы, которые можно разделить на следующие блоки: <br>с
{|
|1. <tex> x_{1}, ..., x_{i-1}</tex>
|}
<tex> f(a,b) = a \vee b </tex> - первая исходная функция<br>
<tex> g(a) = \neg a </tex> - вторая исходная функция<br>
}}
<tex> f(a,b) = a \vee b </tex> - исходная функция<br>
<tex> h(a) = a \vee a </tex> - функция с отождествленными первым и вторым аргументами<br>