ज़ेकालकिन बहुपद

ज़ेगल्किन (ज़ेगल्किन, गेगल्किन या शेगल्किन भी बहुपद (полиномы Жегалкина), बीजगणितीय सामान्य रूप के रूप में भी जाना जाता है, बूलियन बीजगणित में कार्यों का प्रतिनिधित्व है। 1927 में रूसी गणितज्ञ इवान इवानोविच ज़ेगाल्किन द्वारा पेश किया गया, वे बहुपद वलय हैं # मॉड्यूलर अंकगणित पर परिभाषा # पूर्णांक मॉड्यूलो एन। मॉड्यूलर अंकगणितीय परिणाम के परिणामी अध: पतन के कारण Zhegalkin बहुपद साधारण बहुपदों की तुलना में सरल होते हैं, जिनमें न तो गुणांक और न ही घातांक की आवश्यकता होती है। गुणांक बेमानी हैं क्योंकि 1 एकमात्र अशून्य गुणांक है। एक्सपोनेंट बेमानी हैं क्योंकि अंकगणित मोड 2, x में2 = एक्स। इसलिए एक बहुपद जैसे 3x 2और5z सर्वांगसम है, और इसलिए इसे xyz के रूप में फिर से लिखा जा सकता है।

बूलियन समकक्ष
1927 से पहले, बूलियन बीजगणित को तार्किक संयुग्मन, तार्किक संयोजन, तार्किक निषेध, और इसी तरह के तार्किक संचालन के साथ तार्किक मूल्यों का एक कलन माना जाता था। Zhegalkin ने दिखाया कि सभी बूलियन परिचालनों को सामान्य संख्यात्मक बहुपदों के रूप में लिखा जा सकता है, जो 0 और 1 के रूप में झूठे और सच्चे मानों का प्रतिनिधित्व करते हैं, पूर्णांक मोड 2। तार्किक संयोजन xy के रूप में लिखा जाता है, और तार्किक अनन्य या अनन्य-या अंकगणितीय जोड़ मॉड 2 के रूप में लिखा जाता है।, (यहां x⊕y के रूप में लिखा गया है ताकि + के सामान्य उपयोग के साथ भ्रम से बचने के लिए समावेशी-या ∨ के समानार्थी के रूप में)। तार्किक पूरक ¬x तब x⊕1 है। चूंकि ∧ और ¬ बूलियन बीजगणित के लिए एक आधार बनाते हैं, अन्य सभी तार्किक संचालन इन मूल संचालनों की रचनाएं हैं, और इसलिए साधारण बीजगणित के बहुपद सभी बूलियन संचालनों का प्रतिनिधित्व कर सकते हैं, जिससे प्राथमिक बीजगणित का उपयोग करके बूलियन तर्क को निष्पादित किया जा सकता है।

उदाहरण के लिए, बूलियन 2-आउट-ऑफ-3 थ्रेशोल्ड या माध्यिका संक्रिया को Zhegalkin बहुपद xy⊕yz⊕zx के रूप में लिखा जाता है।

औपचारिक गुण
औपचारिक रूप से एक झेगाल्किन मोनोमियल विशिष्ट चरों के एक परिमित सेट का उत्पाद है (इसलिए वर्ग-मुक्त बहुपद | वर्ग-मुक्त), जिसमें खाली सेट शामिल है जिसका उत्पाद 1 दर्शाया गया है। 2 हैंn संभव Zhegalkin monomials n चरों में, क्योंकि प्रत्येक एकपदी पूरी तरह से प्रत्येक चर की उपस्थिति या अनुपस्थिति द्वारा निर्दिष्ट है। एक Zhegalkin बहुपद Zhegalkin monomials के एक सेट का योग (अनन्य-या) है, जिसमें खाली सेट को 0 से दर्शाया गया है। बहुपद में दिए गए मोनोमियल की उपस्थिति या अनुपस्थिति क्रमशः उस मोनोमियल के गुणांक 1 या 0 से मेल खाती है। Zhegalkin monomials, रैखिक रूप से स्वतंत्र होने के कारण, 2 फैला हुआ हैnगाल्वा का मैदान 'GF'(2) पर डायमेंशनल सदिश स्थल (NB: नहीं 'GF'(2)n), जिसका गुणन काफी अलग है)। 22<अवधि> n इस स्थान के सदिश, यानी इकाई सदिशों के रूप में उन एकपदी के रैखिक संयोजन, Zhegalkin बहुपद का निर्माण करते हैं। एन वेरिएबल्स पर बूलियन कार्य करता है की संख्या के साथ सटीक समझौता, जो {0,1} पर एन-आरी ऑपरेशंस को समाप्त करता है, बूलियन आधार के रूप में ज़ेगाल्किन बहुपदों की पूर्णता के लिए एक प्रत्यक्ष गणना तर्क प्रस्तुत करता है।

