Аналитическое доказательство справедливости приведенных формул может опираться на доказательство равенства двух множеств. Однако, проще проиллюстрировать свойства булевых операций, используя диаграммы Эйлера–Венна. Например, справедливость теорем де Моргана вполне очевидна прямо из рисунка 1.4.
, 
.
, 
.
, 
,
, 
,
, 
.
), 
.
, 
,
.
Аналитическое доказательство справедливости приведенных формул может опираться на доказательство равенства двух множеств. Однако, проще проиллюстрировать свойства булевых операций, используя диаграммы Эйлера–Венна. Например, справедливость теорем де Моргана вполне очевидна прямо из рисунка 1.4.