बूलीय फलन: Difference between revisions

Latest revision as of 16:33, 3 November 2023

एक द्विअंगी निर्णय आरेख और एक त्रिगुट बूलियन फलन की सत्यमान फलन

गणित में, बूलियन फलन एक फलन (गणित) होता है जिसका फलन और परिणाम का तर्क दो-तत्व सम्मुच्चय (सामान्यतः {true, false}, {0,1} या {-1,1}) से मान लेता है।^[1]^[2] वैकल्पिक नाम स्विचन फलन हैं, विशेष रूप से पुराने कंप्यूटर विज्ञान साहित्य में उपयोग किए जाते हैं,^[3]^[4] और सत्यमान फलन (या तार्किक कार्य) और तर्क में प्रयुक्त किए जाते हैं। बूलियन फलन बूलियन बीजगणित और स्विचन सिद्धांत का विषय हैं।^[5]

एक बूलियन फलन $f:\{0,1\}^{k}\to \{0,1\}$ रूप लेता है, जहाँ $\{0,1\}$ बूलियन कार्यक्षेत्र के रूप में जाना जाता है और $k$ एक गैर-ऋणात्मक पूर्णांक है जिसे फलन की अरिटी कहा जाता है। उस स्तिथि में जहां $k=0$ , फलन का एक स्थिर तत्व $\{0,1\}$ है। एकाधिक निष्पाद $f:\{0,1\}^{k}\to \{0,1\}^{m}$ के साथ $m>1$ के साथ बूलियन फलन सदिश या सदिश-मूल्यवान बूलियन फलन (सममित कूटलेखन में एक S-बक्स) है।^[6]

वहाँ $2^{2^{k}}$ विभिन्न बूलियन प्रकार्यों के साथ $k$ तर्क हैं; विभिन्न सत्यमान फलन की संख्या के बराबर $2^{k}$ प्रविष्टियाँ हैं।

प्रत्येक $k$ -एरी बूलियन फलन को प्रस्ताविक सूत्र $k$ चर $x_{1},...,x_{k}$ के रूप में व्यक्त किया जा सकता है, और दो तर्कवाक्य सूत्र तार्किक तुल्यता हैं यदि और केवल यदि वे एक ही बूलियन फलन को व्यक्त करते हैं।

उदाहरण

सोलह युग्मक बूलियन फलन

प्रारंभिक सममित बूलियन फलन (तार्किक संयोजक या तर्क द्वार) हैं:

NOT, प्रतिवाद अथवा तार्किक पूरक - जो एक निविष्टि प्राप्त करता है और उस निविष्टि के गलत होने पर सही हो जाता है (नहीं)

AND अथवा तार्किक संयोजन - सत्य जब सभी निविष्टि सत्य हैं (दोनों)

OR अथवा तार्किक विच्छेदन - सच है जब कोई निविष्टि सच है (अन्यतर)

XOR अथवा अनन्य - सच जब इसका एक निविष्टि सत्य है और दूसरा गलत है (बराबर नहीं)

NAND अथवा शेफर स्ट्रोक - सत्य जब यह स्तिथि नहीं है कि सभी निविष्टि सत्य हैं (दोनों नहीं)
NOR अथवा तार्किक NOR - सत्य जब कोई भी निविष्टि सत्य नहीं है (अन्यतर)
XNOR अथवा तार्किक समानता - सच है जब दोनों निविष्टि समान (बराबर) हैं

अधिक जटिल फलन का एक उदाहरण बहुसंख्यक फलन (विषम संख्या में निविष्टि) है।

प्रतिनिधित्व

File:Three input Boolean circuit.jpg

बूलियन फलन एक बूलियन परिपथ के रूप में दर्शाया गया है

एक बूलियन फलन को विभिन्न तरीकों से निर्दिष्ट किया जा सकता है:

सत्यमान फलन: तर्कों के सभी संभावित मूल्यों के लिए इसके मूल्य को स्पष्ट रूप से सूचीबद्ध करना
- मार्क्वांड आरेख: दो-आयामी संजाल में व्यवस्थित सत्यमान फलन मान (कर्नाघ मानचित्र में उपयोग किया जाता है)
- द्विआधारी निर्णय आरेख, एक द्विआधारी वृक्ष के तल पर सत्यमान फलन मानों को सूचीबद्ध करता है
- वेन आरेख, समतल के क्षेत्रों के रंग के रूप में सत्यमान फलन मानों का चित्रण

बीजगणितीय रूप से, प्रारंभिक बूलियन फलन का उपयोग करके एक प्रस्तावक सूत्र के रूप में:

ऋणात्मक सामान्य रूप, तर्कों और उनके पूरक के AND और OR का मनमाना मिश्रण
वियोगात्मक सामान्य रूप, तर्कों और उनके पूरक के ANDs के OR के रूप में
संयोजक सामान्य रूप, तर्कों और उनके पूरक के ORs के AND के रूप में
विहित सामान्य रूप, एक मानकीकृत सूत्र जो विशिष्ट रूप से फलन की पहचान करता है:
- बीजगणितीय सामान्य रूप या झेगाल्किन बहुपद, तर्कों के ANDs के XOR के रूप में (कोई पूरक की अनुमति नहीं है)
- पूर्ण (प्रामाणिक) वियोगात्मक सामान्य रूप, प्रत्येक तर्क या पूरक (गुणद) युक्त AND का OR
- पूर्ण (प्रामाणिक) संयोजक सामान्य रूप, प्रत्येक तर्क या पूरक (योपद) वाले ORs का AND
- ब्लेक विहित रूप, फलन के सभी प्रधान आपाद्य का OR

बूलियन सूत्र को आरेख के रूप में भी प्रदर्शित किया जा सकता है:

प्रस्तावित निर्देशित विश्वकोश आरेख
- तर्क द्वार का अंकीय परिपथ (कंप्यूटर साइंस) रेखाचित्र, एक बूलियन परिपथ
- और-अंर्तवर्तक आरेख, केवल AND और NOT का उपयोग करके

इलेक्ट्रॉनिक परिपथ को अनुकूलित करने के लिए, बूलियन सूत्र क्विन-मैक्लुस्की कलन विधि या कर्णघ मानचित्र का उपयोग करके बूलियन प्रकार्यों का न्यूनतमकरण हो सकता है।

विश्लेषण

गुण

एक बूलियन फलन में विभिन्न गुण हो सकते हैं:^[7]

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

परिपथ जटिलता बूलियन फलन को उन परिपथ के आकार या गहराई के संबंध में वर्गीकृत करने का प्रयास करती है जो उनकी गणना कर सकते हैं।

व्युत्पन्न कार्य

घनात्मक और ऋणात्मक शैनन सहगुणक (शैनन विस्तार) में बूल के विस्तार प्रमेय का उपयोग करके एक बूलियन फलन को विघटित किया जा सकता है, जो कि (k-1) -री फलन हैं जो किसी एक तर्क (शून्य या एक) को ठीक करने के परिणामस्वरूप होते हैं। निविष्टि के एक सम्मुच्चय (एक रैखिक उप-स्थान) पर एक रैखिक बाधा लगाकर प्राप्त सामान्य (k-एरी) फलन को उप-फलन के रूप में जाना जाता है।^[8]

किसी एक तर्क के लिए फलन का बूलियन व्युत्पन्न एक (k-1)-एरी फलन है जो तब सत्य होता है जब फलन का निष्पाद चुने गए निविष्टि चर के प्रति संवेदनशील होता है; यह दो संगत सहकारकों का XOR है। रीड-मुलर विस्तार में एक व्युत्पन्न और एक सहकारक का उपयोग किया जाता है। अवधारणा को x और x + dx पर फलन के अंतर (XOR) के रूप में प्राप्त दिशा dx में k-एरी व्युत्पन्न के रूप में सामान्यीकृत किया जा सकता है।^[8]

एक बूलियन फलन का मोबिअस बहुपद रूपान्तरण (या बूले-मोबियस रूपान्तरण) इसके बहुपद (बीजीय सामान्य रूप) के गुणांकों का समुच्चय है, जो एकपदीय घातांक सदिशों के फलन के रूप में होता है। यह एक स्व-व्युत्क्रमण रूपांतर है। यह तेजी से फूरियर रूपांतरण के अनुरूप एक तितली आरेख (तीव्र फूरियर रूपांतरण) का उपयोग करके कुशलतापूर्वक गणना की जा सकती है।^[9] संपाती बूलियन फलन उनके मोबियस रूपांतरण के बराबर होते हैं, अर्थात उनकी सत्यमान फलन (गुणद) मान उनके बीजगणितीय (एकपद ) गुणांक के बराबर होते हैं।^[10] k तर्कों के 2^2^(k−1) संपाती फलन हैं।^[11]

गूढ़लेखिकी विश्लेषण

बूलियन फलन का वॉल्श रूपांतरण एक k-एरी पूर्णांक-मूल्यवान फलन है, जो रैखिक फलन (वाल्श फलन) में अपघटन के गुणांक देता है, फूरियर रूपांतरण द्वारा लयबद्ध में वास्तविक-मूल्यवान फलन के अपघटन के अनुरूप होता है। इसका वर्ग मानावली फलन या वॉल्श फलन है। एकल बिट सदिश का वॉल्श गुणांक बूलियन फलन के निष्पाद के साथ उस बिट के सहसंबंध के लिए एक उपाय है। अधिकतम (पूर्ण मान में) वॉल्श गुणांक को फलन की रैखिकता के रूप में जाना जाता है।^[8]बिट्स (अनुक्रम) की उच्चतम संख्या को प्रतिरोधक्षमता के रूप में जाना जाता है जिसके लिए सभी वॉल्श गुणांक 0 हैं (अर्थात उपप्रकार्य संतुलित हैं), और फलन को उस क्रम के प्रति सह-संबंध प्रतिरक्षा कहा जाता है।^[8] वॉल्श गुणांक रैखिक क्रिप्ट विश्लेषण में एक महत्वपूर्ण भूमिका निभाते हैं।

बूलियन फलन का स्वत: सहसंबंध एक k-एरी पूर्णांक-मूल्यवान फलन है जो निविष्टि और फलन निष्पाद में परिवर्तन के एक निश्चित सम्मुच्चय के बीच संबंध देता है। किसी दिए गए बिट सदिश के लिए यह उस दिशा में व्युत्पन्न के हैमिंग भार से संबंधित है। अधिकतम स्वसहसंबंध गुणांक (निरपेक्ष मूल्य में) को निरपेक्ष संकेतक के रूप में जाना जाता है।^[7]^[8]यदि बिट्स की एक निश्चित संख्या के लिए सभी स्वतःसंबंध गुणांक 0 हैं (अर्थात व्युत्पन्न संतुलित हैं) तो फलन को उस क्रम के प्रचार मानदंड को पूरा करने के लिए कहा जाता है; यदि वे सभी शून्य हैं तो फलन बंकित फलन है।^[12] स्वतः सहसंबंध गुणांक विभेदक क्रिप्ट विश्लेषण में महत्वपूर्ण भूमिका निभाते हैं।

एक बूलियन फलन के वॉल्श गुणांक और इसके स्वत: सहसंबंध गुणांक वीनर-खिनचिन प्रमेय के समकक्ष से संबंधित हैं, जो बताता है कि स्वत: सहसंबंध और मानावली फलन वॉल्श रूपांतरण जोड़ी हैं।^[8]

