Доказать справедливость следующего равенства и проверить результат на диаграммах Эйлера-Венна.
.
Заменяя разность равносильной формулой, легко приходим к результату:
1) 
,
2) 
.
(Использовали закон де Моргана, дистрибутивный закон №7, закон №14: AÇ 
=V, закон №10: VÇA=Æ, закон №12: AÈV=A.)
Иллюстрируем справедливость этого равенства на диаграммах Эйлера-Венна.
Рис. 1.1.6
Область В\С обведена жирной линией, а область АÇ(В\С) заштрихована  .
|
|
| Область АÇВ обведена жирной линией, АÇС – пунктиром, а область (АÇВ)\(АÇС) заштрихована .
|
