'''Диаграмма Венна''' — это схема логических выражений из отрицаний и конъюнкций.
== Обозначения: ==
*'''A, B, C'''— события;*'''\bar A, \bar B, \bar C'''— отрицания событий;*'''ABС, AB\bar С, …, \bar A\bar B\bar C''' — конъюнкции событий;*'''U'''— универсальное событие, включающее все события.
== Виды диаграмм: ==
=== Для одного события ===