इन अवधारणाओं को स्वाभाविक रूप से सदिश बूलियन फलन के लिए उनके निष्पाद बिट्स (निर्देशांक) पर व्यक्तिगत रूप से, या अधिक अच्छी तरह से, निष्पाद बिट्स के सभी रैखिक फलन के सम्मुच्चय को देखकर, इसके घटकों के रूप में जाना जाता है।^[6] घटकों के वॉल्श रूपांतरणों के सम्मुच्चय को रैखिक सन्निकटन तालिका (LAT) या सहसंबंध परिवेश के रूप में जाना जाता है^[13]^[14] ^[15]^[16] यह निविष्टि और निष्पाद बिट्स के विभिन्न रैखिक संयोजनों के बीच संबंध का वर्णन करता है। घटकों के स्वत: सहसंबंध गुणांक का सम्मुच्चय स्वत: सहसंबंध तालिका है,^[14]घटकों के वाल्श परिवर्तन से संबंधित^[17] अधिक व्यापक रूप से प्रयुक्त अंतर वितरण तालिका (DDT) के लिए^[13]^[14]जो निविष्टि और निष्पाद बिट्स में अंतर के बीच सहसंबंधों को सूचीबद्ध करता है (यह भी देखें: S-बक्स)।

वास्तविक बहुपद रूप

एकांक अतिविम पर कोई भी बूलियन फलन $f(x):\{0,1\}^{n}\rightarrow \{0,1\}$ में एक बहुरेखीय बहुपद द्वारा विशिष्ट रूप से वास्तविक संख्या में $\mathbb {R} ^{n}$ विस्तारित (प्रक्षेपित) किया जा सकता है, लैग्रेंज बहुपद द्वारा गुणा किए गए सत्यमान फलन मानों के योग द्वारा निर्मित:

f^{*}(x)=\sum _{a\in {\{0,1\}}^{n}}f(a)\prod _{i:a_{i}=1}x_{i}\prod _{i:a_{i}=0}(1-x_{i})

उदाहरण के लिए, युग्मक XOR फलन का विस्तार

x\oplus y

है

0(1-x)(1-y)+1x(1-y)+1(1-x)y+0xy

जो बराबर है

x+y-2xy

कुछ अन्य उदाहरण (

1-x

), और (

xy

) और या (

x+y-xy

) निषेध हैं। जब सभी संकार्य स्वतंत्र होते हैं (कोई चर साझा नहीं करते हैं) एक बूलियन सूत्र में संचालकों के बहुपदों को बार-बार लागू करके एक फलन का बहुपद रूप पाया जा सकता है। जब गुणांक की गणना की जाती है तो मॉड्यूलर अंकगणित एक बीजगणितीय सामान्य रूप प्राप्त करता है (झेगाल्किन बहुपद)।

बहुपद के गुणांकों के लिए प्रत्यक्ष व्यंजक उपयुक्त अवकलज लेकर प्राप्त किए जा सकते हैं:

{\begin{array}{lcl}f^{*}(00)&=&(f^{*})(00)&=&f(00)\\f^{*}(01)&=&(\partial _{1}f^{*})(00)&=&-f(00)+f(01)\\f^{*}(10)&=&(\partial _{2}f^{*})(00)&=&-f(00)+f(10)\\f^{*}(11)&=&(\partial _{1}\partial _{2}f^{*})(00)&=&f(00)-f(01)-f(10)+f(11)\\\end{array}}

यह मोबियस रूपांतरण के रूप में सामान्यीकृत होता है। बिट सदिश के आंशिक रूप से अनुक्रमित किए गए सम्मुच्चय के मोबियस व्युत्क्रमण:

f^{*}(m)=\sum _{a\subseteq m}(-1)^{|a|+|m|}f(a)

जहाँ

|a|

बिट सदिश के भार

a

को दर्शाता है। मोडुलो 2 बूलियन मोबियस रूपांतरण बहुपद है, जो बीजगणितीय सामान्य रूप गुणांक देता है:

{\hat {f}}(m)=\bigoplus _{a\subseteq m}f(a)

दोनों ही स्तिथि में, योग को सभी बिट-सदिश a पर m द्वारा आच्छादित किया जाता है।

जब कार्यक्षेत्र n-विमीय अतिविम $[0,1]^{n}$ तक सीमित है, बहुपद $f^{*}(x):[0,1]^{n}\rightarrow [0,1]$ एक घनात्मक परिणाम की संभावना देता है जब बूलियन फलन f को अलग-अलग संभावनाओं x के साथ n स्वतंत्र यादृच्छिक (बर्नौली वितरण) चर पर लागू किया जाता है। इस तथ्य का एक विशेष स्तिथि पैरिटी फलन के लिए पुंजन लेम्मा है। बूलियन फलन के बहुपद रूप का उपयोग स्वानुशासित तर्क के प्राकृतिक विस्तार के रूप में भी किया जा सकता है।

सममित अतिविम पर प्रायः, बूलियन कार्यक्षेत्र को $\{-1,1\}$ रूप में लिया जाता है, असत्य (0) प्रतिचित्रण के साथ 1 और सही (1) से -1 (बूलियन फलन का विश्लेषण देखें)। $g(x):\{-1,1\}^{n}\rightarrow \{-1,1\}$ के अनुरूप बहुपद निम्न द्वारा दिया जाता है:

g^{*}(x)=\sum _{a\in {\{-1,1\}}^{n}}g(a)\prod _{i:a_{i}=-1}{\frac {1-x_{i}}{2}}\prod _{i:a_{i}=1}{\frac {1+x_{i}}{2}}

सममित बूलियन कार्यक्षेत्र का उपयोग बूलियन फलन के विश्लेषण के कुछ पहलुओं को सरल करता है, क्योंकि निषेध -1 से गुणा करने के अनुरूप है और समता फलन एकपदीय हैं (XOR गुणन है)। इस प्रकार यह बहुपद रूप फलन के वॉल्श रूपांतरण (इस संदर्भ में फूरियर रूपांतरण के रूप में भी जाना जाता है) से मेल खाता है (ऊपर देखें)। बहुपद की भी वही सांख्यिकीय व्याख्या होती है जो मानक बूलियन कार्यक्षेत्र में होती है, सिवाय इसके कि यह अब अपेक्षित मानों से संबंधित है

E(X)=P(X=1)-P(X=-1)\in [-1,1]

(उदाहरण के लिए लेम्मा पुंजन देखें)।

अनुप्रयोग

संगणनात्मक जटिलता सिद्धांत के सवालों के साथ-साथ अंकीय कम्प्यूटर के लिए संसाधक के प्रतिरूप में बूलियन फलन एक बुनियादी भूमिका निभाते हैं, जहाँ वे तर्क द्वार का उपयोग करके इलेक्ट्रॉनिक परिपथ में कार्यान्वित किए जाते हैं।

गूढ़लेखिकी में बूलियन फलन के गुण महत्वपूर्ण हैं, विशेष रूप से सममित कुंजी कलन विधि के प्रतिरूप में (प्रतिस्थापन बक्स देखें)।

सहयोगशील खेल सिद्धांत में, एकदिष्ट बूलियन फलन को सरल खेल कहा जाता है; सामाजिक चयन सिद्धांत में समस्याओं को हल करने के लिए इस धारणा को लागू किया जाता है।

यह भी देखें

संदर्भ

↑ "Boolean function - Encyclopedia of Mathematics". encyclopediaofmath.org. Retrieved 2021-05-03.
↑ Weisstein, Eric W. "Boolean Function". mathworld.wolfram.com (in English). Retrieved 2021-05-03.
↑ "switching function". TheFreeDictionary.com. Retrieved 2021-05-03.
↑ Davies, D. W. (December 1957). "Switching Functions of Three Variables". IRE Transactions on Electronic Computers. EC-6 (4): 265–275. doi:10.1109/TEC.1957.5222038. ISSN 0367-9950.
↑ McCluskey, Edward J. (2003-01-01), "Switching theory", Encyclopedia of Computer Science, GBR: John Wiley and Sons Ltd., pp. 1727–1731, ISBN 978-0-470-86412-8, retrieved 2021-05-03
↑ ^6.0 ^6.1 Carlet, Claude. "Vectorial Boolean Functions for Cryptography" (PDF). University of Paris. Archived (PDF) from the original on 2016-01-17.
↑ ^7.0 ^7.1 "Boolean functions — Sage 9.2 Reference Manual: Cryptography". doc.sagemath.org. Retrieved 2021-05-01.
↑ ^8.0 ^8.1 ^8.2 ^8.3 ^8.4 ^8.5 Tarannikov, Yuriy; Korolev, Peter; Botev, Anton (2001). Boyd, Colin (ed.). "Autocorrelation Coefficients and Correlation Immunity of Boolean Functions". Advances in Cryptology — ASIACRYPT 2001. Lecture Notes in Computer Science (in English). Berlin, Heidelberg: Springer. 2248: 460–479. doi:10.1007/3-540-45682-1_27. ISBN 978-3-540-45682-7.
↑ Carlet, Claude (2010), "Boolean Functions for Cryptography and Error-Correcting Codes" (PDF), Boolean Models and Methods in Mathematics, Computer Science, and Engineering, Encyclopedia of Mathematics and its Applications, Cambridge: Cambridge University Press, pp. 257–397, ISBN 978-0-521-84752-0, retrieved 2021-05-17
↑ Pieprzyk, Josef; Wang, Huaxiong; Zhang, Xian-Mo (2011-05-01). "Mobius transforms, coincident Boolean functions and non-coincidence property of Boolean functions". International Journal of Computer Mathematics. 88 (7): 1398–1416. doi:10.1080/00207160.2010.509428. ISSN 0020-7160. S2CID 9580510.
↑ Nitaj, Abderrahmane; Susilo, Willy; Tonien, Joseph (2017-10-01). "Dirichlet product for boolean functions". Journal of Applied Mathematics and Computing (in English). 55 (1): 293–312. doi:10.1007/s12190-016-1037-4. ISSN 1865-2085. S2CID 16760125.
↑ Canteaut, Anne; Carlet, Claude; Charpin, Pascale; Fontaine, Caroline (2000-05-14). "Propagation characteristics and correlation-immunity of highly nonlinear boolean functions". Proceedings of the 19th International Conference on Theory and Application of Cryptographic Techniques. EUROCRYPT'00. Bruges, Belgium: Springer-Verlag: 507–522. ISBN 978-3-540-67517-4.
↑ ^13.0 ^13.1 Heys, Howard M. "A Tutorial on Linear and Differential Cryptanalysis" (PDF). Archived (PDF) from the original on 2017-05-17.
↑ ^14.0 ^14.1 ^14.2 "S-Boxes and Their Algebraic Representations — Sage 9.2 Reference Manual: Cryptography". doc.sagemath.org. Retrieved 2021-05-04.
↑ Daemen, Joan; Govaerts, René; Vandewalle, Joos (1995). Preneel, Bart (ed.). "Correlation matrices". Fast Software Encryption. Lecture Notes in Computer Science (in English). Berlin, Heidelberg: Springer. 1008: 275–285. doi:10.1007/3-540-60590-8_21. ISBN 978-3-540-47809-6.
↑ Daemen, Joan (10 June 1998). "Chapter 5: Propagation and Correlation - Annex to AES Proposal Rijndael" (PDF). NIST. Archived (PDF) from the original on 2018-07-23.
↑ Nyberg, Kaisa (December 1, 2019). "The Extended Autocorrelation and Boomerang Tables and Links Between Nonlinearity Properties of Vectorial Boolean Functions" (PDF). Archived (PDF) from the original on 2020-11-02.

अग्रिम पठन

