Как Вы вывели второе равенство?
То есть равенство II? Хм-хм... Не помню, это было лет 40 назад
(Оффтоп)
По-крайней мере тогда я читала Виленкина "Рассказы о множествах", популярную книжку. Очень вам ее рекомендую! Занимательно написана, я, помнится, на уроке (географии?) ее читала, за что и была ругана учительницей. И даже мой сын читает, хотя в любви ни к математике, ни к чтению замечен не был.
Даже не знаю, что тут объяснять. Слева записано множество, состоящее из элементов:
а) входящих в

и не входящих в

или
б) входящих в

и не входящих в

Что это означает? Что каждый из них входит хотя бы в одно из множеств

. Но не в оба сразу. Это - описание множества

. Да вы посмотрите, что такое "симметрическая разность", хоть в Вики (ссылку выше давала).