Изменения

Задача из ДЗ №2. Доказать, что любую {{Утверждение |statement= Любую монотонную самодвойственную функцию(self-'''D'''ual, '''M'''onotone), можно представить с использованием медианы(majority function, median operator). |proof= Для функций <tex> f Единственная унарная функция из класса DM - проектор. С помощью медианы её можно выразить так: \mathbb{B} \rightarrow \mathbb{B} </tex>, удовлетворяют DM <tex> p_1. p_1 = <x, x, x> </tex>.  Заметим, что для функций <tex> f : \mathbb{B}^2 \rightarrow \mathbb{B} </tex> , всего 2 монотонных самодвойственных функции

Из первого и второго пункта 1,2 видно, что подходят только функции <tex> p_1,p_2 </tex>

Для функций <tex> f : \mathbb{B}^3 \rightarrow \mathbb{B} </tex> только 4 функций Только четыре тернарные функции принадлежат классу DM.Рассмотрим эти функции ''':''' Заметим, что для всех таких функций