Crama, Yves; Hammer, Peter L. (2011), Boolean Functions: Theory, Algorithms, and Applications, Cambridge University Press, doi:10.1017/CBO9780511852008, ISBN 9780511852008
"Boolean function", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
Janković, Dragan; Stanković, Radomir S.; Moraga, Claudio (November 2003). "Arithmetic expressions optimisation using dual polarity property". Serbian Journal of Electrical Engineering. 1 (71–80, number 1): 71–80. doi:10.2298/SJEE0301071J.
Arnold, Bradford Henry (1 January 2011). Logic and Boolean Algebra. Courier Corporation. ISBN 978-0-486-48385-6.
Mano, M. M.; Ciletti, M. D. (2013), Digital Design, Pearson

[1] "Boolean function - Encyclopedia of Mathematics". encyclopediaofmath.org. Retrieved 2021-05-03.

[2] Weisstein, Eric W. "Boolean Function". mathworld.wolfram.com (in English). Retrieved 2021-05-03.

[3] "switching function". TheFreeDictionary.com. Retrieved 2021-05-03.

[4] Davies, D. W. (December 1957). "Switching Functions of Three Variables". IRE Transactions on Electronic Computers. EC-6 (4): 265–275. doi:10.1109/TEC.1957.5222038. ISSN 0367-9950.

[5] McCluskey, Edward J. (2003-01-01), "Switching theory", Encyclopedia of Computer Science, GBR: John Wiley and Sons Ltd., pp. 1727–1731, ISBN 978-0-470-86412-8, retrieved 2021-05-03

[:2-6] 6.0 ^6.1 Carlet, Claude. "Vectorial Boolean Functions for Cryptography" (PDF). University of Paris. Archived (PDF) from the original on 2016-01-17.

[:0-7] 7.0 ^7.1 "Boolean functions — Sage 9.2 Reference Manual: Cryptography". doc.sagemath.org. Retrieved 2021-05-01.

[:1-8] 8.0 ^8.1 ^8.2 ^8.3 ^8.4 ^8.5 Tarannikov, Yuriy; Korolev, Peter; Botev, Anton (2001). Boyd, Colin (ed.). "Autocorrelation Coefficients and Correlation Immunity of Boolean Functions". Advances in Cryptology — ASIACRYPT 2001. Lecture Notes in Computer Science (in English). Berlin, Heidelberg: Springer. 2248: 460–479. doi:10.1007/3-540-45682-1_27. ISBN 978-3-540-45682-7.

[9] Carlet, Claude (2010), "Boolean Functions for Cryptography and Error-Correcting Codes" (PDF), Boolean Models and Methods in Mathematics, Computer Science, and Engineering, Encyclopedia of Mathematics and its Applications, Cambridge: Cambridge University Press, pp. 257–397, ISBN 978-0-521-84752-0, retrieved 2021-05-17

[10] Pieprzyk, Josef; Wang, Huaxiong; Zhang, Xian-Mo (2011-05-01). "Mobius transforms, coincident Boolean functions and non-coincidence property of Boolean functions". International Journal of Computer Mathematics. 88 (7): 1398–1416. doi:10.1080/00207160.2010.509428. ISSN 0020-7160. S2CID 9580510.

[11] Nitaj, Abderrahmane; Susilo, Willy; Tonien, Joseph (2017-10-01). "Dirichlet product for boolean functions". Journal of Applied Mathematics and Computing (in English). 55 (1): 293–312. doi:10.1007/s12190-016-1037-4. ISSN 1865-2085. S2CID 16760125.

[12] Canteaut, Anne; Carlet, Claude; Charpin, Pascale; Fontaine, Caroline (2000-05-14). "Propagation characteristics and correlation-immunity of highly nonlinear boolean functions". Proceedings of the 19th International Conference on Theory and Application of Cryptographic Techniques. EUROCRYPT'00. Bruges, Belgium: Springer-Verlag: 507–522. ISBN 978-3-540-67517-4.

[:3-13] 13.0 ^13.1 Heys, Howard M. "A Tutorial on Linear and Differential Cryptanalysis" (PDF). Archived (PDF) from the original on 2017-05-17.

[:4-14] 14.0 ^14.1 ^14.2 "S-Boxes and Their Algebraic Representations — Sage 9.2 Reference Manual: Cryptography". doc.sagemath.org. Retrieved 2021-05-04.

[15] Daemen, Joan; Govaerts, René; Vandewalle, Joos (1995). Preneel, Bart (ed.). "Correlation matrices". Fast Software Encryption. Lecture Notes in Computer Science (in English). Berlin, Heidelberg: Springer. 1008: 275–285. doi:10.1007/3-540-60590-8_21. ISBN 978-3-540-47809-6.

[16] Daemen, Joan (10 June 1998). "Chapter 5: Propagation and Correlation - Annex to AES Proposal Rijndael" (PDF). NIST. Archived (PDF) from the original on 2018-07-23.

[17] Nyberg, Kaisa (December 1, 2019). "The Extended Autocorrelation and Boomerang Tables and Links Between Nonlinearity Properties of Vectorial Boolean Functions" (PDF). Archived (PDF) from the original on 2020-11-02.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

