कार्यात्मक पूर्णता

From Vigyanwiki
Revision as of 15:42, 22 February 2023 by alpha>Neeraja (added Category:Vigyan Ready using HotCat)

गणितीय तर्क में, तार्किक संयोजकों या बूलियन संकारक का एक कार्यात्मक रूप से पूर्ण समुच्चय वह है जिसका उपयोग समुच्चय के इकाई को एक बूलियन अभिव्यक्ति में जोड़कर सभी संभव सत्य तालिकाओं को व्यक्त करने के लिए किया जा सकता है।[1][2] संयोजकों का एक प्रसिद्ध पूर्ण समुच्चय { AND, NOT } है। प्रत्येक सिंगलटन (गणित) समुच्चय { NAND } और {NOR } कार्यात्मक रूप से पूर्ण हैं। हालांकि, समुच्चय {AND, OR } अपूर्ण है, इसकी कारण से NOT को व्यक्त करने में असमर्थता है।

एक गेट या गेट्स का समूह जो कार्यात्मक रूप से पूर्ण है, उसे एक सार्वभौमिक गेट /गेट्स भी कहा जा सकता है।

गेट्स का एक कार्यात्मक रूप से पूरा समुच्चय अपनी गणना के भाग के रूप में 'गारवेज बिट्स' का उपयोग या उत्पन्न कर सकता है जो या तो निविष्टि का हिस्सा नहीं हैं या प्रणाली के निर्गम का भाग नहीं हैं।

प्रस्तावात्मक तर्क के संदर्भ में, संयोजकों के कार्यात्मक रूप से पूर्ण समुच्चय को भी (अभिव्यंजक रूप से) समुचित कहा जाता है।[3]

डिजिटल इलेक्ट्रॉनिक्स के दृष्टिकोण से, कार्यात्मक पूर्णता का अर्थ है कि हर संभव तर्क गेट को समुच्चय द्वारा निर्धारित प्रकार के गेट्स के नेटवर्क के रूप में संपादित किया जा सकता है। विशेष रूप से, सभी तार्किक गेट्स को या तो केवल बाइनरी NAND गेट्स, या केवल बाइनरी NOR गेट्स से संग्रहीत किया जा सकता है।

परिचय

तर्क पर आधुनिक विषय सामान्य रूप से संयोजकों के कुछ उपसमुच्चय को प्रारम्भिक रूप में लेते हैं: तार्किक संयोजन (); विच्छेदन (); निगेशन (); सशर्त सामग्री (); और संभवत: तार्किक द्विसशर्त () आगे के संयोजकों को परिभाषित किया जा सकता है, यदि वांछित हो, तो उन्हें इन मौलिक के संदर्भ में परिभाषित किया जा सकता है। उदाहरण के लिए, NOR (कभी-कभी निरूपित किया जाता है , निगेशन की अस्वीकृति) को दो निषेधों के संयोजन के रूप में व्यक्त किया जा सकता है:

इसी तरह, संयुग्मन का निगेशन, NAND (कभी-कभी के रूप में निरूपित किया जाता है ), संयोजन और निगेशन के संदर्भ में परिभाषित किया जा सकता है। यह पता चला है कि प्रत्येक बाइनरी संयोजक को परिभाषित किया जा सकता है , इसलिए यह समुच्चय कार्यात्मक रूप से पूर्ण है।

हालाँकि, इसमें अभी भी कुछ अतिरेक है: यह समुच्चय न्यूनतम कार्यात्मक रूप से पूर्ण समुच्चय नहीं है, क्योंकि सशर्त और द्विशर्त को अन्य संयोजकों के रूप में परिभाषित किया जा सकता है

यह इस प्रकार है कि लघु समुच्चय कार्यात्मक रूप से भी पूर्ण है। लेकिन यह अभी भी न्यूनतम नहीं है, जैसा कि के रूप में परिभाषित किया जा सकता है

वैकल्पिक रूप से, के रूप में परिभाषित किया जा सकता है इसी तरह, या के रूप में परिभाषित किया जा सकता है :

आगे कोई सरलीकरण संभव नहीं है। इसलिए, प्रत्येक दो-तत्व वाले संयोजकों का समुच्चय और एक का न्यूनतम कार्यात्मक रूप से पूर्ण उपसमुच्चय है .

औपचारिक परिभाषा

