Наглядная интерпретация основных соотношений булевых переменных представлена на диаграммах Венна.
Класс булевых переменных определяется как класс, включающий все области внутри квадрата (рис.1).
рис.1.
Любой элемент А этого класса представлен областью, ограниченной замкнутой кривой. - совокупность точек квадрата, не входящих в область А.
Здесь 0 представлен как класс, совсем не имеющий точек, а 1 – как класс всех точек квадрата.
А+В – наименьшая область, содержащая одновременно А и В.
АВ – наибольшая область, содержащаяся одновременно и в А, и в В. Диаграм-мы Венна для элементарных булевых функций изображены на рис.2:
а) б) в) г) д) рис.2.