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

در ریاضیات نمودار عنکبوتی نقاط ادامه یافته را به نمودار اولز یا یک نمودار ون می افزاید. نقاط نمایش دهنده، موارد توسط برخورد خطوط موجود در نمودار اولر هستند. این نقاط با اتصال به یکدیگر فرم و شکلی مانند تار عنکبوت می سازند.
نقاط متصل شده نمایش دهندهٔ وضعیت یا هستند که به عنوان فصل منطقی نیز شناخته می شود. نمودار عنکبوتی یک بیان بولین که شامل نمودار عنکبوتی اتحادگرا و نشان های منطقی ∧ , ∨ , ¬ است. برای مثال امکان دارد دو نمودار عنکبوتی با هم ترکیب شوند یا ترکیب نشوند یا نفی یک نمودار عنکبوتی دیگر باشند.
در تصویر موجود، موارد زیر از نمودار اولر بدست می آیند:
در universe of discourse تعریف شده توسط نمودار اولر، درباره ترکیب فوق
همه حالات ممکنه در A از B و D از G به صورت جداگانه موجودند. مجموعه C فقط به صورت زیر مجموعه B موجود است. معمولاً در نمودارهای پیچیده singleton set و/یا ترکیب ها ممکن است با دیگر ترکیب ها نمایش داده شود. دو نمودار عنکبوتی در مثال مرتبط با منطق زیر چنین بیان می شود:
• عنکبوتی قرمز: ( F ∧ E ) ∨ ( G ) ∨ ( D ) {\displaystyle ( F\land E ) \lor ( G ) \lor ( D ) }
• عنکبوتی آبی: ( A ) ∨ ( C ∧ B ) ∨ ( F ) {\displaystyle ( A ) \lor ( C\land B ) \lor ( F ) }