बूलियन प्रक्षेत्र B = {0,1} दिया गया है, बूलियन फलन ƒ का एक समुच्चय Fi: Bni → 'B' 'कार्यात्मक रूप से पूर्ण' है यदि 'B' पर प्रतिरूप (बीजगणित) आधारिक कार्यों द्वारा उत्पन्न किया गया है ƒi सभी फलन सम्मिलित हैं ƒ: 'B'n → 'B', सभी निश्चित धनात्मक पूर्णांकों के लिए n ≥ 1 दूसरे शब्दों में, समुच्चय क्रियात्मक रूप से पूर्ण होता है यदि प्रत्येक बूलियन फलन जिसमें कम से कम एक चर होता है, ƒi को फलन के संदर्भ में व्यक्त किया जा सकता है चूँकि कम से कम एक चर के प्रत्येक बूलियन फलन को बाइनरी बूलियन फलन के संदर्भ में व्यक्त किया जा सकता है, F कार्यात्मक रूप से पूर्ण है यदि और केवल यदि प्रत्येक बाइनरी बूलियन फलन को F में फलन के संदर्भ में व्यक्त किया जा सकता है।

एक अधिक स्वाभाविक स्थिति यह होगी कि F द्वारा उत्पन्न प्रतिरूप संगणक में सभी फलन : 'B'n → 'B', सभी पूर्णांकों के लिए n ≥ 0 लिए होते हैं। हालाँकि, ऊपर दिए गए उदाहरण इस प्रबल अर्थ में कार्यात्मक रूप से पूर्ण नहीं हैं क्योंकि F के संदर्भ में एक अशक्त फलन, अर्थात एक स्थिर अभिव्यक्ति लिखना संभव नहीं है, यदि F में स्वयं कम से कम एक शून्य फलन सम्मिलित नहीं है। इस प्रबल परिभाषा के साथ, कार्यात्मक रूप से सबसे छोटे समुच्चय में 2 तत्व होंगे।

एक अन्य प्राकृतिक स्थिति यह होगी कि एफ द्वारा उत्पन्न प्रतिरूप दो अशक्त स्थिर कार्यों के साथ कार्यात्मक रूप से पूर्ण या, समकक्ष रूप से, पिछले पैराग्राफ के प्रबल अर्थों में कार्यात्मक रूप से पूर्ण हो। बूलियन फलन का उदाहरण S(x, y, z) =z यदि x = y और S(x, y, z) = x अन्यथा दिखाता है कि यह स्थिति कार्यात्मक पूर्णता दुर्बल है।[4][5][6]


कार्यात्मक पूर्णता की विशेषता

एमिल लियोन पोस्ट ने प्रमाणित किया कि तार्किक संयोजकों का एक समुच्चय कार्यात्मक रूप से पूर्ण है यदि और केवल यदि यह संयोजकों के निम्नलिखित समुच्चयों में से किसी का उपसमुच्चय नहीं है:

  • एकदिष्‍ट संयोजक; किसी भी जुड़े हुए चर के सत्य मान को F से T में बिना किसी T से F में परिवर्तित करने से ये संयोजक कभी भी T से F में अपना पुनरावृत्ति मूल्य नहीं परिवर्तित करते हैं, उदाहरण
  • एफ़िन रूपांतरण संयोजक, जैसे कि प्रत्येक जुड़ा चर या तो सदैव या कभी भी इन संयोजकों के प्रतिफल के सत्य मान को प्रभावित नहीं करता है, उदाहरण
  • स्व-द्वैत संयोजक, जो अपने स्वयं के डे मॉर्गन द्वैत के समान हैं; यदि सभी चरों के सत्य मान प्रतिलोम कर दिए जाते हैं, तो क्या सत्य मान इन संयोजकों का प्रतिफल होता है, उदाहरण , बहुसंख्यक फलन (p,q,r)।
  • 'सत्य-संरक्षण' संयोजक; वे किसी भी व्याख्या के अंतर्गत सत्य मान 'T' प्रतिफल देते हैं जो सभी चरों को 'T' प्रदान करता है, उदाहरण
  • मिथ्या-संरक्षण संयोजक; वे किसी भी व्याख्या के अंतर्गत सत्य मान F प्रतिफल देते हैं जो F को सभी चरों को निर्दिष्ट करता है, उदाहरण

