蜘蛛图维基百科,自由的 encyclopedia 蜘蛛图比欧拉图多增加了存在点。这种点代表了欧拉图中的交集或是逻辑与(AND)条件,这些点的连接则代表了逻辑或(OR)条件。这些线连在一起形成像蜘蛛一样的形状,也就是这种图被命名为蜘蛛图的原因。 叠加在欧拉图上的逻辑析取 举例来说,在右图存在以下交集 A ∧ B {\displaystyle A\land B} B ∧ C {\displaystyle B\land C} F ∧ E {\displaystyle F\land E} G ∧ F {\displaystyle G\land F} 除了上述指定的交集之外, A、B 和 D 到G 这些集合是可分开获得的,集合 C 只能是 B 的子集。在复杂的图中,单元素集合与/或合取经常有可能被其他集合组合所遮掩。 在这个例子中的两个蜘蛛分别对应于下列逻辑表达式: 红蜘蛛: ( F ∧ E ) ∨ ( G ) ∨ ( D ) {\displaystyle (F\land E)\lor (G)\lor (D)} 蓝蜘蛛: ( A ) ∨ ( C ∧ B ) ∨ ( F ) {\displaystyle (A)\lor (C\land B)\lor (F)}
蜘蛛图比欧拉图多增加了存在点。这种点代表了欧拉图中的交集或是逻辑与(AND)条件,这些点的连接则代表了逻辑或(OR)条件。这些线连在一起形成像蜘蛛一样的形状,也就是这种图被命名为蜘蛛图的原因。 叠加在欧拉图上的逻辑析取 举例来说,在右图存在以下交集 A ∧ B {\displaystyle A\land B} B ∧ C {\displaystyle B\land C} F ∧ E {\displaystyle F\land E} G ∧ F {\displaystyle G\land F} 除了上述指定的交集之外, A、B 和 D 到G 这些集合是可分开获得的,集合 C 只能是 B 的子集。在复杂的图中,单元素集合与/或合取经常有可能被其他集合组合所遮掩。 在这个例子中的两个蜘蛛分别对应于下列逻辑表达式: 红蜘蛛: ( F ∧ E ) ∨ ( G ) ∨ ( D ) {\displaystyle (F\land E)\lor (G)\lor (D)} 蓝蜘蛛: ( A ) ∨ ( C ∧ B ) ∨ ( F ) {\displaystyle (A)\lor (C\land B)\lor (F)}