Изменения

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

Суперпозиции

6 байт убрано, 22:45, 7 октября 2011
Нет описания правки
}}
При подстановке подстановкледующие блоки: <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>
39
правок

Навигация