Видимо, я не понял, в чем вопрос. Если Вас интересует, чему равно множество A\(B*C), то, в предположении, что они все являются подномжествами множества M, изобразите их в виде кругов Эйлера. На кругах все три множества должны пересекаться (вообще, иногда полезно думать, что любые два множества пересекаются, просто пересечение может быть пустым. не надо буквально воспринимать пересечение кругов Эйлера на рисунке - это пересечение может быть вполне пустым). Изобразите это все на бумаге, заштрихуйте то самое A\(B*C), а дальше посмотрите на рисунок и подумайте, как еще можно записать то, что Вы там заштриховали.