1679
правок
Изменения
м
<s> P.S. У меня такое чувство, что классу DM принадлежат только проекторы и их комбинации(точнее, дизъюнкция попарных конъюнкций). Если представить вектора значений аргументов в виде n - мерного куба, то если функция на всех его гранях, содержащих вершину <tex> (1 \dots 1) </tex>, будет равна 1, то на противоположной грани, везде будет 0. Это для проекторов. А дизъюнкция попарных конъюнкций проекторов - попарные пересечения граней, то есть все ребра n-мерного куба, содержащие вершину <tex> (1 \dots 1) </tex>. Такая функция также будет самодвойственной и монотонной. Не знаю только как более математически это обосновать. </s>
Не, это немного гон, хотя проекторы действительно такие.
Нет описания правки
* <tex> b = c \ne a </tex> - симметричный случай.
Все!
Вот 1й проектор для n = 4.