@@ Line 1: / Line 1: @@
-{{Short description|Function returning one of only two values}}
+[[File:BinaryDecisionTree.svg|thumb|एक द्विअंगी निर्णय आरेख और एक त्रिगुट बूलियन फलन की सत्यमान फलन]]गणित में, '''बूलियन फलन''' एक फलन (गणित) होता है जिसका फलन और परिणाम का तर्क दो-तत्व सम्मुच्चय (सामान्यतः {true, false}, {0,1} या {-1,1}) से मान लेता है।<ref>{{Cite web|title=Boolean function - Encyclopedia of Mathematics|url=https://encyclopediaofmath.org/wiki/Boolean_function|access-date=2021-05-03|website=encyclopediaofmath.org}}</ref><ref>{{Cite web|last=Weisstein|first=Eric W.|title=Boolean Function|url=https://mathworld.wolfram.com/BooleanFunction.html|access-date=2021-05-03|website=mathworld.wolfram.com|language=en}}</ref> वैकल्पिक नाम स्विचन फलन हैं, विशेष रूप से पुराने [[कंप्यूटर विज्ञान]] साहित्य में उपयोग किए जाते हैं,<ref>{{Cite web|title=switching function|url=https://encyclopedia2.thefreedictionary.com/switching+function|access-date=2021-05-03|website=TheFreeDictionary.com}}</ref><ref>{{Cite journal|last=Davies|first=D. W.|date=December 1957|title=Switching Functions of Three Variables|url=https://ieeexplore.ieee.org/document/5222038|journal=IRE Transactions on Electronic Computers|volume=EC-6|issue=4|pages=265–275|doi=10.1109/TEC.1957.5222038|issn=0367-9950}}</ref> और सत्यमान फलन (या तार्किक कार्य) और [[तर्क]] में प्रयुक्त किए जाते हैं। बूलियन फलन [[बूलियन बीजगणित]] और [[स्विचिंग सिद्धांत|स्विचन सिद्धांत]] का विषय हैं।<ref>{{Citation|last=McCluskey|first=Edward J.|title=Switching theory|date=2003-01-01|url=https://dl.acm.org/doi/10.5555/1074100.1074844|encyclopedia=Encyclopedia of Computer Science|pages=1727–1731|place=GBR|publisher=John Wiley and Sons Ltd.|doi=|isbn=978-0-470-86412-8|access-date=2021-05-03}}</ref>
-[[File:BinaryDecisionTree.svg|thumb|एक द्विअंगी निर्णय आरेख और एक त्रिगुट बूलियन समारोह की सत्य तालिका]]
-{{distinguish|Binary function}}गणित में, एक बूलियन फ़ंक्शन एक फ़ंक्शन (गणित) होता है जिसका फ़ंक्शन और परिणाम का तर्क दो-तत्व सेट (आमतौर पर {true, false}, {0,1} या {-1,1}) से मान लेता है।<ref>{{Cite web|title=Boolean function - Encyclopedia of Mathematics|url=https://encyclopediaofmath.org/wiki/Boolean_function|access-date=2021-05-03|website=encyclopediaofmath.org}}</ref><ref>{{Cite web|last=Weisstein|first=Eric W.|title=Boolean Function|url=https://mathworld.wolfram.com/BooleanFunction.html|access-date=2021-05-03|website=mathworld.wolfram.com|language=en}}</ref> वैकल्पिक नाम स्विचिंग फ़ंक्शन हैं, विशेष रूप से पुराने [[कंप्यूटर विज्ञान]] साहित्य में उपयोग किए जाते हैं,<ref>{{Cite web|title=switching function|url=https://encyclopedia2.thefreedictionary.com/switching+function|access-date=2021-05-03|website=TheFreeDictionary.com}}</ref><ref>{{Cite journal|last=Davies|first=D. W.|date=December 1957|title=Switching Functions of Three Variables|url=https://ieeexplore.ieee.org/document/5222038|journal=IRE Transactions on Electronic Computers|volume=EC-6|issue=4|pages=265–275|doi=10.1109/TEC.1957.5222038|issn=0367-9950}}</ref> और सत्य कार्य (या तार्किक कार्य), [[तर्क]] में प्रयुक्त। बूलियन फ़ंक्शन [[बूलियन बीजगणित]] और [[स्विचिंग सिद्धांत]] का विषय हैं।<ref>{{Citation|last=McCluskey|first=Edward J.|title=Switching theory|date=2003-01-01|url=https://dl.acm.org/doi/10.5555/1074100.1074844|encyclopedia=Encyclopedia of Computer Science|pages=1727–1731|place=GBR|publisher=John Wiley and Sons Ltd.|doi=|isbn=978-0-470-86412-8|access-date=2021-05-03}}</ref>
-एक बूलियन फ़ंक्शन रूप लेता है <math>f:\{0,1\}^k \to \{0,1\}</math>, कहाँ <math>\{0,1\}</math> [[बूलियन डोमेन]] के रूप में जाना जाता है और <math>k</math> एक गैर-ऋणात्मक पूर्णांक है जिसे फलन की [[arity]] कहा जाता है। मामले में जहां <math>k=0</math>, फलन का एक स्थिर तत्व है <math>\{0,1\}</math>. एकाधिक आउटपुट के साथ एक बूलियन फ़ंक्शन, <math>f:\{0,1\}^k \to \{0,1\}^m</math> साथ <math>m>1</math> एक सदिश या सदिश-मूल्यवान बूलियन फ़ंक्शन (सममित [[क्रिप्टोग्राफी]] में एक [[एस-बॉक्स]]) है।<ref name=":2" />
-वहाँ हैं <math>2^{2^k}</math> विभिन्न बूलियन कार्यों के साथ <math>k</math> तर्क; विभिन्न सत्य तालिका की संख्या के बराबर <math>2^k</math> प्रविष्टियाँ।
+एक बूलियन फलन <math>f:\{0,1\}^k \to \{0,1\}</math> रूप लेता है, जहाँ <math>\{0,1\}</math> [[बूलियन डोमेन|बूलियन कार्यक्षेत्र]] के रूप में जाना जाता है और <math>k</math> एक गैर-ऋणात्मक पूर्णांक है जिसे फलन की [[arity|अरिटी]] कहा जाता है। उस स्तिथि में जहां <math>k=0</math>, फलन का एक स्थिर तत्व <math>\{0,1\}</math> है। एकाधिक निष्पाद <math>f:\{0,1\}^k \to \{0,1\}^m</math> के साथ  <math>m>1</math> के साथ बूलियन फलन सदिश या सदिश-मूल्यवान बूलियन फलन (सममित [[क्रिप्टोग्राफी|कूटलेखन]] में एक [[एस-बॉक्स|S-बक्स]]) है।<ref name=":2" />
-प्रत्येक <math>k</math>-एरी बूलियन फ़ंक्शन को प्रस्ताविक सूत्र के रूप में व्यक्त किया जा सकता है <math>k</math> चर <math>x_1,...,x_k</math>, और दो तर्कवाक्य सूत्र तार्किक तुल्यता हैं यदि और केवल यदि वे एक ही बूलियन फ़ंक्शन को व्यक्त करते हैं।
+वहाँ <math>2^{2^k}</math> विभिन्न बूलियन प्रकार्यों के साथ <math>k</math> तर्क हैं; विभिन्न सत्यमान फलन की संख्या के बराबर <math>2^k</math> प्रविष्टियाँ हैं।
+प्रत्येक <math>k</math>-एरी बूलियन फलन को प्रस्ताविक सूत्र <math>k</math> चर <math>x_1,...,x_k</math> के रूप में व्यक्त किया जा सकता है, और दो तर्कवाक्य सूत्र तार्किक तुल्यता हैं यदि और केवल यदि वे एक ही बूलियन फलन को व्यक्त करते हैं।
 == उदाहरण ==
-[[File:Logical connectives Hasse diagram.svg|alt=Diagram displaying the sixteen binary Boolean functions|thumb|सोलह बाइनरी बूलियन फ़ंक्शन]]
+[[File:Logical connectives Hasse diagram.svg|alt=Diagram displaying the sixteen binary Boolean functions|thumb|सोलह युग्मक बूलियन फलन]]
-{{See also|Truth table}}
+{{See also|सत्यमान सारणी}}
-प्रारंभिक सममित बूलियन फ़ंक्शन ([[तार्किक संयोजक]] या तर्क द्वार) हैं:
-* इन्वर्टर ([[लॉजिक गेट]]), निषेध या [[तार्किक पूरक]] - जो एक इनपुट प्राप्त करता है और जब वह इनपुट गलत होता है तो सही होता है ( नहीं )
+प्रारंभिक सममित बूलियन फलन ([[तार्किक संयोजक]] या तर्क द्वार) हैं:
-* [[या द्वार]] या [[तार्किक संयोजन]] - सत्य जब सभी इनपुट सत्य हैं (दोनों)
+* NOT, प्रतिवाद अथवा [[तार्किक पूरक]] - जो एक निविष्टि प्राप्त करता है और उस निविष्टि के गलत होने पर सही हो जाता है (नहीं)
-* या गेट या [[तार्किक विच्छेदन]] - सच है जब कोई इनपुट सच है (या तो)
+* [[या द्वार|AND]] अथवा [[तार्किक संयोजन]] - सत्य जब सभी निविष्टि सत्य हैं (दोनों)
-* XOR गेट या [[एकमात्र]] - सच जब इसका एक इनपुट सत्य है और दूसरा गलत है (बराबर नहीं)
+* OR अथवा [[तार्किक विच्छेदन]] - सच है जब कोई निविष्टि सच है (अन्यतर)
-* [[नंद द्वार]] या [[शेफर लाइन]] - सत्य जब यह मामला नहीं है कि सभी इनपुट सत्य हैं (दोनों नहीं)
+* XOR अथवा [[एकमात्र|अनन्य]] - सच जब इसका एक निविष्टि सत्य है और दूसरा गलत है (बराबर नहीं)
-*NOR गेट या लॉजिकल NOR - सत्य जब कोई भी इनपुट सत्य नहीं है (न तो)
-*XNOR गेट या [[तार्किक समानता]] - सच है जब दोनों इनपुट समान (बराबर) हैं
+* [[नंद द्वार|NAND]] अथवा [[शेफर लाइन|शेफर स्ट्रोक]] - सत्य जब यह स्तिथि नहीं है कि सभी निविष्टि सत्य हैं (दोनों नहीं)
-अधिक जटिल फ़ंक्शन का एक उदाहरण बहुसंख्यक फ़ंक्शन (विषम संख्या में इनपुट) है।
+*NOR अथवा तार्किक NOR - सत्य जब कोई भी निविष्टि सत्य नहीं है (अन्यतर)
+*XNOR अथवा [[तार्किक समानता]] - सच है जब दोनों निविष्टि समान (बराबर) हैं
+अधिक जटिल फलन का एक उदाहरण बहुसंख्यक फलन (विषम संख्या में निविष्टि) है।
 == प्रतिनिधित्व ==
-[[File:Three input Boolean circuit.jpg|thumb|एक बूलियन फ़ंक्शन एक [[बूलियन सर्किट]] के रूप में दर्शाया गया है]]एक बूलियन फ़ंक्शन को विभिन्न तरीकों से निर्दिष्ट किया जा सकता है:
+[[File:Three input Boolean circuit.jpg|thumb|बूलियन फलन एक [[बूलियन सर्किट|बूलियन परिपथ]] के रूप में दर्शाया गया है]]एक बूलियन फलन को विभिन्न तरीकों से निर्दिष्ट किया जा सकता है:
-* सत्य तालिका: तर्कों के सभी संभावित मूल्यों के लिए इसके मूल्य को स्पष्ट रूप से सूचीबद्ध करना
+* सत्यमान फलन: तर्कों के सभी संभावित मूल्यों के लिए इसके मूल्य को स्पष्ट रूप से सूचीबद्ध करना
-** मार्क्वांड आरेख: दो-आयामी ग्रिड में व्यवस्थित सत्य तालिका मान (कर्नाघ मानचित्र में उपयोग किया जाता है)
+** मार्क्वांड आरेख: दो-आयामी संजाल में व्यवस्थित सत्यमान फलन मान (कर्नाघ मानचित्र में उपयोग किया जाता है)
-**द्विआधारी निर्णय आरेख, एक द्विआधारी वृक्ष के तल पर सत्य तालिका मानों को सूचीबद्ध करता है
+**द्विआधारी निर्णय आरेख, एक द्विआधारी वृक्ष के तल पर सत्यमान फलन मानों को सूचीबद्ध करता है
-**[[वेन आरेख]], समतल के क्षेत्रों के रंग के रूप में सत्य तालिका मानों का चित्रण
+**[[वेन आरेख]], समतल के क्षेत्रों के रंग के रूप में सत्यमान फलन मानों का चित्रण
-बीजगणितीय रूप से, प्रारंभिक बूलियन कार्यों का उपयोग करके एक प्रस्तावक सूत्र के रूप में:
+बीजगणितीय रूप से, प्रारंभिक बूलियन फलन का उपयोग करके एक प्रस्तावक सूत्र के रूप में:
-* नकारात्मक सामान्य रूप, तर्कों और उनके पूरक के AND और OR का मनमाना मिश्रण
+* ऋणात्मक सामान्य रूप, तर्कों और उनके पूरक के AND और OR का मनमाना मिश्रण
 * वियोगात्मक सामान्य रूप, तर्कों और उनके पूरक के ANDs के OR के रूप में
 * [[संयोजक सामान्य रूप]], तर्कों और उनके पूरक के ORs के AND के रूप में
-*[[कैननिकल सामान्य रूप]], एक मानकीकृत सूत्र जो विशिष्ट रूप से फ़ंक्शन की पहचान करता है:
+*[[कैननिकल सामान्य रूप|विहित सामान्य रूप]], एक मानकीकृत सूत्र जो विशिष्ट रूप से फलन की पहचान करता है:
-**[[बीजगणितीय सामान्य रूप]] या Zhegalkin बहुपद, तर्कों के ANDs के XOR के रूप में (कोई पूरक की अनुमति नहीं है)
+**[[बीजगणितीय सामान्य रूप]] या झेगाल्किन बहुपद, तर्कों के ANDs के XOR के रूप में (कोई पूरक की अनुमति नहीं है)
-**पूर्ण (प्रामाणिक) वियोगात्मक सामान्य रूप, प्रत्येक तर्क या पूरक ([[minterms]]) युक्त AND का OR
+**पूर्ण (प्रामाणिक) वियोगात्मक सामान्य रूप, प्रत्येक तर्क या पूरक ([[minterms|गुणद]]) युक्त AND का OR
-**पूर्ण (प्रामाणिक) संयोजक सामान्य रूप, प्रत्येक तर्क या पूरक ([[maxterms]]) वाले ओआरएस का AND
+**पूर्ण (प्रामाणिक) संयोजक सामान्य रूप, प्रत्येक तर्क या पूरक ([[maxterms|योपद]]) वाले ORs का AND
-**[[ब्लेक विहित रूप]], फंक्शन के सभी [[प्रधान शामिल है]] का OR
+**[[ब्लेक विहित रूप]], फलन के सभी [[प्रधान शामिल है|प्रधान आपाद्य]] का OR
-बूलियन फ़ार्मुलों को ग्राफ़ के रूप में भी प्रदर्शित किया जा सकता है:
+बूलियन सूत्र को आरेख के रूप में भी प्रदर्शित किया जा सकता है:
-* [[प्रस्तावित निर्देशित विश्वकोश ग्राफ]]
+* [[प्रस्तावित निर्देशित विश्वकोश ग्राफ|प्रस्तावित निर्देशित विश्वकोश आरेख]]
-**लॉजिक गेट का सर्किट (कंप्यूटर साइंस) डायग्राम, एक बूलियन सर्किट
+**तर्क द्वार का अंकीय परिपथ (कंप्यूटर साइंस) रेखाचित्र, एक बूलियन परिपथ
-**[[और-पलटनेवाला ग्राफ]], केवल AND और NOT का उपयोग करके
+**[[और-पलटनेवाला ग्राफ|और-अंर्तवर्तक]] [[प्रस्तावित निर्देशित विश्वकोश ग्राफ|आरेख]], केवल AND और NOT का उपयोग करके
-इलेक्ट्रॉनिक सर्किट को अनुकूलित करने के लिए, बूलियन सूत्र क्विन-मैक्लुस्की एल्गोरिथम या कर्णघ मानचित्र का उपयोग करके [[बूलियन कार्यों का न्यूनतमकरण]] हो सकता है।
+इलेक्ट्रॉनिक परिपथ को अनुकूलित करने के लिए, बूलियन सूत्र क्विन-मैक्लुस्की कलन विधि या कर्णघ मानचित्र का उपयोग करके [[बूलियन कार्यों का न्यूनतमकरण|बूलियन प्रकार्यों का न्यूनतमकरण]] हो सकता है।
 == विश्लेषण ==
-{{see also|Analysis of Boolean functions}}
+{{see also|बूलियन फलनों का विश्लेषण}}
 === गुण ===
-एक बूलियन फ़ंक्शन में विभिन्न गुण हो सकते हैं:<ref name=":0">{{Cite web|title=Boolean functions — Sage 9.2 Reference Manual: Cryptography|url=https://doc.sagemath.org/html/en/reference/cryptography/sage/crypto/boolean_function.html|access-date=2021-05-01|website=doc.sagemath.org}}</ref>
+एक बूलियन फलन में विभिन्न गुण हो सकते हैं:<ref name=":0">{{Cite web|title=Boolean functions — Sage 9.2 Reference Manual: Cryptography|url=https://doc.sagemath.org/html/en/reference/cryptography/sage/crypto/boolean_function.html|access-date=2021-05-01|website=doc.sagemath.org}}</ref>
-* निरंतर कार्य: इसके तर्कों की परवाह किए बिना हमेशा सत्य या हमेशा गलत होता है।
+* निरंतर कार्य: अपने तर्कों पर ध्यान दिए बिना हमेशा सत्य या हमेशा असत्य होता है।
-* मोनोटोनिक फ़ंक्शन # बूलियन फ़ंक्शंस में: तर्क मानों के प्रत्येक संयोजन के लिए, एक तर्क को असत्य से सत्य में बदलने से केवल आउटपुट को असत्य से सत्य पर स्विच करने का कारण बन सकता है न कि सत्य से असत्य में। एक फ़ंक्शन को एक निश्चित चर में [[अनएट फंक्शन]] कहा जाता है यदि यह उस चर में परिवर्तन के संबंध में मोनोटोन है।
+* एकदिष्ट फलन: तर्क मानों के प्रत्येक संयोजन के लिए, एक तर्क को असत्य से सत्य में बदलने से केवल निष्पाद को असत्य से सत्य पर स्विच करने का कारण बन सकता है न कि सत्य से असत्य में बदलने का कारण। एक फलन को एक निश्चित चर में [[अनएट फंक्शन|यूनेट फलन]] कहा जाता है यदि यह उस चर में परिवर्तन के संबंध में एकदिष्ट है।
-* रैखिकता # बूलियन फ़ंक्शंस: प्रत्येक चर के लिए, चर के मान को फ़्लिप करना या तो हमेशा सत्य मान में अंतर करता है या कभी भी अंतर नहीं करता है (एक समता फ़ंक्शन)।
+* रैखिकता: प्रत्येक चर के लिए, चर के मान को  प्रतिवर्न करना या तो हमेशा सत्य मान में अंतर करता है या कभी भी अंतर नहीं करता है (एक समता फलन)।
-* [[सममित बूलियन फ़ंक्शन]]: मान इसके तर्कों के क्रम पर निर्भर नहीं करता है।
+* [[सममित बूलियन फ़ंक्शन|सममित बूलियन फलन]]: मान इसके तर्कों के क्रम पर निर्भर नहीं करता है।
-* [[रीड-वन्स फंक्शन]] | रीड-वन्स: प्रत्येक चर के एक उदाहरण के साथ तार्किक संयोजन, तार्किक संयोजन और निषेध के साथ व्यक्त किया जा सकता है।
+* [[रीड-वन्स फंक्शन|रीड-वन्स फलन]]: प्रत्येक चर के एक उदाहरण के साथ संयोजन, वियोजन और प्रतिवाद के साथ व्यक्त किया जा सकता है।
-*[[संतुलित बूलियन फ़ंक्शन]]: यदि इसकी सत्य तालिका में समान संख्या में शून्य और एक होते हैं। फ़ंक्शन का [[हैमिंग वजन]] सत्य तालिका में इकाइयों की संख्या है।
+*[[संतुलित बूलियन फ़ंक्शन|संतुलित बूलियन फलन]]: यदि इसकी सत्यमान सारणी में शून्य और एक की समान संख्या है। फलन का [[हैमिंग वजन|हैमिंग भार]] सत्यमान फलन में इकाइयों की संख्या है।
-* [[तुला समारोह]]: इसके डेरिवेटिव सभी संतुलित हैं (ऑटोक्लेररेशन स्पेक्ट्रम शून्य है)
+* [[तुला समारोह|तुला फलन]]: इसके व्युत्पन्न शब्द सभी संतुलित हैं (स्वसहसंबंध वर्णक्रम शून्य है)
-* एमवें क्रम के लिए सहसंबंध उन्मुक्ति: यदि आउटपुट अधिकतम एम तर्कों के सभी (रैखिक) संयोजनों के साथ असंबद्ध है
+* m क्रम के लिए सहसंबंध उन्मुक्ति: यदि निष्पाद अधिकतम m तर्कों के सभी (रैखिक) संयोजनों के साथ असंबद्ध है
-* [[इवेसिव बूलियन फ़ंक्शन]]: यदि फ़ंक्शन के मूल्यांकन के लिए हमेशा सभी तर्कों के मान की आवश्यकता होती है
+* [[इवेसिव बूलियन फ़ंक्शन|अस्पष्ट बूलियन फलन]]: यदि फलन के मूल्यांकन के लिए सदैव सभी तर्कों के मान की आवश्यकता होती है
-*एक बूलियन फ़ंक्शन एक शेफ़र फ़ंक्शन है यदि इसका उपयोग किसी भी मनमाना बूलियन फ़ंक्शन को बनाने (रचना द्वारा) करने के लिए किया जा सकता है ([[कार्यात्मक पूर्णता]] देखें)
+*बूलियन फलन एक शेफ़र फलन है यदि इसका उपयोग किसी भी स्वेच्छाचारी बूलियन फलन को बनाने (रचना द्वारा) करने के लिए किया जा सकता है ([[कार्यात्मक पूर्णता]] देखें)
-*किसी फलन की बीजगणितीय डिग्री उसके बीजगणितीय सामान्य रूप में उच्चतम क्रम के एकपदी का क्रम है
+*किसी फलन की बीजगणितीय घात उसके बीजगणितीय सामान्य रूप में उच्चतम क्रम के एकपदी का क्रम है
-[[सर्किट जटिलता]] बूलियन कार्यों को उन सर्किटों के आकार या गहराई के संबंध में वर्गीकृत करने का प्रयास करती है जो उनकी गणना कर सकते हैं।
+[[सर्किट जटिलता|परिपथ जटिलता]] बूलियन फलन को उन परिपथ के आकार या गहराई के संबंध में वर्गीकृत करने का प्रयास करती है जो उनकी गणना कर सकते हैं।
 === व्युत्पन्न कार्य ===
-सकारात्मक और नकारात्मक शैनन कॉफ़ेक्टर्स ([[शैनन विस्तार]]) में बूल के विस्तार प्रमेय का उपयोग करके एक बूलियन फ़ंक्शन को विघटित किया जा सकता है, जो कि (k-1) -री फ़ंक्शन हैं जो किसी एक तर्क (शून्य या एक) को ठीक करने के परिणामस्वरूप होते हैं। इनपुट के एक सेट (एक रैखिक उप-स्थान) पर एक रैखिक बाधा लगाकर प्राप्त सामान्य (के-एरी) कार्यों को उप-कार्यों के रूप में जाना जाता है।<ref name=":1">{{Cite journal|last1=Tarannikov|first1=Yuriy|last2=Korolev|first2=Peter|last3=Botev|first3=Anton|date=2001|editor-last=Boyd|editor-first=Colin|title=Autocorrelation Coefficients and Correlation Immunity of Boolean Functions|journal=Advances in Cryptology — ASIACRYPT 2001|series=Lecture Notes in Computer Science|volume=2248|language=en|location=Berlin, Heidelberg|publisher=Springer|pages=460–479|doi=10.1007/3-540-45682-1_27|isbn=978-3-540-45682-7|doi-access=free}}</ref>
+घनात्मक और ऋणात्मक शैनन सहगुणक ([[शैनन विस्तार]]) में बूल के विस्तार प्रमेय का उपयोग करके एक बूलियन फलन को विघटित किया जा सकता है, जो कि (k-1) -री फलन हैं जो किसी एक तर्क (शून्य या एक) को ठीक करने के परिणामस्वरूप होते हैं। निविष्टि के एक सम्मुच्चय (एक रैखिक उप-स्थान) पर एक रैखिक बाधा लगाकर प्राप्त सामान्य (k-एरी) फलन को उप-फलन के रूप में जाना जाता है।<ref name=":1">{{Cite journal|last1=Tarannikov|first1=Yuriy|last2=Korolev|first2=Peter|last3=Botev|first3=Anton|date=2001|editor-last=Boyd|editor-first=Colin|title=Autocorrelation Coefficients and Correlation Immunity of Boolean Functions|journal=Advances in Cryptology — ASIACRYPT 2001|series=Lecture Notes in Computer Science|volume=2248|language=en|location=Berlin, Heidelberg|publisher=Springer|pages=460–479|doi=10.1007/3-540-45682-1_27|isbn=978-3-540-45682-7|doi-access=free}}</ref>
-किसी एक तर्क के लिए फ़ंक्शन का [[बूलियन व्युत्पन्न]] एक (k-1)-एरी फ़ंक्शन है जो तब सत्य होता है जब फ़ंक्शन का आउटपुट चुने गए इनपुट चर के प्रति संवेदनशील होता है; यह दो संगत सहकारकों का XOR है। रीड-मुलर विस्तार में एक व्युत्पन्न और एक सहकारक का उपयोग किया जाता है। अवधारणा को x और x + dx पर फ़ंक्शन के अंतर (XOR) के रूप में प्राप्त दिशा dx में k-ary व्युत्पन्न के रूप में सामान्यीकृत किया जा सकता है।<ref name=":1" />
-एक बूलियन फलन का Zhegalkin बहुपद#Möbius रूपान्तरण|Mobius रूपान्तरण (या बूले-मोबियस रूपान्तरण) इसके Zhegalkin बहुपद (बीजीय सामान्य रूप) के गुणांकों का समुच्चय है, जो एकपदीय घातांक सदिशों के फलन के रूप में होता है। यह एक इनवोल्यूशन (गणित) है | स्व-उलटा परिवर्तन। यह तेजी से फूरियर रूपांतरण के अनुरूप एक [[तितली आरेख]] ([[फास्ट फूरियर ट्रांसफॉर्म]]) का उपयोग करके कुशलतापूर्वक गणना की जा सकती है।<ref>{{Citation|last=Carlet|first=Claude|title=Boolean Functions for Cryptography and Error-Correcting Codes|date=2010|url=https://www.math.univ-paris13.fr/~carlet/chap-fcts-Bool-corr.pdf|work=Boolean Models and Methods in Mathematics, Computer Science, and Engineering|pages=257–397|editor-last=|editor-first=|series=Encyclopedia of Mathematics and its Applications|place=Cambridge|publisher=Cambridge University Press|isbn=978-0-521-84752-0|access-date=2021-05-17|editor2-last=|editor2-first=}}</ref> संपाती बूलियन फलन उनके मोबियस रूपांतरण के बराबर होते हैं, अर्थात उनकी सत्य तालिका (मिन्टरम) मान उनके बीजगणितीय (मोनोमियल) गुणांक के बराबर होते हैं।<ref>{{Cite journal|last1=Pieprzyk|first1=Josef|last2=Wang|first2=Huaxiong|last3=Zhang|first3=Xian-Mo|date=2011-05-01|title=Mobius transforms, coincident Boolean functions and non-coincidence property of Boolean functions|url=https://doi.org/10.1080/00207160.2010.509428|journal=International Journal of Computer Mathematics|volume=88|issue=7|pages=1398–1416|doi=10.1080/00207160.2010.509428|s2cid=9580510 |issn=0020-7160}}</ref> k तर्कों के 2^2^(k−1) संपाती फलन हैं।<ref>{{Cite journal|last1=Nitaj|first1=Abderrahmane|last2=Susilo|first2=Willy|last3=Tonien|first3=Joseph|date=2017-10-01|title=Dirichlet product for boolean functions|url=https://doi.org/10.1007/s12190-016-1037-4|journal=Journal of Applied Mathematics and Computing|language=en|volume=55|issue=1|pages=293–312|doi=10.1007/s12190-016-1037-4|s2cid=16760125 |issn=1865-2085}}</ref>
+किसी एक तर्क के लिए फलन का [[बूलियन व्युत्पन्न]] एक (k-1)-एरी फलन है जो तब सत्य होता है जब फलन का निष्पाद चुने गए निविष्टि चर के प्रति संवेदनशील होता है; यह दो संगत सहकारकों का XOR है। रीड-मुलर विस्तार में एक व्युत्पन्न और एक सहकारक का उपयोग किया जाता है। अवधारणा को x और x + dx पर फलन के अंतर (XOR) के रूप में प्राप्त दिशा dx में k-एरी व्युत्पन्न के रूप में सामान्यीकृत किया जा सकता है।<ref name=":1" />
+एक बूलियन फलन का मोबिअस बहुपद रूपान्तरण (या बूले-मोबियस रूपान्तरण) इसके बहुपद (बीजीय सामान्य रूप) के गुणांकों का समुच्चय है, जो एकपदीय घातांक सदिशों के फलन के रूप में होता है। यह एक स्व-व्युत्क्रमण रूपांतर है। यह तेजी से फूरियर रूपांतरण के अनुरूप एक [[तितली आरेख]] ([[फास्ट फूरियर ट्रांसफॉर्म|तीव्र फूरियर रूपांतरण]]) का उपयोग करके कुशलतापूर्वक गणना की जा सकती है।<ref>{{Citation|last=Carlet|first=Claude|title=Boolean Functions for Cryptography and Error-Correcting Codes|date=2010|url=https://www.math.univ-paris13.fr/~carlet/chap-fcts-Bool-corr.pdf|work=Boolean Models and Methods in Mathematics, Computer Science, and Engineering|pages=257–397|editor-last=|editor-first=|series=Encyclopedia of Mathematics and its Applications|place=Cambridge|publisher=Cambridge University Press|isbn=978-0-521-84752-0|access-date=2021-05-17|editor2-last=|editor2-first=}}</ref> संपाती बूलियन फलन उनके मोबियस रूपांतरण के बराबर होते हैं, अर्थात उनकी सत्यमान फलन (गुणद) मान उनके बीजगणितीय (एकपद ) गुणांक के बराबर होते हैं।<ref>{{Cite journal|last1=Pieprzyk|first1=Josef|last2=Wang|first2=Huaxiong|last3=Zhang|first3=Xian-Mo|date=2011-05-01|title=Mobius transforms, coincident Boolean functions and non-coincidence property of Boolean functions|url=https://doi.org/10.1080/00207160.2010.509428|journal=International Journal of Computer Mathematics|volume=88|issue=7|pages=1398–1416|doi=10.1080/00207160.2010.509428|s2cid=9580510 |issn=0020-7160}}</ref> k तर्कों के 2^2^(k−1) संपाती फलन हैं।<ref>{{Cite journal|last1=Nitaj|first1=Abderrahmane|last2=Susilo|first2=Willy|last3=Tonien|first3=Joseph|date=2017-10-01|title=Dirichlet product for boolean functions|url=https://doi.org/10.1007/s12190-016-1037-4|journal=Journal of Applied Mathematics and Computing|language=en|volume=55|issue=1|pages=293–312|doi=10.1007/s12190-016-1037-4|s2cid=16760125 |issn=1865-2085}}</ref>
-=== क्रिप्टोग्राफिक विश्लेषण ===
+=== गूढ़लेखिकी विश्लेषण ===
-बूलियन फ़ंक्शन का [[वॉल्श रूपांतरण]] एक k-ary पूर्णांक-मूल्यवान फ़ंक्शन है, जो पैरिटी फ़ंक्शन ([[वाल्श समारोह]]) में अपघटन के गुणांक देता है, [[फूरियर रूपांतरण]] द्वारा [[लयबद्ध]] में वास्तविक-मूल्यवान फ़ंक्शन के अपघटन के अनुरूप होता है। इसका वर्ग पावर स्पेक्ट्रम या वॉल्श स्पेक्ट्रम है। एकल बिट सदिश का वॉल्श गुणांक बूलियन फ़ंक्शन के आउटपुट के साथ उस बिट के सहसंबंध के लिए एक उपाय है। अधिकतम (पूर्ण मान में) वॉल्श गुणांक को फलन की रैखिकता के रूप में जाना जाता है।<ref name=":1" />बिट्स (ऑर्डर) की उच्चतम संख्या जिसके लिए सभी वॉल्श गुणांक 0 हैं (अर्थात सबफंक्शन संतुलित हैं) को लचीलापन के रूप में जाना जाता है, और फ़ंक्शन को उस क्रम से सहसंबंध प्रतिरक्षा कहा जाता है।<ref name=":1" />वॉल्श गुणांक [[रैखिक क्रिप्ट विश्लेषण]] में एक महत्वपूर्ण भूमिका निभाते हैं।
+बूलियन फलन का [[वॉल्श रूपांतरण]] एक k-एरी पूर्णांक-मूल्यवान फलन है, जो रैखिक फलन ([[वाल्श समारोह|वाल्श फलन]]) में अपघटन के गुणांक देता है, [[फूरियर रूपांतरण]] द्वारा [[लयबद्ध]] में वास्तविक-मूल्यवान फलन के अपघटन के अनुरूप होता है। इसका वर्ग मानावली फलन या वॉल्श फलन है। एकल बिट सदिश का वॉल्श गुणांक बूलियन फलन के निष्पाद के साथ उस बिट के सहसंबंध के लिए एक उपाय है। अधिकतम (पूर्ण मान में) वॉल्श गुणांक को फलन की रैखिकता के रूप में जाना जाता है।<ref name=":1" />बिट्स (अनुक्रम) की उच्चतम संख्या को प्रतिरोधक्षमता के रूप में जाना जाता है जिसके लिए सभी वॉल्श गुणांक 0 हैं (अर्थात उपप्रकार्य संतुलित हैं), और फलन को उस क्रम के प्रति सह-संबंध प्रतिरक्षा कहा जाता है।<ref name=":1" /> वॉल्श गुणांक [[रैखिक क्रिप्ट विश्लेषण]] में एक महत्वपूर्ण भूमिका निभाते हैं।
-बूलियन फ़ंक्शन का स्वत: सहसंबंध एक k-ary पूर्णांक-मूल्यवान फ़ंक्शन है जो इनपुट और फ़ंक्शन ouput में परिवर्तन के एक निश्चित सेट के बीच संबंध देता है। किसी दिए गए बिट वेक्टर के लिए यह उस दिशा में डेरिवेटिव के हैमिंग वजन से संबंधित है। अधिकतम स्वसहसंबंध गुणांक (निरपेक्ष मूल्य में) को निरपेक्ष संकेतक के रूप में जाना जाता है।<ref name=":0" /><ref name=":1" />यदि बिट्स की एक निश्चित संख्या के लिए सभी स्वतःसंबंध गुणांक 0 हैं (अर्थात डेरिवेटिव संतुलित हैं) तो फ़ंक्शन को उस क्रम के प्रचार मानदंड को पूरा करने के लिए कहा जाता है; यदि वे सभी शून्य हैं तो फलन तुला फलन है।<ref>{{Cite journal|last1=Canteaut|first1=Anne|last2=Carlet|first2=Claude|last3=Charpin|first3=Pascale|last4=Fontaine|first4=Caroline|date=2000-05-14|title=Propagation characteristics and correlation-immunity of highly nonlinear boolean functions|url=https://dl.acm.org/doi/10.5555/1756169.1756219|journal=Proceedings of the 19th International Conference on Theory and Application of Cryptographic Techniques|series=EUROCRYPT'00|location=Bruges, Belgium|publisher=Springer-Verlag|pages=507–522|isbn=978-3-540-67517-4}}</ref> स्वतः सहसंबंध गुणांक विभेदक क्रिप्ट विश्लेषण में महत्वपूर्ण भूमिका निभाते हैं।
+बूलियन फलन का स्वत: सहसंबंध एक k-एरी पूर्णांक-मूल्यवान फलन है जो निविष्टि और फलन निष्पाद में परिवर्तन के एक निश्चित सम्मुच्चय के बीच संबंध देता है। किसी दिए गए बिट सदिश के लिए यह उस दिशा में व्युत्पन्न के हैमिंग भार से संबंधित है। अधिकतम स्वसहसंबंध गुणांक (निरपेक्ष मूल्य में) को निरपेक्ष संकेतक के रूप में जाना जाता है।<ref name=":0" /><ref name=":1" />यदि बिट्स की एक निश्चित संख्या के लिए सभी स्वतःसंबंध गुणांक 0 हैं (अर्थात व्युत्पन्न संतुलित हैं) तो फलन को उस क्रम के प्रचार मानदंड को पूरा करने के लिए कहा जाता है; यदि वे सभी शून्य हैं तो फलन बंकित फलन है।<ref>{{Cite journal|last1=Canteaut|first1=Anne|last2=Carlet|first2=Claude|last3=Charpin|first3=Pascale|last4=Fontaine|first4=Caroline|date=2000-05-14|title=Propagation characteristics and correlation-immunity of highly nonlinear boolean functions|url=https://dl.acm.org/doi/10.5555/1756169.1756219|journal=Proceedings of the 19th International Conference on Theory and Application of Cryptographic Techniques|series=EUROCRYPT'00|location=Bruges, Belgium|publisher=Springer-Verlag|pages=507–522|isbn=978-3-540-67517-4}}</ref> स्वतः सहसंबंध गुणांक विभेदक क्रिप्ट विश्लेषण में महत्वपूर्ण भूमिका निभाते हैं।
-एक बूलियन फ़ंक्शन के वॉल्श गुणांक और इसके स्वत: सहसंबंध गुणांक वीनर-खिनचिन प्रमेय के समकक्ष से संबंधित हैं, जो बताता है कि स्वत: सहसंबंध और पावर स्पेक्ट्रम वॉल्श रूपांतरण जोड़ी हैं।<ref name=":1" />
+एक बूलियन फलन के वॉल्श गुणांक और इसके स्वत: सहसंबंध गुणांक वीनर-खिनचिन प्रमेय के समकक्ष से संबंधित हैं, जो बताता है कि स्वत: सहसंबंध और मानावली फलन वॉल्श रूपांतरण जोड़ी हैं।<ref name=":1" />
-इन अवधारणाओं को स्वाभाविक रूप से सदिश बूलियन कार्यों के लिए उनके आउटपुट बिट्स (निर्देशांक) पर व्यक्तिगत रूप से, या अधिक अच्छी तरह से, आउटपुट बिट्स के सभी रैखिक कार्यों के सेट को देखकर, इसके घटकों के रूप में जाना जाता है।<ref name=":2">{{Cite web|last=Carlet|first=Claude|title=Vectorial Boolean Functions for Cryptography|url=https://www.math.univ-paris13.fr/~carlet/chap-vectorial-fcts-corr.pdf|url-status=live|website=University of Paris|archive-url=https://web.archive.org/web/20160117102533/http://www.math.univ-paris13.fr:80/~carlet/chap-vectorial-fcts-corr.pdf |archive-date=2016-01-17 }}</ref> घटकों के वॉल्श रूपांतरणों के सेट को रैखिक सन्निकटन तालिका (LAT) के रूप में जाना जाता है<ref name=":3">{{Cite web|last=Heys|first=Howard M.|title=A Tutorial on Linear and Differential Cryptanalysis|url=http://www.cs.bc.edu/~straubin/crypto2017/heys.pdf|url-status=live|archive-url=https://web.archive.org/web/20170517014157/http://www.cs.bc.edu:80/~straubin/crypto2017/heys.pdf |archive-date=2017-05-17 }}</ref><ref name=":4">{{Cite web|title=S-Boxes and Their Algebraic Representations — Sage 9.2 Reference Manual: Cryptography|url=https://doc.sagemath.org/html/en/reference/cryptography/sage/crypto/sbox.html|access-date=2021-05-04|website=doc.sagemath.org}}</ref> या सहसंबंध मैट्रिक्स;<ref>{{Cite journal|last1=Daemen|first1=Joan|last2=Govaerts|first2=René|last3=Vandewalle|first3=Joos|date=1995|editor-last=Preneel|editor-first=Bart|title=Correlation matrices|journal=Fast Software Encryption|series=Lecture Notes in Computer Science|volume=1008|language=en|location=Berlin, Heidelberg|publisher=Springer|pages=275–285|doi=10.1007/3-540-60590-8_21|isbn=978-3-540-47809-6|doi-access=free}}</ref><ref>{{Cite web|last=Daemen|first=Joan|date=10 June 1998|title=Chapter 5: Propagation and Correlation - Annex to AES Proposal Rijndael|url=https://csrc.nist.gov/CSRC/media/Projects/Cryptographic-Standards-and-Guidelines/documents/aes-development/PropCorr.pdf|url-status=live|website=NIST|archive-url=https://web.archive.org/web/20180723015757/https://csrc.nist.gov/CSRC/media/Projects/Cryptographic-Standards-and-Guidelines/documents/aes-development/PropCorr.pdf |archive-date=2018-07-23 }}</ref> यह इनपुट और आउटपुट बिट्स के विभिन्न रैखिक संयोजनों के बीच संबंध का वर्णन करता है। घटकों के स्वत: सहसंबंध गुणांक का सेट स्वत: सहसंबंध तालिका है,<ref name=":4" />घटकों के वाल्श परिवर्तन से संबंधित<ref>{{Cite web|last=Nyberg|first=Kaisa|date=December 1, 2019|title=The Extended Autocorrelation and Boomerang Tables and Links Between Nonlinearity Properties of Vectorial Boolean Functions|url=https://eprint.iacr.org/2019/1381.pdf|url-status=live|archive-url=https://web.archive.org/web/20201102023321/https://eprint.iacr.org/2019/1381.pdf |archive-date=2020-11-02 }}</ref> अधिक व्यापक रूप से प्रयुक्त अंतर वितरण तालिका (DDT) के लिए<ref name=":3" /><ref name=":4" />जो इनपुट और आउटपुट बिट्स में अंतर के बीच सहसंबंधों को सूचीबद्ध करता है (यह भी देखें: एस-बॉक्स)।
+इन अवधारणाओं को स्वाभाविक रूप से सदिश बूलियन फलन के लिए उनके निष्पाद बिट्स (निर्देशांक) पर व्यक्तिगत रूप से, या अधिक अच्छी तरह से, निष्पाद बिट्स के सभी रैखिक फलन के सम्मुच्चय को देखकर, इसके घटकों के रूप में जाना जाता है।<ref name=":2">{{Cite web|last=Carlet|first=Claude|title=Vectorial Boolean Functions for Cryptography|url=https://www.math.univ-paris13.fr/~carlet/chap-vectorial-fcts-corr.pdf|url-status=live|website=University of Paris|archive-url=https://web.archive.org/web/20160117102533/http://www.math.univ-paris13.fr:80/~carlet/chap-vectorial-fcts-corr.pdf |archive-date=2016-01-17 }}</ref> घटकों के वॉल्श रूपांतरणों के सम्मुच्चय को रैखिक सन्निकटन तालिका (LAT) या सहसंबंध परिवेश के रूप में जाना जाता है<ref name=":3">{{Cite web|last=Heys|first=Howard M.|title=A Tutorial on Linear and Differential Cryptanalysis|url=http://www.cs.bc.edu/~straubin/crypto2017/heys.pdf|url-status=live|archive-url=https://web.archive.org/web/20170517014157/http://www.cs.bc.edu:80/~straubin/crypto2017/heys.pdf |archive-date=2017-05-17 }}</ref><ref name=":4">{{Cite web|title=S-Boxes and Their Algebraic Representations — Sage 9.2 Reference Manual: Cryptography|url=https://doc.sagemath.org/html/en/reference/cryptography/sage/crypto/sbox.html|access-date=2021-05-04|website=doc.sagemath.org}}</ref> <ref>{{Cite journal|last1=Daemen|first1=Joan|last2=Govaerts|first2=René|last3=Vandewalle|first3=Joos|date=1995|editor-last=Preneel|editor-first=Bart|title=Correlation matrices|journal=Fast Software Encryption|series=Lecture Notes in Computer Science|volume=1008|language=en|location=Berlin, Heidelberg|publisher=Springer|pages=275–285|doi=10.1007/3-540-60590-8_21|isbn=978-3-540-47809-6|doi-access=free}}</ref><ref>{{Cite web|last=Daemen|first=Joan|date=10 June 1998|title=Chapter 5: Propagation and Correlation - Annex to AES Proposal Rijndael|url=https://csrc.nist.gov/CSRC/media/Projects/Cryptographic-Standards-and-Guidelines/documents/aes-development/PropCorr.pdf|url-status=live|website=NIST|archive-url=https://web.archive.org/web/20180723015757/https://csrc.nist.gov/CSRC/media/Projects/Cryptographic-Standards-and-Guidelines/documents/aes-development/PropCorr.pdf |archive-date=2018-07-23 }}</ref> यह निविष्टि और निष्पाद बिट्स के विभिन्न रैखिक संयोजनों के बीच संबंध का वर्णन करता है। घटकों के स्वत: सहसंबंध गुणांक का सम्मुच्चय स्वत: सहसंबंध तालिका है,<ref name=":4" />घटकों के वाल्श परिवर्तन से संबंधित<ref>{{Cite web|last=Nyberg|first=Kaisa|date=December 1, 2019|title=The Extended Autocorrelation and Boomerang Tables and Links Between Nonlinearity Properties of Vectorial Boolean Functions|url=https://eprint.iacr.org/2019/1381.pdf|url-status=live|archive-url=https://web.archive.org/web/20201102023321/https://eprint.iacr.org/2019/1381.pdf |archive-date=2020-11-02 }}</ref> अधिक व्यापक रूप से प्रयुक्त अंतर वितरण तालिका (DDT) के लिए<ref name=":3" /><ref name=":4" />जो निविष्टि और निष्पाद बिट्स में अंतर के बीच सहसंबंधों को सूचीबद्ध करता है (यह भी देखें: S-बक्स)।
 == वास्तविक बहुपद रूप ==
-=== यूनिट हाइपरक्यूब === पर
+'''एकांक अतिविम पर'''
-कोई भी बूलियन फ़ंक्शन <math>f(x): \{0,1\}^n \rightarrow \{0,1\}</math> में एक [[बहुरेखीय बहुपद]] द्वारा विशिष्ट रूप से [[वास्तविक संख्या]] में विस्तारित (प्रक्षेपित) किया जा सकता है <math>\mathbb{R}^n</math>, [[लैग्रेंज बहुपद]] द्वारा गुणा किए गए सत्य तालिका मानों के योग द्वारा निर्मित:<math display="block">f^*(x) = \sum_{a \in {\{0,1\}}^n} f(a) \prod_{i:a_i=1} x_i \prod_{i:a_i=0} (1-x_i)</math>उदाहरण के लिए, बाइनरी एक्सओआर फ़ंक्शन का विस्तार <math>x \oplus y</math> है<math display="block">0(1-x)(1-y) + 1x(1-y) + 1(1-x)y + 0xy</math>जो बराबर है<math display="block">x + y -2xy</math>कुछ अन्य उदाहरण निषेध हैं (<math>1-x</math>), और (<math>xy</math>) और या (<math>x + y - xy</math>). जब सभी ऑपरेंड स्वतंत्र होते हैं (कोई चर साझा नहीं करते हैं) एक बूलियन सूत्र में ऑपरेटरों के बहुपदों को बार-बार लागू करके एक फ़ंक्शन का बहुपद रूप पाया जा सकता है। जब गुणांक की गणना की जाती है तो [[मॉड्यूलर अंकगणित]] एक बीजगणितीय सामान्य रूप प्राप्त करता है (Zhegalkin बहुपद)।
+कोई भी बूलियन फलन <math>f(x): \{0,1\}^n \rightarrow \{0,1\}</math> में एक [[बहुरेखीय बहुपद]] द्वारा विशिष्ट रूप से [[वास्तविक संख्या]] में <math>\mathbb{R}^n</math> विस्तारित (प्रक्षेपित) किया जा सकता है, [[लैग्रेंज बहुपद]] द्वारा गुणा किए गए सत्यमान फलन मानों के योग द्वारा निर्मित:<math display="block">f^*(x) = \sum_{a \in {\{0,1\}}^n} f(a) \prod_{i:a_i=1} x_i \prod_{i:a_i=0} (1-x_i)</math>उदाहरण के लिए, युग्मक XOR फलन का विस्तार <math>x \oplus y</math> है<math display="block">0(1-x)(1-y) + 1x(1-y) + 1(1-x)y + 0xy</math>जो बराबर है<math display="block">x + y -2xy</math>कुछ अन्य उदाहरण  (<math>1-x</math>), और (<math>xy</math>) और या (<math>x + y - xy</math>) निषेध हैं। जब सभी संकार्य स्वतंत्र होते हैं (कोई चर साझा नहीं करते हैं) एक बूलियन सूत्र में संचालकों के बहुपदों को बार-बार लागू करके एक फलन का बहुपद रूप पाया जा सकता है। जब गुणांक की गणना की जाती है तो [[मॉड्यूलर अंकगणित]] एक बीजगणितीय सामान्य रूप प्राप्त करता है (झेगाल्किन बहुपद)।
 बहुपद के गुणांकों के लिए प्रत्यक्ष व्यंजक उपयुक्त अवकलज लेकर प्राप्त किए जा सकते हैं:<math display="block">\begin{array}{lcl} f^*(00) & = & (f^*)(00) & = & f(00) \\
@@ Line 94: / Line 94: @@
 f^*(10) & = & (\partial_2f^*)(00) & = & -f(00) + f(10) \\
 f^*(11) & = & (\partial_1\partial_2f^*)(00) & = & f(00) -f(01)-f(10)+f(11) \\
-\end{array}</math>यह मोबियस ट्रांसफॉर्म के रूप में सामान्यीकृत होता है। बिट वैक्टर के आंशिक रूप से ऑर्डर किए गए सेट के मोबियस उलटा:<math display="block">f^*(m) = \sum_{a \subseteq m} (-1)^{|a|+|m|} f(a)</math>कहाँ <math>|a|</math> बिट वेक्टर के वजन को दर्शाता है <math>a</math>. मोडुलो 2 लिया, यह झेगलकिन बहुपद है | बूलियन मोबियस रूपांतरण, बीजगणितीय सामान्य रूप गुणांक देता है:<math display="block">\hat f(m) = \bigoplus_{a \subseteq m} f(a)</math>दोनों ही मामलों में, योग को सभी बिट-वैक्टर a पर m द्वारा कवर किया जाता है, यानी m के एक बिट का एक सबसेट का एक बिट।
+\end{array}</math>यह मोबियस रूपांतरण के रूप में सामान्यीकृत होता है। बिट सदिश के आंशिक रूप से अनुक्रमित किए गए सम्मुच्चय के मोबियस व्युत्क्रमण:<math display="block">f^*(m) = \sum_{a \subseteq m} (-1)^{|a|+|m|} f(a)</math>जहाँ <math>|a|</math> बिट सदिश के भार <math>a</math> को दर्शाता है। मोडुलो 2 बूलियन मोबियस रूपांतरण बहुपद है, जो बीजगणितीय सामान्य रूप गुणांक देता है:<math display="block">\hat f(m) = \bigoplus_{a \subseteq m} f(a)</math>दोनों ही स्तिथि में, योग को सभी बिट-सदिश a पर m द्वारा आच्छादित किया जाता है।
+जब कार्यक्षेत्र n-विमीय [[अतिविम]] <math>[0,1]^n</math> तक सीमित है, बहुपद <math>f^*(x): [0,1]^n \rightarrow [0,1]</math> एक घनात्मक परिणाम की संभावना देता है जब बूलियन फलन f को अलग-अलग संभावनाओं x के साथ n स्वतंत्र यादृच्छिक (बर्नौली वितरण) चर पर लागू किया जाता है। इस तथ्य का एक विशेष स्तिथि पैरिटी फलन के लिए [[पाइलिंग-अप लेम्मा|पुंजन लेम्मा]] है। बूलियन फलन के बहुपद रूप का उपयोग [[फजी लॉजिक|स्वानुशासित तर्क]] के प्राकृतिक विस्तार के रूप में भी किया जा सकता है।
-जब डोमेन एन-डायमेंशनल [[अतिविम]] तक सीमित है <math>[0,1]^n</math>, बहुपद <math>f^*(x): [0,1]^n \rightarrow [0,1]</math> एक सकारात्मक परिणाम की संभावना देता है जब बूलियन फ़ंक्शन f को अलग-अलग संभावनाओं x के साथ n स्वतंत्र यादृच्छिक (बर्नौली वितरण) चर पर लागू किया जाता है। इस तथ्य का एक विशेष मामला पैरिटी फ़ंक्शन के लिए [[पाइलिंग-अप लेम्मा]] है। बूलियन फ़ंक्शन के बहुपद रूप का उपयोग [[फजी लॉजिक]] के प्राकृतिक विस्तार के रूप में भी किया जा सकता है।
-=== सममित हाइपरक्यूब === पर
+'''सममित अतिविम पर'''
-अक्सर, बूलियन डोमेन को इस रूप में लिया जाता है <math>\{-1, 1\}</math>, झूठी (0) मैपिंग के साथ 1 और सही (1) से -1 ([[बूलियन कार्यों का विश्लेषण]] देखें)। के अनुरूप बहुपद <math>g(x): \{-1,1\}^n \rightarrow \{-1,1\}</math> तब दिया जाता है:<math display="block">g^*(x) = \sum_{a \in {\{-1,1\}}^n} g(a) \prod_{i:a_i=-1} \frac{1-x_i}{2} \prod_{i:a_i=1} \frac{1+x_i}{2}</math>सममित बूलियन डोमेन का उपयोग बूलियन कार्यों के विश्लेषण के कुछ पहलुओं को सरल करता है, क्योंकि निषेध -1 से गुणा करने के अनुरूप है और समता समारोह [[एकपदीय]] हैं (एक्सओआर गुणन है)। इस प्रकार यह बहुपद रूप फलन के वॉल्श रूपांतरण (इस संदर्भ में फूरियर रूपांतरण के रूप में भी जाना जाता है) से मेल खाता है (ऊपर देखें)। बहुपद की भी वही सांख्यिकीय व्याख्या होती है जो मानक बूलियन डोमेन में होती है, सिवाय इसके कि यह अब अपेक्षित मानों से संबंधित है <math>E(X) = P(X=1) - P(X=-1) \in [-1, 1]</math> (उदाहरण के लिए पाइलिंग-अप लेम्मा देखें)।
+प्रायः, बूलियन कार्यक्षेत्र को <math>\{-1, 1\}</math> रूप  में लिया जाता है, असत्य (0) प्रतिचित्रण के साथ 1 और सही (1) से -1 ([[बूलियन कार्यों का विश्लेषण|बूलियन फलन का विश्लेषण]] देखें)। <math>g(x): \{-1,1\}^n \rightarrow \{-1,1\}</math> के अनुरूप बहुपद निम्न द्वारा दिया जाता है:<math display="block">g^*(x) = \sum_{a \in {\{-1,1\}}^n} g(a) \prod_{i:a_i=-1} \frac{1-x_i}{2} \prod_{i:a_i=1} \frac{1+x_i}{2}</math>सममित बूलियन कार्यक्षेत्र का उपयोग बूलियन फलन के विश्लेषण के कुछ पहलुओं को सरल करता है, क्योंकि निषेध -1 से गुणा करने के अनुरूप है और समता फलन [[एकपदीय]] हैं (XOR गुणन है)। इस प्रकार यह बहुपद रूप फलन के वॉल्श रूपांतरण (इस संदर्भ में फूरियर रूपांतरण के रूप में भी जाना जाता है) से मेल खाता है (ऊपर देखें)। बहुपद की भी वही सांख्यिकीय व्याख्या होती है जो मानक बूलियन कार्यक्षेत्र में होती है, सिवाय इसके कि यह अब अपेक्षित मानों से संबंधित है <math>E(X) = P(X=1) - P(X=-1) \in [-1, 1]</math> (उदाहरण के लिए लेम्मा पुंजन देखें)।
 == अनुप्रयोग ==
-[[कम्प्यूटेशनल जटिलता सिद्धांत]] के सवालों के साथ-साथ [[डिजिटल कम्प्यूटर]] के लिए प्रोसेसर के डिजाइन में बूलियन फ़ंक्शंस एक बुनियादी भूमिका निभाते हैं, जहाँ वे लॉजिक गेट का उपयोग करके इलेक्ट्रॉनिक सर्किट में कार्यान्वित किए जाते हैं।
+[[कम्प्यूटेशनल जटिलता सिद्धांत|संगणनात्मक जटिलता सिद्धांत]] के सवालों के साथ-साथ [[डिजिटल कम्प्यूटर|अंकीय कम्प्यूटर]] के लिए संसाधक के प्रतिरूप में बूलियन फलन एक बुनियादी भूमिका निभाते हैं, जहाँ वे तर्क द्वार का उपयोग करके इलेक्ट्रॉनिक परिपथ में कार्यान्वित किए जाते हैं।
-क्रिप्टोग्राफ़ी में बूलियन फ़ंक्शंस के गुण महत्वपूर्ण हैं, विशेष रूप से सममित कुंजी एल्गोरिदम के डिज़ाइन में ([[प्रतिस्थापन बॉक्स]] देखें)।
+गूढ़लेखिकी में बूलियन फलन के गुण महत्वपूर्ण हैं, विशेष रूप से सममित कुंजी कलन विधि के प्रतिरूप में ([[प्रतिस्थापन बॉक्स|प्रतिस्थापन बक्स]] देखें)।
-[[सहकारी खेल सिद्धांत]] सिद्धांत में, मोनोटोन बूलियन कार्यों को सरल खेल (मतदान खेल) कहा जाता है; सामाजिक चयन सिद्धांत में समस्याओं को हल करने के लिए इस धारणा को लागू किया जाता है।
+[[सहकारी खेल सिद्धांत|सहयोगशील खेल सिद्धांत]] में, एकदिष्ट बूलियन फलन को सरल खेल कहा जाता है; सामाजिक चयन सिद्धांत में समस्याओं को हल करने के लिए इस धारणा को लागू किया जाता है।
 == यह भी देखें ==
 {{Portal|Philosophy}}
 {{div col}}
-*छद्म-बूलियन समारोह
+*छद्म-बूलियन फलन
-* [[बूलियन-मूल्यवान फ़ंक्शन]]
+* [[बूलियन-मूल्यवान फलन]]
 * [[बूलियन बीजगणित विषयों की सूची]]
 * [[समुच्चयों का बीजगणित]]
-* [[निर्णय वृक्ष मॉडल]]
+* [[निर्णय वृक्ष प्रतिरूप]]
-* [[संकेतक समारोह]]
+* [[संकेतक फलन]]
-*[[हस्ताक्षरित सेट]]
+*[[हस्ताक्षरित सम्मुच्चय]]
 {{div col end}}
@@ Line 134: / Line 136: @@
 {{Mathematical logic}}
-{{DEFAULTSORT:Boolean function}}[[Category: बूलियन बीजगणित]] [[Category: बाइनरी अंकगणित]] [[Category: तर्क द्वार]] [[Category: प्रोग्रामिंग का निर्माण]]
+{{DEFAULTSORT:Boolean function}}
-[[Category: Machine Translated Page]]
+[[Category:Articles with hatnote templates targeting a nonexistent page|Boolean function]]
-[[Category:Created On 16/02/2023]]
+[[Category:CS1 English-language sources (en)]]
+[[Category:Collapse templates|Boolean function]]
+[[Category:Created On 16/02/2023|Boolean function]]
+[[Category:Lua-based templates|Boolean function]]
+[[Category:Machine Translated Page|Boolean function]]
+[[Category:Mathematics navigational boxes|Boolean function]]
+[[Category:Multi-column templates|Boolean function]]
+[[Category:Navbox orphans|Boolean function]]
+[[Category:Navigational boxes| ]]
+[[Category:Navigational boxes without horizontal lists|Boolean function]]
+[[Category:Pages using div col with small parameter|Boolean function]]
+[[Category:Pages with broken file links|Boolean function]]
+[[Category:Pages with empty portal template|Boolean function]]
+[[Category:Pages with script errors|Boolean function]]
+[[Category:Philosophy and thinking navigational boxes|Boolean function]]
+[[Category:Portal-inline template with redlinked portals|Boolean function]]
+[[Category:Portal templates with redlinked portals|Boolean function]]
+[[Category:Short description with empty Wikidata description|Boolean function]]
+[[Category:Sidebars with styles needing conversion|Boolean function]]
+[[Category:Template documentation pages|Documentation/doc]]
+[[Category:Templates Translated in Hindi|Boolean function]]
+[[Category:Templates Vigyan Ready|Boolean function]]
+[[Category:Templates generating microformats|Boolean function]]
+[[Category:Templates that add a tracking category|Boolean function]]
+[[Category:Templates that are not mobile friendly|Boolean function]]
+[[Category:Templates that generate short descriptions|Boolean function]]
+[[Category:Templates using TemplateData|Boolean function]]
+[[Category:Templates using under-protected Lua modules|Boolean function]]
+[[Category:Wikipedia fully protected templates|Div col]]
+[[Category:Wikipedia metatemplates|Boolean function]]
+[[Category:तर्क द्वार|Boolean function]]
+[[Category:प्रोग्रामिंग का निर्माण|Boolean function]]
+[[Category:बाइनरी अंकगणित|Boolean function]]
+[[Category:बूलियन बीजगणित|Boolean function]]

Anonymous

Search

बूलीय फलन: Difference between revisions

Namespaces

More

Page actions

Latest revision as of 16:33, 3 November 2023

Contents

उदाहरण

प्रतिनिधित्व

विश्लेषण

गुण

व्युत्पन्न कार्य

गूढ़लेखिकी विश्लेषण

वास्तविक बहुपद रूप

अनुप्रयोग

यह भी देखें

संदर्भ

अग्रिम पठन

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

बूलीय फलन: Difference between revisions

Latest revision as of 16:33, 3 November 2023

उदाहरण

प्रतिनिधित्व

विश्लेषण

गुण

व्युत्पन्न कार्य

गूढ़लेखिकी विश्लेषण

वास्तविक बहुपद रूप

अनुप्रयोग

यह भी देखें

संदर्भ

अग्रिम पठन

Navigation

Wiki tools

Page tools

Other projects

Categories