वास्तव में, पोस्ट ने दो-तत्व समुच्चय {T, F}, जिसे वर्तमान मे पोस्ट का नियम कहा जाता है, पर सभी प्रतिरूप (बीजगणित) के नियम (क्रम) का पूरा विवरण दिया (संरचना के अंतर्गत संचालन के समुच्चय और सभी अनुमानों को सम्मिलित किया गया) जो उपरोक्त परिणाम को एक सरल उपप्रमेय के रूप में दर्शाता है: संयोजक के पांच उल्लिखित समुच्चय वास्तव में अधिकतम प्रतिरूप हैं।

न्यूनतम कार्यात्मक रूप से पूर्ण संक्रियक समुच्चय

जब एकल तार्किक संयोजक या बूलियन संक्रियक अपने आप में कार्यात्मक रूप से पूर्ण हो जाता है, तो इसे शेफ़र फलन [7] या कभी-कभी एकमात्र समुचित संक्रियक कहा जाता है। इस गुण के साथ कोई एकात्मक संक्रियक नहीं है। तार्किक NAND और तार्किक NOR , जो बूलियन बीजगणित द्वैत सिद्धांत हैं, केवल दो बाइनरी शेफ़र फलन हैं। इन्हें 1880 के आसपास चार्ल्स सैंडर्स पियर्स द्वारा खोजा गया था, लेकिन प्रकाशित नहीं किया गया था, और स्वतंत्र रूप से पुनः खोजा गया और 1913 में हेनरी एम शेफ़र द्वारा प्रकाशित किया गया।[8] डिजिटल इलेक्ट्रॉनिक्स शब्दावली में, बाइनरी NAND गेट (↑) और बाइनरी NOR गेट (↓) केवल बाइनरी सार्वभौमिक तर्क गेट हैं।

arity ≤ 2 के साथ तार्किक संयोजकों के न्यूनतम कार्यात्मक रूप से पूर्ण समुच्चय निम्नलिखित हैं:[9]

एक तत्व
{↑}, {↓}
दो तत्व:

, , , , , , , , , , , , , , , , ,

तीन तत्व:

, , , , ,

अधिकांश बाइनरी तार्किक संयोजक में तीन से अधिक का न्यूनतम कार्यात्मक रूप से पूर्ण समुच्चय नहीं है।[9] उपरोक्त सूचियों को पठनीय रखने के लिए, एक या अधिक निविष्टि को ध्यान न देने वाले संकारक को छोड़ दिया गया है। उदाहरण के लिए, एक संक्रियक जो पहले निविष्टि को उपेक्षा करता है और दूसरे के निगेशन को निर्गत करता है, उसे एकल निगेशन द्वारा प्रतिस्थापित किया जा सकता है।

उदाहरण

  • NAND (↑) पूर्णता का उपयोग करने के उदाहरण। जैसा कि दिखाया गया है,[10]
  • ¬A ≡ A ↑ A
  • A ∧ B ≡ ¬(A ↑ B) ≡ (A ↑ B) ↑ (A ↑ B)
  • A ∨ B ≡ (A ↑ A) ↑ (B ↑ B)
  • NOR(↓) पूर्णता का उपयोग करने के उदाहरण। जैसा कि दिखाया गया है,[11]
  • ¬A ≡ A ↓ A
  • A ∨ B ≡ ¬(A ↓ B) ≡ (A ↓ B) ↓ (A ↓ B)
  • A ∧ B ≡ (A ↓ A) ↓ (B ↓ B)

ध्यान दें कि गेट्स की संख्या को कम करने के लिए एक इलेक्ट्रॉनिक परिपथ या सॉफ़्टवेयर फलन को पुन: उपयोग करके अनुकूलित किया जा सकता है। उदाहरण के लिए, A ∧ B संक्रिया, जब ↑ गेट्स द्वारा व्यक्त किया जाता है, A ↑ B के पुन: उपयोग के साथ कार्यान्वित किया जाता है,

X ≡ (A ↑ B); A ∧ B ≡ X ↑ X

अन्य प्रक्षेत्र में

तार्किक संयोजकों (बूलियन संक्रियक) के अतिरिक्त, कार्यात्मक पूर्णता को अन्य प्रक्षेत्र में प्रस्तुत किया जा सकता है। उदाहरण के लिए, प्रतिवर्ती संगणना द्वारों के एक समुच्चय को कार्यात्मक रूप से पूर्ण कहा जाता है, यदि यह प्रत्येक प्रतिवर्ती संक्रियक को व्यक्त कर सकता है।

