Изменения
Нет описания правки
|statement= Любую монотонную самодвойственную функцию(self-'''D'''ual, '''M'''onotone) можно представить с использованием медианы(majority function, median operator).
|proof=
Единственная унарная функция из класса DM <tex> - </tex> проектор. С помощью медианы её можно выразить так:
<tex> p_1 = <x, x, x> </tex>.