Для наглядности оставим только исходные переменные и результат A B W ---------…

Диаграмма: левый круг — множество, где , правый круг — где . Области диаграммы:

• только (вне ): , ;
• пересечение: , ;
• только (вне ): , ;
• вне обоих кругов: , .

Выражение истинно () только в строке , . Это область «только »: часть левого круга, не входящая в правый.

Выражение: $\overline{}$.

Остальные области (пересечение, только и область вне кругов) не закрашиваем, так как там .