मकड़ी आरेख
गणित में ऐकिक मकड़ी आरेख (यूनिटरी स्पाइडर डायग्राम) आयलर अथवा वेन आरेख पर अस्तित्व बिन्दु जोड़ता है। बिन्दु आयलर आरेख में कंटूरों का सर्वनिष्ठ की विशेषता के अस्तित्व को निरूपित करता है। ये बिन्दु मिलकर मकड़ी जैसी आकृति निर्मित करते हैं। संयुक्त बिन्दु "अथवा" तर्क को निरूपित करता है जिसे तर्क संगत वियोजन के रूप में जाना जाता है। एक मकड़ी आरेख ऐकिक मकड़ी आरेखों सहित तार्किक संकेत ∧ , ∨ , ¬ {\displaystyle \land ,\lor ,\lnot } को शामिल करने वाले बूलीय व्यंजक है। उदाहरण के लिए, इसमें दो मकड़ी अरेखों का संयोजन, दो मकड़ी आरेखों का वियोजन अथवा मकड़ी आरेख का निषेध भी हो सकता है।