По сути там где ты поставил вопрос там тоже можно ставить кружок. На всех схемах Не Х и Не М будет пересекаться. Об этом и писал ЛК, что привело его к ограничению -Не в границах.
Ну это смотря как ЛК строит универсум (U). В общем случае "не Х и одновременно не М" может:— существовать — значит имеет место третье множество/свойство/предикат U-X-M— не существовать — U=X+M