यह सदिश स्थान n जनरेटर पर मुक्त बूलियन बीजगणित के समतुल्य नहीं है क्योंकि इसमें एक संक्रिया के रूप में पूरकता (बिटवाइज़ तार्किक निषेध) का अभाव है (समतुल्य रूप से, क्योंकि इसमें स्थिर के रूप में शीर्ष तत्व का अभाव है)। यह कहना नहीं है कि अंतरिक्ष पूरकता के तहत बंद नहीं है या एक तत्व के रूप में शीर्ष (सभी वाले वेक्टर) की कमी है, बल्कि यह है कि इस और इसी तरह के निर्मित रिक्त स्थान के रैखिक परिवर्तनों को पूरक और शीर्ष को संरक्षित करने की आवश्यकता नहीं है। जो उन्हें संरक्षित करते हैं वे बूलियन समरूपता के अनुरूप हैं, उदा। Zhegalkin बहुपदों के सदिश स्थान से एक चर पर चार रैखिक परिवर्तन होते हैं, जिनमें से केवल दो बूलियन समरूपता हैं।

गणना की विधि
Zhegalkin बहुपद की गणना के लिए आम तौर पर उपयोग की जाने वाली विभिन्न ज्ञात विधियाँ हैं:


 * # अनिश्चित गुणांक की विधि
 * # विहित वियोगात्मक सामान्य रूप का उपयोग करना
 * # टेबल का उपयोग करना
 * पास्कल विधि
 * योग विधि
 * # कर्णघ मानचित्र का उपयोग करना

अनिश्चित गुणांक की विधि
अनिश्चित गुणांक की विधि का उपयोग करते हुए, एक रैखिक प्रणाली जिसमें फ़ंक्शन के सभी टुपल्स और उनके मान उत्पन्न होते हैं। रैखिक प्रणाली को हल करने से Zhegalkin बहुपद के गुणांक मिलते हैं।

उदाहरण
बूलियन फ़ंक्शन को देखते हुए $$f(A,B,C) = \bar A \bar B \bar C + \bar A B \bar C + A \bar B \bar C + A B C$$, इसे Zhegalkin बहुपद के रूप में व्यक्त करें। यह फ़ंक्शन कॉलम वेक्टर के रूप में व्यक्त किया जा सकता है
 * $$\vec f = \begin{pmatrix} 1 \\ 0 \\ 1 \\ 0 \\ 1 \\ 0 \\ 0 \\ 1 \end{pmatrix} $$.

यह सदिश अनिर्धारित गुणांकों के एक सदिश को बाएँ गुणा करने का आउटपुट होना चाहिए
 * $$ \vec c = \begin{pmatrix} c_0 \\ c_1 \\ c_2 \\ c_3 \\ c_4 \\ c_5 \\ c_6 \\ c_7 \end{pmatrix}$$

एक 8x8 तार्किक मैट्रिक्स द्वारा जो संभावित मानों का प्रतिनिधित्व करता है जो ए, बी, सी के सभी संभावित संयोजन ले सकते हैं। ये संभावित मान निम्नलिखित सत्य तालिका में दिए गए हैं:
 * $$ \begin{array}{|c|c|c|c|c|c|c|c|c|c|c|c|} A & B & C & \;\;\;\;\;\;\;\; & 1 & C & B & BC & A & AC & AB & ABC \\ \hline 0&0&0&&1&0&0&0&0&0&0&0 \\ 0&0&1&&1&1&0&0&0&0&0&0 \\ 0&1&0&&1&0&1&0&0&0&0&0 \\ 0&1&1&&1&1&1&1&0&0&0&0 \\ 1&0&0&&1&0&0&0&1&0&0&0 \\ 1&0&1&&1&1&0&0&1&1&0&0 \\ 1&1&0&&1&0&1&0&1&0&1&0 \\ 1&1&1&&1&1&1&1&1&1&1&1 \end{array}$$.

