Доказательство тождеств в теории множеств с помощью диаграмм Эйлера-Венна

Диаграммы Эйлера-Венна применяются не только в теории множеств, но и в логике