蜘蛛图
蜘蛛圖比歐拉圖多增加了存在點。這種點代表了歐拉圖中的交集或是邏輯與（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)}