蜘蛛图

蜘蛛图比欧拉图多增加了存在点。这种点代表了欧拉图中的交集或是逻辑与（AND）条件，这些点的连接则代表了逻辑或（OR）条件。这些线连在一起形成像蜘蛛一样的形状，也就是这种图被命名为蜘蛛图的原因。

叠加在欧拉图上的逻辑析取

举例来说，在右图存在以下交集

$A\land B$
$B\land C$
$F\land E$
$G\land F$

除了上述指定的交集之外， A、B 和 D 到G 这些集合是可分开获得的，集合 C 只能是 B 的子集。在复杂的图中，单元素集合与/或合取经常有可能被其他集合组合所遮掩。

在这个例子中的两个蜘蛛分别对应于下列逻辑表达式:

红蜘蛛: $(F\land E)\lor (G)\lor (D)$

蓝蜘蛛: $(A)\lor (C\land B)\lor (F)$

进阶读物

• Stapleton, G. and Howse, J. and Taylor, J. and Thompson, S. What can spider diagrams say Proc. Diagrams, (2004) v. 168, pgs 169-219 Accessed on July 31, 2012 here

外部链接

• Brighton and Kent University - Euler Diagrams （页面存档备份，存于互联网档案馆）