查看“︁蜘蛛图”︁的源代码

'''蜘蛛图'''比[[欧拉图]]多增加了[[存在]]点。这种点代表了[[欧拉图]]中的[[交集]]或是[[逻辑与]]（AND）條件，这些点的连接則代表了[[逻辑或]]（OR）條件。這些線連在一起形成像[[蜘蛛]]一样的形状，也就是這種圖被命名為蜘蛛圖的原因。
[[File:SpiderEuler.jpg|thumb|275px|叠加在欧拉图上的逻辑析取]]
舉例來說，在右圖存在以下交集

<math>A \land B</math><br />
<math>B \land C</math><br />
<math>F \land E</math><br />
<math>G \land F</math><br />

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

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

红蜘蛛:
<math>(F \land E) \lor (G) \lor (D)</math><br />

蓝蜘蛛:
<math>(A) \lor (C \land B) \lor (F)</math><br />

==進階讀物==
* 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 [https://web.archive.org/web/20120424023527/http://eprints.brighton.ac.uk/2864/1/D2K4SHTT.pdf here]

== 外部链接 ==
* [http://www.cs.kent.ac.uk/events/conf/2004/euler/eulerdiagrams.html Brighton and Kent University - Euler Diagrams] {{Wayback|url=http://www.cs.kent.ac.uk/events/conf/2004/euler/eulerdiagrams.html |date=20150923211342 }}

[[Category:图表]]