نمودار عنکبوتی

در تصویر موجود، موارد زیر از نمودار اولر بدست می‌آیند:

${\displaystyle A\wedge B}$

${\displaystyle B\wedge C}$

${\displaystyle F\wedge E}$

${\displaystyle G\wedge F}$

در universe of discourse تعریف شده توسط نمودار اولر، درباره ترکیب فوق

همه حالات ممکنه در A از B و D از G به صورت جداگانه موجودند. مجموعه C فقط به صورت زیر مجموعه B موجود است. معمولاً در نمودارهای پیچیده singleton set و/یا ترکیب‌ها ممکن است با دیگر ترکیب‌ها نمایش داده شود. دو نمودار عنکبوتی در مثال مرتبط با منطق زیر چنین بیان می‌شود:

• عنکبوتی قرمز: ${\displaystyle (F\wedge E)\vee (G)\vee (D)}$
• عنکبوتی آبی: ${\displaystyle (A)\vee (C\wedge B)\vee (F)}$

• ویکی‌پدیای انگلیسی

• Brighton and Kent University - Euler Diagrams