उपरोक्त सत्य तालिका की जानकारी को निम्न तार्किक मैट्रिक्स में एन्कोड किया जा सकता है:
 * $$ S_3 = \begin{pmatrix} 1&0&0&0&0&0&0&0 \\ 1&1&0&0&0&0&0&0 \\ 1&0&1&0&0&0&0&0 \\ 1&1&1&1&0&0&0&0 \\ 1&0&0&0&1&0&0&0 \\ 1&1&0&0&1&1&0&0 \\ 1&0&1&0&1&0&1&0 \\ 1&1&1&1&1&1&1&1 \end{pmatrix}$$

जहां 'S' यहाँ Sierpinski के लिए खड़ा है, जैसा कि Sierpinski त्रिकोण में है, और सबस्क्रिप्ट 3 इसके आकार के प्रतिपादक देता है: $$2^3 \times 2^3$$.

यह गणितीय प्रेरण और ब्लॉक-मैट्रिक्स गुणन के माध्यम से सिद्ध किया जा सकता है कि ऐसा कोई सिएरपिन्स्की मैट्रिक्स $$S_n$$ उसका ही उलटा है।

फिर रैखिक प्रणाली है
 * $$ S_3 \vec c = \vec f$$

जिसके लिए हल किया जा सकता है $$\vec c$$:
 * $$ \vec c = S_3^{-1} \vec f = S_3 \vec f = \begin{pmatrix} 1&0&0&0&0&0&0&0 \\ 1&1&0&0&0&0&0&0 \\ 1&0&1&0&0&0&0&0 \\ 1&1&1&1&0&0&0&0 \\ 1&0&0&0&1&0&0&0 \\ 1&1&0&0&1&1&0&0 \\ 1&0&1&0&1&0&1&0 \\ 1&1&1&1&1&1&1&1 \end{pmatrix} \begin{pmatrix} 1 \\ 0 \\ 1 \\ 0 \\ 1 \\ 0 \\ 0 \\ 1 \end{pmatrix} = \begin{pmatrix} 1 \\ 1 \\ 1 \oplus 1 \\ 1 \oplus 1 \\ 1 \oplus 1 \\ 1 \oplus 1 \\ 1 \oplus 1 \oplus 1 \\ 1 \oplus 1 \oplus 1 \oplus 1 \end{pmatrix} = \begin{pmatrix} 1 \\ 1 \\ 0 \\ 0 \\ 0 \\ 0 \\ 1 \\ 0 \end{pmatrix}$$,

और Zhegalkin बहुपद के अनुरूप $$\vec c$$ है $$1 \oplus C \oplus AB$$.

कैनोनिकल असंबद्ध सामान्य रूप
का उपयोग करना इस पद्धति का उपयोग करते हुए, विहित असंबद्ध सामान्य रूप (पूरी तरह से विस्तारित डिसजंक्टिव नॉर्मल फॉर्म) की गणना पहले की जाती है। फिर इस अभिव्यक्ति में निषेधों को चर के मॉड 2 योग और 1 का उपयोग करके समकक्ष अभिव्यक्ति द्वारा प्रतिस्थापित किया जाता है। संयोजन संकेतों को अतिरिक्त मोड 2 में बदल दिया जाता है, ब्रैकेट खोले जाते हैं, और परिणामी बूलियन अभिव्यक्ति सरलीकृत होती है। इस सरलीकरण का परिणाम Zhegalkin बहुपद है।

टेबल का उपयोग
होने देना $$c_0, ... , c_{2^n-1}$$ एन वेरिएबल्स के फंक्शन पी के लिए एक ट्रुथ टेबल का आउटपुट हो, जैसे कि इंडेक्स $$c_i$$minterms के बाइनरी इंडेक्सिंग से मेल खाता है। एक फ़ंक्शन ζ पुनरावर्ती रूप से परिभाषित करें:
 * $$ \zeta(c_i) := c_i$$
 * $$ \zeta(c_0, ..., c_k) := \zeta(c_0, ... , c_{k - 1}) \oplus \zeta(c_1, ... , c_k) $$.