3-निविष्टि फ्रेडकिन गेट अपने आप में एकमात्र समुचित संक्रियक द्वारा कार्यात्मक रूप से पूर्ण प्रतिवर्ती गेट है। टोफोली गेट जैसे कई अन्य तीन-निविष्टि सार्वभौमिक तर्क गेट हैं।

क्वांटम कंप्यूटिंग में, हैडमार्ड गेट और T गेट सार्वभौमिक हैं, हालांकि कार्यात्मक पूर्णता की तुलना में अधिक प्रतिबंधात्मक परिभाषा है।

समुच्चय सिद्धांत

समुच्चय के बीजगणित और बूलियन बीजगणित के बीच एक समरूपता है, अर्थात, उनके पास एक ही बूलियन बीजगणित (संरचना) है। फिर, यदि हम बूलियन संकारक को समुच्चय संकारक में मानचित्र करते हैं, तो उपरोक्त अनुवाद समुच्चय के लिए भी मान्य हैं: समुच्चय-सिद्धांत संकारक के कई न्यूनतम पूर्ण समुच्चय हैं जो किसी अन्य समुच्चय संबंध को उत्पन्न कर सकते हैं। अधिक लोकप्रिय न्यूनतम पूर्ण संक्रियक समुच्चय {¬, ∩} और {¬, ∪} हैं। यदि सार्वभौमिक समुच्चय निषिद्ध है तो संक्रियक असत्यता- (Ø) संरक्षित होने तक सीमित हैं, और कार्यात्मक रूप से पूर्ण बूलियन बीजगणित के समान नहीं हो सकते हैं।

यह भी देखें

  • समुच्चयों का बीजगणित - समुच्चयों से संबंधित सर्वसमिकाएँ और संबंध
  • बूलियन बीजगणित - "सत्य" और "असत्य" का बीजगणितीय कुशलतापूर्वक प्रयोग
  • पूर्णता (तर्क) - कुछ तार्किक प्रणालियों की विशेषता
  • बूलियन बीजगणित के विषयों की सूची
  • NAND लॉजिक – केवल NAND गेट्स से निर्मित लॉजिक
  • NOR तर्क - सिर्फ NOR गेट्स का उपयोग करके अन्य गेट्स बनाना
  • निर्देश समुच्चय कंप्यूटर - अमूर्त मशीन जो केवल एक निर्देश का उपयोग करती है


संदर्भ

  1. Enderton, Herbert (2001), A mathematical introduction to logic (2nd ed.), Boston, MA: Academic Press, ISBN 978-0-12-238452-3. ("Complete set of logical connectives").
  2. Nolt, John; Rohatyn, Dennis; Varzi, Achille (1998), Schaum's outline of theory and problems of logic (2nd ed.), New York: McGraw–Hill, ISBN 978-0-07-046649-4. ("[F]unctional completeness of [a] set of logical operators").
  3. Smith, Peter (2003), An introduction to formal logic, Cambridge University Press, ISBN 978-0-521-00804-4. (Defines "expressively adequate", shortened to "adequate set of connectives" in a section heading.)
  4. Wesselkamper, T.C. (1975), "A sole sufficient operator", Notre Dame Journal of Formal Logic, 16: 86–88, doi:10.1305/ndjfl/1093891614
  5. Massey, G.J. (1975), "Concerning an alleged Sheffer function", Notre Dame Journal of Formal Logic, 16 (4): 549–550, doi:10.1305/ndjfl/1093891898
  6. Wesselkamper, T.C. (1975), "A Correction To My Paper" A. Sole Sufficient Operator", Notre Dame Journal of Formal Logic, 16 (4): 551, doi:10.1305/ndjfl/1093891899
  7. The term was originally restricted to binary operations, but since the end of the 20th century it is used more generally. Martin, N.M. (1989), Systems of logic, Cambridge University Press, p. 54, ISBN 978-0-521-36770-7.
  8. Scharle, T.W. (1965), "Axiomatization of propositional calculus with Sheffer functors", Notre Dame J. Formal Logic, 6 (3): 209–217, doi:10.1305/ndjfl/1093958259.
  9. 9.0 9.1 Wernick, William (1942) "Complete Sets of Logical Functions," Transactions of the American Mathematical Society 51: 117–32. In his list on the last page of the article, Wernick does not distinguish between ← and →, or between and .
  10. "NAND Gate Operations" at http://hyperphysics.phy-astr.gsu.edu/hbase/electronic/nand.html
  11. "NOR Gate Operations" at http://hyperphysics.phy-astr.gsu.edu/hbase/electronic/nor.html