Изменения

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