ध्यान दें कि
 * $$ \zeta(c_0, ..., c_m) = \bigoplus_{k = 0}^m {m \choose k}_2 c_k $$

कहाँ $${m \choose k}_2$$ द्विपद गुणांक घटा हुआ मॉड्यूलर अंकगणितीय 2 है। तब
 * $$ g_i = \zeta(c_0, ..., c_i) $$

मैं हैth एक Zhegalkin बहुपद का गुणांक जिसका शाब्दिक ith एकपदी वही हैं जो i के शाब्दिक हैंवें मिनट टर्म, सिवाय इसके कि नेगेटिव लिटरल हटा दिए जाते हैं (या 1 से बदल दिए जाते हैं)।

ζ-रूपांतरण का अपना व्युत्क्रम होता है, इसलिए गुणांकों की गणना करने के लिए उसी प्रकार की तालिका का उपयोग किया जा सकता है $$c_0, ..., c_{2^n-1}$$ गुणांक दिया $$g_0, ... , g_{2^n-1}$$. बस जाने
 * $$ c_i = \zeta(g_0, ..., g_i) $$.

आकृति में तालिका के संदर्भ में, सत्य तालिका के आउटपुट (पी लेबल वाले कॉलम में) को त्रिकोणीय तालिका के सबसे बाएं कॉलम में कॉपी करें। फिर प्रत्येक जोड़ी के शीर्ष सेल के दाईं ओर सेल को तुरंत भरने के लिए लंबवत आसन्न कोशिकाओं की प्रत्येक जोड़ी के लिए XOR को लागू करके क्रमशः बाएं से दाएं कॉलम की गणना करें। जब संपूर्ण त्रिकोणीय तालिका भरी जाती है, तो शीर्ष पंक्ति एक रैखिक संयोजन के गुणांकों को पढ़ती है, जिसे सरलीकृत (शून्य को हटाते हुए) करने पर, Zhegalkin बहुपद प्राप्त होता है।

Zhegalkin बहुपद से सत्य-तालिका में जाने के लिए, त्रिकोणीय तालिका की शीर्ष पंक्ति को Zhegalkin बहुपद के गुणांकों से भरना संभव है (धनात्मक शाब्दिकों के किसी भी संयोजन के लिए शून्य में डालकर बहुपद में नहीं)। फिर क्षैतिज रूप से आसन्न कोशिकाओं के प्रत्येक जोड़े में XOR को लागू करके ऊपर से नीचे तक पंक्तियों की गणना करें ताकि प्रत्येक जोड़ी के सबसे बाईं ओर के सेल के नीचे सेल को तुरंत भर सकें। जब पूरी त्रिकोणीय तालिका भर जाती है तो उसके सबसे बाएँ स्तंभ को सत्य तालिका के स्तंभ P में कॉपी किया जा सकता है।

एक तरफ, ध्यान दें कि गणना की यह विधि प्राथमिक सेलुलर ऑटोमेटन के संचालन की विधि से मेल खाती है जिसे नियम 102 कहा जाता है। उदाहरण के लिए, इस तरह के एक सेलुलर ऑटोमेटन को बूलियन अभिव्यक्ति के सत्य तालिका (या कैनोनिकल डिसजंक्टिव सामान्य रूप के गुणांक) के आउटपुट के साथ स्थापित आठ कोशिकाओं के साथ शुरू करें: 10101001। फिर एक रखते हुए सात और पीढ़ियों के लिए सेलुलर ऑटोमेटन चलाएं। सबसे बाईं सेल की स्थिति का रिकॉर्ड। इस सेल का इतिहास तब निकला: 11000010, जो संबंधित Zhegalkin बहुपद के गुणांकों को दर्शाता है।

पास्कल विधि
संगणना की मात्रा के संदर्भ में सबसे मितव्ययी और मैन्युअल रूप से Zhegalkin बहुपद के निर्माण के लिए पास्कल विधि है।

