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