Геометрия и логика: визуализация пересечений множеств