हम एक तालिका बनाते हैं जिसमें शामिल हैं $$2^N$$ कॉलम और $$N + 1$$ पंक्तियाँ, जहाँ N फ़ंक्शन में चरों की संख्या है। तालिका की शीर्ष पंक्ति में हम फ़ंक्शन मानों के वेक्टर को रखते हैं, जो कि सत्य तालिका का अंतिम स्तंभ है।

परिणामी तालिका की प्रत्येक पंक्ति को ब्लॉकों (चित्र में काली रेखाएँ) में विभाजित किया गया है। पहली पंक्ति में, ब्लॉक एक सेल पर कब्जा करता है, दूसरी पंक्ति में - दो, तीसरी में - चार, चौथी में - आठ, और इसी तरह। एक निश्चित पंक्ति में प्रत्येक ब्लॉक, जिसे हम निचला ब्लॉक कहते हैं, हमेशा पिछली पंक्ति में ठीक दो ब्लॉकों के अनुरूप होता है। हम उन्हें लेफ्ट अपर ब्लॉक और राइट अपर ब्लॉक कहेंगे।

निर्माण दूसरी पंक्ति से शुरू होता है। बाएं ऊपरी ब्लॉक की सामग्री को निचले ब्लॉक (आकृति में हरे तीर) की संबंधित कोशिकाओं में बदलाव के बिना स्थानांतरित किया जाता है। फिर, ऑपरेशन जोड़ मोडुलो दो को दाएं ऊपरी और बाएं ऊपरी ब्लॉकों पर बिटवाइज़ किया जाता है और परिणाम को निचले ब्लॉक के दाईं ओर की संबंधित कोशिकाओं में स्थानांतरित किया जाता है (चित्र में लाल तीर)। यह ऑपरेशन ऊपर से नीचे तक सभी लाइनों के साथ और प्रत्येक पंक्ति में सभी ब्लॉकों के साथ किया जाता है। निर्माण पूरा होने के बाद, नीचे की रेखा में संख्याओं की एक स्ट्रिंग होती है, जो कि Zhegalkin बहुपद के गुणांक हैं, उसी क्रम में लिखी गई है जैसा कि ऊपर वर्णित त्रिभुज विधि में लिखा गया है।

योग विधि
सत्य तालिका के अनुसार, Zhegalkin बहुपद के अलग-अलग गुणांकों की गणना करना आसान है। ऐसा करने के लिए, मॉडुलो 2 को सत्य तालिका की उन पंक्तियों में फ़ंक्शन के मानों को जोड़ दें जहां चर जो संयोजन में नहीं हैं (जो गुणांक की गणना के अनुरूप हैं) शून्य मान लेते हैं।

मान लीजिए, उदाहरण के लिए, हमें तीन चरों के फलन के लिए xz संयोजन का गुणांक ज्ञात करने की आवश्यकता है $$f(x, y, z)$$. इस संयुग्मन में कोई चर y नहीं है। इनपुट सेट खोजें जिसमें वेरिएबल y शून्य मान लेता है। ये समुच्चय 0, 1, 4, 5 (000, 001, 100, 101) हैं। तब संयोजन xz पर गुणांक है


 * $$a_5 = f_0 \oplus f_1 \oplus f_4 \oplus f_5 = f(0,0,0) \oplus f(0,0,1) \oplus f(1,0,0) \oplus f(1,0,1) $$

चूंकि निरंतर अवधि के साथ कोई चर नहीं हैं,


 * $$a_0 = f_0$$.

एक शब्द के लिए जिसमें सभी चर शामिल हैं, योग में फ़ंक्शन के सभी मान शामिल हैं:


 * $$a_{N - 1} = f_0 \oplus f_1 \oplus f_2 \oplus ... \oplus f_{N-2} \oplus f_{N-1} $$

