维基百科，自由的百科全书
蜘蛛图向欧拉图增加了存在点。这种点指示在欧拉图中的轮廓线的交集所描述的属性的存在。这些点可以连接在一起形成像蜘蛛一样的形状。它们表示 OR 条件，这也叫做逻辑析取。
在图像中展示了从欧拉图中体现的下列合取。
在这个欧拉图定义的论域中，除了上述指定的合取之外，从 A 到 B 和 D 到 F 的所有可能集合是可分开获得的。集合 C 只获得为 B 的子集。在复杂的图中，单元素集合与/或合取经常有可能被其他集合组合所遮掩。
在这个例子中的两个蜘蛛对应于下列逻辑表达式:
红蜘蛛: 
蓝蜘蛛: 
[编辑] 外部链接