आइए हम Zhegalkin बहुपद के गुणांकों को रेखांकन के रूप में कुछ बिंदुओं पर कार्यों के मूल्यों के योग मॉड्यूल 2 के रूप में दर्शाते हैं। ऐसा करने के लिए, हम एक वर्गाकार तालिका का निर्माण करते हैं, जहाँ प्रत्येक स्तंभ किसी एक बिंदु पर फ़ंक्शन के मान का प्रतिनिधित्व करता है, और पंक्ति Zhegalkin बहुपद का गुणांक है। किसी स्तंभ और पंक्ति के प्रतिच्छेदन बिंदु का अर्थ है कि इस बिंदु पर फ़ंक्शन का मान बहुपद के दिए गए गुणांक के योग में शामिल है (चित्र देखें)। हम इस तालिका को कहते हैं $$T_N$$, जहाँ N फ़ंक्शन के चरों की संख्या है।

एक पैटर्न है जो आपको एन चर के फ़ंक्शन के लिए एक टेबल प्राप्त करने की अनुमति देता है, जिसमें एक फ़ंक्शन के लिए एक तालिका होती है $$N-1$$ चर। नई मेज $$T_N + 1$$ के 2 × 2 मैट्रिक्स के रूप में व्यवस्थित किया गया है $$T_N$$ टेबल, और मैट्रिक्स का दाहिना ऊपरी ब्लॉक साफ़ हो गया है।

जाली-सैद्धांतिक व्याख्या
तालिका के स्तंभों पर विचार करें $$T_N$$ आकार के बूलियन जाली के तत्वों के अनुरूप $$2^N$$. प्रत्येक स्तंभ के लिए $$f_M$$ नंबर एम को बाइनरी नंबर के रूप में व्यक्त करें $$M_2$$, तब $$f_M \le f_K$$ अगर और केवल अगर $$M_2 \vee K_2 = K_2$$, कहाँ $$\vee$$ बिटवाइज़ OR दर्शाता है।

यदि तालिका की पंक्तियाँ $$T_N$$ क्रमांकित हैं, ऊपर से नीचे तक, 0 से संख्याओं के साथ $$2^N - 1$$, तब पंक्ति संख्या R की सारणीबद्ध सामग्री तत्व द्वारा उत्पन्न आदर्श (आदेश सिद्धांत) है $$f_R$$ जाली का।

ध्यान दें कि तालिका का समग्र पैटर्न $$T_N$$ एक तार्किक मैट्रिक्स सिएरपिन्स्की त्रिभुज का है। इसके अलावा, पैटर्न एक प्राथमिक सेलुलर ऑटोमेटन से मेल खाता है जिसे नियम 60 कहा जाता है, जो सबसे बाईं सेल से 1 पर सेट होता है और अन्य सभी सेल साफ़ हो जाते हैं।

कर्णघ मानचित्र का उपयोग
यह आंकड़ा तीन चरों का एक कार्य दिखाता है, पी (ए, बी, सी) एक कर्णघ मानचित्र के रूप में दर्शाया गया है, जिसे पाठक उदाहरण के रूप में मान सकते हैं कि इस तरह के मानचित्रों को झेगाल्किन बहुपदों में कैसे परिवर्तित किया जाए; सामान्य प्रक्रिया निम्नलिखित चरणों में दी गई है:
 * हम कर्णघ मानचित्र की सभी कोशिकाओं को उनके कोड में इकाइयों की संख्या के आरोही क्रम में मानते हैं। तीन चर के कार्य के लिए, कोशिकाओं का क्रम 000–100–010–001–110–101–011–111 होगा। कर्णघ मानचित्र की प्रत्येक कोशिका झेगलकिन बहुपद के एक सदस्य के साथ जुड़ी हुई है, जो उस कोड की स्थिति पर निर्भर करता है जिसमें वे हैं। उदाहरण के लिए, सेल 111 सदस्य एबीसी से मेल खाता है, सेल 101 सदस्य एसी से मेल खाता है, सेल 010 सदस्य बी से मेल खाता है, और सेल 000 सदस्य 1 से मेल खाता है।
 * यदि संबंधित सेल 0 है, तो अगले सेल पर जाएं।
 * यदि विचाराधीन सेल 1 है, तो संबंधित शब्द को Zhegalkin बहुपद में जोड़ें, फिर कर्णघ मानचित्र में सभी कोशिकाओं को उलट दें जहां यह शब्द 1 है (या इस शब्द द्वारा उत्पन्न आदर्श (आदेश सिद्धांत) से संबंधित है, एक बूलियन जाली में) मोनोमियल्स की) और अगले सेल पर जाएं। उदाहरण के लिए, यदि सेल 110 की जांच करते समय, इसमें एक दिखाई देता है, तो AB शब्द को Zhegalkin बहुपद में जोड़ा जाता है और कर्णघ मानचित्र के सभी सेल उलटे होते हैं, जिसके लिए A = 1 और B = 1. यदि इकाई में है सेल 000, फिर एक शब्द 1 को Zhegalkin बहुपद में जोड़ा जाता है और पूरे कर्णघ मानचित्र को उल्टा कर दिया जाता है।
 * परिवर्तन प्रक्रिया को पूर्ण माना जा सकता है, जब अगले उलटने के बाद, कर्णघ मानचित्र की सभी कोशिकाएँ शून्य हो जाती हैं, या एक परवाह न करें।

मोबियस परिवर्तन
मोबियस व्युत्क्रम सूत्र एक बूलियन सम-ऑफ़-मिन्टर्म्स एक्सप्रेशन और एक ज़ेगाल्किन बहुपद के गुणांकों से संबंधित है। यह मोबियस सूत्र का आंशिक क्रम संस्करण है, न कि संख्या सिद्धांत। आंशिक ऑर्डर के लिए मोबियस उलटा सूत्र है:
 * $$ g(x) = \sum_{y:y\le x} f(y) \leftrightarrow f(x) = \sum_{y:y\le x} g(y) \mu(y,x)$$, कहाँ $$\mu(y,x) = (-1)^{|x| - |y|}$$, |x का x 0. से $$-1 \equiv 1$$ Zhegalkin बीजगणित में, मोबियस फ़ंक्शन स्थिर 1 होने के लिए ढह जाता है।

किसी दी गई संख्या x के विभाजकों का समुच्चय भी उस संख्या द्वारा उत्पन्न आदर्श (आदेश सिद्धांत) है: $$\langle x \rangle$$. चूँकि योग सापेक्ष 2 है, सूत्र को इस रूप में पुन: स्थापित किया जा सकता है
 * $$ g(x) = \bigoplus_{y:y\in \langle x\rangle} f(y) \leftrightarrow f(x) = \bigoplus_{y:y\in \langle x\rangle} g(y) $$

उदाहरण
एक उदाहरण के रूप में, तीन-चर मामले पर विचार करें। निम्न तालिका विभाज्यता संबंध दर्शाती है:

तब
 * $$ g(000) = f(000) $$
 * $$ g(001) = f(000) \oplus f(001) $$
 * $$ g(010) = f(000) \oplus f(010) $$
 * $$ g(011) = f(000) \oplus f(001) \oplus f(010) \oplus f(011) $$
 * $$ g(100) = f(000) \oplus f(100) $$
 * $$ g(101) = f(000) \oplus f(001) \oplus f(100) \oplus(101) $$
 * $$ g(110) = f(000) \oplus f(010) \oplus f(100) \oplus f(110) $$
 * $$ g(111) = f(000) \oplus f(001) \oplus f(010) \oplus f(011) \oplus f(100) \oplus f(101) \oplus f(110) \oplus f(111)$$

समीकरणों की उपरोक्त प्रणाली को f के लिए हल किया जा सकता है, और उपरोक्त प्रणाली में g और f का आदान-प्रदान करके परिणाम को प्राप्त करने योग्य होने के रूप में संक्षेपित किया जा सकता है।

नीचे दी गई तालिका बाइनरी संख्याओं को उनके संबंधित Zhegalkin monomials और बूलियन minterms के साथ दिखाती है:

Zhegalkin monomials स्वाभाविक रूप से विभाज्यता द्वारा आदेशित होते हैं, जबकि बूलियन minterms स्वाभाविक रूप से स्वयं को आदेश नहीं देते हैं; प्रत्येक तीन-चर वेन आरेख के एक विशेष आठवें का प्रतिनिधित्व करता है। मोनोमियल्स का क्रम निम्नानुसार बिट स्ट्रिंग्स में स्थानांतरित होता है: दिया गया $$a_1 a_2 a_3$$ और $$b_1 b_2 b_3$$, बिट ट्रिपल की एक जोड़ी, फिर $$a_1 a_2 a_3 \le b_1 b_2 b_3 \leftrightarrow a_1 \le b_1 \wedge a_2 \le b_2 \wedge a_3 \le b_3$$.

एक तीन-चर बूलियन राशि-के-मिनिटर्म और एक झेगाल्किन बहुपद के बीच पत्राचार तब होता है:
 * $$f(000) \bar A \bar B \bar C \vee f(001) \bar A \bar B C \vee f(010) \bar A B \bar C \vee f(011) \bar A B C \vee f(100) A \bar B \bar C \vee f(101) A \bar B C \vee f(110) A B \bar C \vee f(111) A B C$$
 * $$\qquad \qquad \equiv g(000) \oplus g(001) C \oplus g(010) B \oplus g(011) BC \oplus g(100) A \oplus g(101) AC \oplus g(110) AB \oplus g(111) ABC$$.

उपरोक्त समीकरणों की प्रणाली को तार्किक मैट्रिक्स समीकरण के रूप में संक्षेपित किया जा सकता है:


 * $$ \begin{pmatrix} g(000) \\ g(001) \\ g(010) \\ g(011) \\ g(100) \\ g(101) \\ g(110) \\ g(111) \end{pmatrix} =

\begin{pmatrix} 1 && 0 && 0 && 0 && 0 && 0 && 0 && 0 \\ 1 && 1 && 0 && 0 && 0 && 0 && 0 && 0 \\ 1 && 0 && 1 && 0 && 0 && 0 && 0 && 0 \\ 1 && 1 && 1 && 1 && 0 && 0 && 0 && 0 \\ 1 && 0 && 0 && 0 && 1 && 0 && 0 && 0 \\ 1 && 1 && 0 && 0 && 1 && 1 && 0 && 0 \\ 1 && 0 && 1 && 0 && 1 && 0 && 1 && 0 \\ 1 && 1 && 1 && 1 && 1 && 1 && 1 && 1 \end{pmatrix} \begin{pmatrix} f(000) \\ f(001) \\ f(010) \\ f(011) \\ f(100) \\ f(101) \\ f(110) \\ f(111) \end{pmatrix} $$ जो वाजिब त्रिकोणमिति|N. जे. वाइल्डबर्गर बूले-मोबियस रूपांतरण कहते हैं।

नीचे परिवर्तन का "XOR स्प्रेडशीट" रूप दिखाया गया है, जो g से f की दिशा में जा रहा है:

संबंधित कार्य
1927 में, उसी वर्ष झेगाल्किन के पेपर के रूप में, अमेरिकी गणितज्ञ एरिक टेम्पल बेल ने रिचर्ड डेडेकिंड के आदर्श सिद्धांत और सामान्य मॉड्यूलर अंकगणित (अंकगणित मॉड 2 के विपरीत) के आधार पर बूलियन बीजगणित का एक परिष्कृत अंकगणित प्रकाशित किया। 1936 में अमेरिकी गणितज्ञ मार्शल स्टोन द्वारा Zhegalkin बहुपदों के बहुत सरल अंकगणितीय चरित्र को पहली बार पश्चिम में देखा गया था (स्वतंत्र रूप से, उस युग में सोवियत और पश्चिमी गणितज्ञों के बीच संचार बहुत सीमित था)। जब उन्होंने अपने प्रसिद्ध स्टोन द्वैत प्रमेय को लिखते समय देखा कि बूलियन बीजगणित और अंगूठी (गणित) के बीच कथित रूप से ढीली समानता वास्तव में परिमित और अनंत बीजगणित दोनों के लिए एक सटीक तुल्यता धारण के रूप में तैयार की जा सकती है, जिससे उन्हें अपने कागज को काफी हद तक पुनर्गठित करना पड़ा। अगले कुछ साल।

यह भी देखें

 * बीजगणितीय सामान्य रूप (एएनएफ)
 * रीड-मुलर विस्तार
 * बूलियन डोमेन
 * बूलियन-मूल्यवान फ़ंक्शन

अग्रिम पठन

 * (288 pages) (NB. Translation: Springer-Verlag, 1985.)
 * (188 pages)