कैननिकल सामान्य रूप: Difference between revisions

Revision as of 14:55, 5 March 2023

बूलियन बीजगणित में, किसी भी बूलियन फंक्शन को कैनोनिकल वियोगी सामान्य रूप में व्यक्त किया जा सकता है^[1] या मिनिटर्म नियमी फॉर्म और इसका डुअल कैनोनिकल संयोजक सामान्य रूप या मैक्सटर्म कैनोनिकल फॉर्म के रूप में व्यक्त किया जा सकता है। अन्य कैनोनिकल रूपों में प्रमुख इम्प्लिकेंट्स या ब्लेक कैनोनिकल रूप का पूर्ण योग, और बीजगणितीय सामान्य रूप (जिसे ज़ेगाल्किन या रीड-मुलर भी कहा जाता है) सम्मलित होते हैं।

मिनिटर्म को उत्पाद कहा जाता है क्योंकि वे चर के समुच्चय के तार्किक एएनडी होते हैं, और मैक्सटर्म को योग कहा जाता है क्योंकि वे चर के समुच्चय के तार्किक ओआर होते हैं। डी मॉर्गन के नियमों द्वारा व्यक्त किए गए उनके पूरक-समरूपता संबंध के कारण इन अवधारणाओं की पुनरावृत्ति होती हैं।

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

मिनिटर्म

मिनिटर्म के बूलियन फंक्शन के लिए $n$ चर ${x_{1},\dots ,x_{n}}$ ,उत्पाद शब्द जिसमें प्रत्येक $n$ चर प्रकट होते हैं (या तो इसके पूरक या अपूर्ण रूप में) को 'मिनिटर्म' कहा जाता है। इस प्रकार, मिनिटर्म $n$ चरों की तार्किक अभिव्यक्ति है जो केवल पूरक ऑपरेटर और कंजंक्शन ऑपरेटर को नियोजित करता है।

उदाहरण के लिए, $abc$ , $ab'c$ और $abc'$ तीन चरों के बूलियन फ़ंक्शन के लिए 8 मिनिटर्म के 3 उदाहरण $a$ , $b$ , और $c$ हैं I इनमें से अंतिम का पारंपरिक पठन a AND b AND NOT-c है।

n वेरिएबल्स के 2ⁿ मिनिटर्म हैं, क्योंकि मिनिटर्म व्यंजक में वेरिएबल या तो इसके प्रत्यक्ष या इसके पूरक रूप में हो सकता है - प्रति चर दो विकल्प।

क्रमबद्ध मिनिटर्म

मिनिटर्म को प्रायः चर के पूरक पैटर्न के बाइनरी एन्कोडिंग द्वारा क्रमांकित किया जाता है, जहां चर मानक क्रम में लिखे जाते हैं, या सामान्यतः वर्णानुक्रम में क्रम में लिखे जाते हैं I यह फंक्शन मूल्य 1 को प्रत्यक्ष रूप में निर्दिष्ट करता है I ( $x_{i}$ ) और 0 पूरक रूप में ( $x'_{i}$ ); मिनिटर्म तो है $\sum \limits _{i=1}^{n}2^{i-1}\operatorname {value} (x_{i})$ . उदाहरण के लिए, मिनिटर्म $abc'$ 110₂ = 6₁₀ क्रमांकित किया गया है और $m_{6}$ के रूप में निरूपित किया गया है I

कार्यात्मक तुल्यता

दिया गया मिनिटर्म n इनपुट चरों के संयोजन के लिए सही मान (यानी, 1) देता है। उदाहरण के लिए, मिनिटर्म 5, a b' c, केवल तभी सत्य होता है जब a और c दोनों सत्य होते हैं और b त्रुटिपूर्ण होता है—इनपुट व्यवस्था जहां a = 1, b = 0, c = 1 का परिणाम 1 होता है .

किसी तार्किक फलन की सत्य सारणी को देखते हुए, फलन को उत्पादों के योग के रूप में लिखना संभव होता है। यह वियोगात्मक सामान्य रूप का विशेष रूप है। उदाहरण के लिए, यदि योजक सर्किट के बिट स्थिति के तर्क के अंकगणितीय योग बिट u के लिए सत्य सारणी दी गई है, तो x और y के कार्य के रूप में और कैरी इन, ci:

ci	x	y	u(ci,x,y)
0	0	0	0
0	0	1	1
0	1	0	1
0	1	1	0
1	0	0	1
1	0	1	0
1	1	0	0
1	1	1	1

यह देखते हुए कि जिन पंक्तियों का आउटपुट 1 है, वे दूसरी, तीसरी, पांचवीं और आठवीं हैं, हम u को न्यूनतम शब्दों के योग के रूप में लिख सकते हैं I $m_{1},m_{2},m_{4},$ और $m_{7}$ अगर हम इसे सत्यापित करना चाहते हैं: $u(ci,x,y)=m_{1}+m_{2}+m_{4}+m_{7}=(ci',x',y)+(ci',x,y')+(ci,x',y')+(ci,x,y)$ तीन चरों के सभी 8 संयोजनों के लिए मूल्यांकन किया गया सारणी से मेल खाएगा।

मैक्सटर्म्स

मैक्सटर्म के बूलियन फंक्शन के लिए $n$ चर ${x_{1},\dots ,x_{n}}$ , योग अवधि जिसमें प्रत्येक $n$ चर एक बार प्रकट होता है (या तो इसके पूरक या अपूर्ण रूप में) को मैक्सटर्म कहा जाता है। इस प्रकार,अधिकतम की तार्किक अभिव्यक्ति है I $n$ चरों जो केवल पूरक ऑपरेटर और संयोजन ऑपरेटर को नियोजित करते हैं। मैक्सटर्म मिनिटर्म विचार के पुनरावृत्ति हैं (यानी, सभी स्तिथियों में पूरक समरूपता प्रदर्शित करना)। ANDs और पूरक का उपयोग करने के अतिरिक्त, हम ORs और पूरक का उपयोग करते हैं और इसी प्रकार आगे बढ़ते हैं।

उदाहरण के लिए, निम्नलिखित तीन चरों के आठ अधिकतम पदों में से दो हैं

a + b′ + c

a′ + b + c

$n$ चरों के 2ⁿ मैक्सटर्म हैं, क्योंकि मैक्सटर्म एक्सप्रेशन में एक वेरिएबल या तो इसके प्रत्यक्ष या इसके पूरक रूप में हो सकता है - प्रति चर दो विकल्प।

क्रमबद्ध मैक्सटर्म्स

प्रत्येक मैक्सटर्म को विपरीत पारंपरिक बाइनरी एन्कोडिंग के आधार पर इंडेक्स असाइन किया जाता है जो कि मिनिटर्म के लिए उपयोग किया जाता है। मैक्सटर्म फंक्शन मान 0 को प्रत्यक्ष रूप में निर्दिष्ट करता है I $(x_{i})$ और 1 पूरक रूप में $(x'_{i})$ . उदाहरण के लिए, हम इंडेक्स 6 को मैक्सटर्म को असाइन करते हैं I $a'+b'+c$ (110) और उस अधिकतम पद को M₆ के रूप में निरूपित करते हैं I इसी प्रकार M₀ इन तीन चरों में से है $a+b+c$ (000) और M₇ है $a'+b'+c'$ (111)

कार्यात्मक तुल्यता

यह स्पष्ट है कि maxterm n इनपुट चरों के केवल एक संयोजन के लिए एक त्रुटिपूर्ण मान (अर्थात, 0) देता है। उदाहरण के लिए, मैक्सटर्म 5, a′ + b + c′, तभी त्रुटिपूर्ण है जब a और c दोनों सत्य हैं और b त्रुटिपूर्ण है—इनपुट व्यवस्था जहां a = 1, b = 0, c = 1 का परिणाम 0 होता है।

यदि किसी को एक तार्किक फलन की सत्य सारणी दी गई है, तो फलन को योगों के गुणनफल के रूप में लिखना संभव है। यह संयोजक सामान्य रूप का एक विशेष रूप है। उदाहरण के लिए, यदि एक योजक सर्किट के एक बिट स्थिति के तर्क के कैरी-आउट बिट सह के लिए सत्य सारणी दी गई है, तो x और y के कार्य के रूप में और कैरी इन, ci:

ci	x	y	co(ci,x,y)
0	0	0	0
0	0	1	0
0	1	0	0
0	1	1	1
1	0	0	0
1	0	1	1
1	1	0	1
1	1	1	1

यह देखते हुए कि जिन पंक्तियों का आउटपुट 0 है, वे पहली, दूसरी, तीसरी और पाँचवीं हैं, हम co को मैक्सटर्म के उत्पाद के रूप में लिख सकते हैं $M_{0},M_{1},M_{2}$ और $M_{4}$ . अगर हम इसे सत्यापित करना चाहते हैं:

co(ci,x,y)=M_{0}M_{1}M_{2}M_{4}=(ci+x+y)(ci+x+y')(ci+x'+y)(ci'+x+y)

तीन चरों के सभी 8 संयोजनों के लिए मूल्यांकन किया गया सारणी से मेल खाएगा।

द्वैतीकरण

मिनिटर्म का पूरक संबंधित मैक्सटर्म है। डी मॉर्गन के नियम का उपयोग करके इसे सरलता से सत्यापित किया जा सकता है। उदाहरण के लिए: $M_{5}=a'+b+c'=(ab'c)'=m_{5}'$

गैर-प्रामाणिक पीओएस और एसओपी रूपों

प्रायः ऐसा होता है कि कैनोनिकल मिनिटर्म फॉर्म को समकक्ष एसओपी फॉर्म में सरल बनाया जा सकता है। इस सरलीकृत रूप में अभी भी उत्पाद नियमं का योग सम्मलित होगा। चूँकि, सरलीकृत रूप में, कम उत्पाद शब्द या उत्पाद शब्द कम चर वाले हो सकते हैं। उदाहरण के लिए, निम्नलिखित 3-चर फ़ंक्शन:

a	b	c	f(a,b,c)
0	0	0	0
0	0	1	0
0	1	0	0
0	1	1	1
1	0	0	0
1	0	1	0
1	1	0	0
1	1	1	1

कैनोनिकल मिन्टरम प्रतिनिधित्व $f=a'bc+abc$ है, किन्तु इसका समकक्ष सरलीकृत रूप $f=bc$ है, इस उदाहरण में, यह स्पष्ट है कि $bc=a'bc+abc$ , किन्तु सरलीकृत रूप में दोनों कम उत्पाद शब्द हैं,और शब्द में कम चर हैं।

किसी फ़ंक्शन के सबसे सरलीकृत एसओपी प्रतिनिधित्व को न्यूनतम एसओपी फॉर्म के रूप में संदर्भित किया जाता है।

इसी प्रकार, कैनोनिकल मैक्सटर्म फॉर्म में सरलीकृत पीओएस फॉर्म हो सकता है।

जबकि इस उदाहरण को सामान्य बीजगणितीय विधियों को प्रारम्भ करके सरल बनाया गया था [ $f=(a'+a)bc$ ], कम स्पष्ट स्तिथियों में अधिकतम चार चर वाले फ़ंक्शन के न्यूनतम PoS/SoP रूप के अनुसन्धान के लिए सुविधाजनक उपाय कर्णघ मानचित्र का उपयोग कर रहा है।

बूलियन कार्यों के इष्टतम कार्यान्वयन और तर्क सर्किट को कम करने के लिए न्यूनतम पीओएस और एसओपी फॉर्म महत्वपूर्ण हैं।

आवेदन उदाहरण

ऊपर दिए गए मिनिटर्म और मैक्सटर्म के लिए प्रतिरूप सत्य सारणी बाइनरी नंबरों के अतिरिक्त एकल बिट स्थिति के लिए कैनोनिकल फॉर्म स्थापित करने के लिए पर्याप्त हैं, किन्तु डिजिटल लॉजिक को डिज़ाइन करने के लिए पर्याप्त नहीं हैं जब तक कि आपके गेट्स की सूची में एएनडी और ओआर सम्मलित न हो। जहां प्रदर्शन विषय है (अपोलो गाइडेंस कंप्यूटर के रूप में), ट्रांजिस्टर लॉजिक में निहित पूरक क्रिया के कारण उपलब्ध भागों के एनएएनडी और एनओआर होने की अधिक संभावना है। मूल्यों को वोल्टेज राज्यों के रूप में परिभाषित किया गया है, भूमि के निकट और एक डीसी आपूर्ति वोल्टेज V_cc के निकट, उदा. +5 वीडीसी। यदि उच्च वोल्टेज को 1 सही मान के रूप में परिभाषित किया जाता है, तो एनओआर गेट सबसे सरल संभव उपयोगी तार्किक तत्व है।

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

कैनोनिकल रूप में किसी फ़ंक्शन को प्रारम्भ करने का प्रयास करते समय इन गेट सर्किट की पूरक संपत्ति कमी के जैसे लग सकती है, किन्तु क्षतिपूर्ति बोनस है: केवल इनपुट वाला ऐसा गेट पूरक फ़ंक्शन को प्रारम्भ करता है, जो डिजिटल लॉजिक में प्रायः आवश्यक होता है।

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

एनओआर गेट्स के कैनोनिकल और गैर-कैनोनिकल परिणाम

8 एनओआर गेट्स का समुच्चय, यदि उनके 3 इनपुट चरों ci, x, और y के प्रत्यक्ष और पूरक रूपों के सभी संयोजन हैं, तो सदैव मिनिटर्म उत्पन्न करते हैं, कभी भी मैक्सटर्म नहीं- यानी सभी संयोजनों को संसाधित करने के लिए आवश्यक 8 गेट्स में से 3 इनपुट चरों में से, केवल एक का आउटपुट मान 1 है। ऐसा इसलिए है क्योंकि एनओआर गेट, इसके नाम के अतिरिक्त, इसके इनपुट संकेतों के पूरक के रूप में (डी मॉर्गन के नियम का उपयोग करके) देखा जा सकता है।

यह कोई समस्या नहीं है इसका कारण मिनिटर्म और मैक्सटर्म का द्वंद्व है, यानी प्रत्येक मैक्सटर्म समान-अनुक्रमित मिनिटर्म का पूरक है, और इसके विपरीत है।

उपरोक्त न्यूनतम उदाहरण में, हमने लिखा $u(ci,x,y)=m_{1}+m_{2}+m_{4}+m_{7}$ किन्तु इसे 4-इनपुट एनओआर गेट के साथ निष्पादित करने के लिए हमें इसे राशियों (पीओएस) के उत्पाद के रूप में पुन: स्थापित करने की आवश्यकता है, जहां योग विपरीत अधिकतम पद हैं। वह है,

u(ci,x,y)=\mathrm {AND} (M_{0},M_{3},M_{5},M_{6})=\mathrm {NOR} (m_{0},m_{3},m_{5},m_{6}).

सत्य सारणी

ci	x	y	M₀	M₃	M₅	M₆	AND	u(ci,x,y)
0	0	0	0	1	1	1	0	0
0	0	1	1	1	1	1	1	1
0	1	0	1	1	1	1	1	1
0	1	1	1	0	1	1	0	0
1	0	0	1	1	1	1	1	1
1	0	1	1	1	0	1	0	0
1	1	0	1	1	1	0	0	0
1	1	1	1	1	1	1	1	1

ci	x	y	m₀	m₃	m₅	m₆	एनओआर	u(ci,x,y)
0	0	0	1	0	0	0	0	0
0	0	1	0	0	0	0	1	1
0	1	0	0	0	0	0	1	1
0	1	1	0	1	0	0	0	0
1	0	0	0	0	0	0	1	1
1	0	1	0	0	1	0	0	0
1	1	0	0	0	0	1	0	0
1	1	1	0	0	0	0	1	1

उपरोक्त मैक्सटर्म उदाहरण में, हमने लिखा है $co(ci,x,y)=M_{0}M_{1}M_{2}M_{4}$ किन्तु इसे 4-इनपुट एनओआर गेट के साथ करने के लिए हमें समान मिनिटर्म के एनओआर की समानता पर ध्यान देने की आवश्यकता है। वह है,

co(ci,x,y)=\mathrm {AND} (M_{0},M_{1},M_{2},M_{4})=\mathrm {NOR} (m_{0},m_{1},m_{2},m_{4}).

सत्य सारणी

ci	x	y	M₀	M₁	M₂	M₄	AND	co(ci,x,y)
0	0	0	0	1	1	1	0	0
0	0	1	1	0	1	1	0	0
0	1	0	1	1	0	1	0	0
0	1	1	1	1	1	1	1	1
1	0	0	1	1	1	0	0	0
1	0	1	1	1	1	1	1	1
1	1	0	1	1	1	1	1	1
1	1	1	1	1	1	1	1	1

ci	x	y	m₀	m₁	m₂	m₄	एनओआर	co(ci,x,y)
0	0	0	1	0	0	0	0	0
0	0	1	0	1	0	0	0	0
0	1	0	0	0	1	0	0	0
0	1	1	0	0	0	0	1	1
1	0	0	0	0	0	1	0	0
1	0	1	0	0	0	0	1	1
1	1	0	0	0	0	0	1	1
1	1	1	0	0	0	0	1	1

कैनोनिकल फॉर्मश टेबल के अतिरिक्त डिजाइन ट्रेड-ऑफ पर विचार किया गया

कोई यह मान सकता है कि योजक चरण को डिजाइन करने का काम अब पूर्ण हो गया है, किन्तु हमने इस तथ्य को संबोधित नहीं किया है कि सभी 3 इनपुट चर को उनके प्रत्यक्ष और पूरक दोनों रूपों में प्रकट होना है। इस संबंध में जोड़ x और y के बारे में कोई कठिनाई नहीं है, क्योंकि वे जोड़ के समय स्थिर हैं और इस प्रकार सामान्य रूप से लैच सर्किट में आयोजित होते हैं जो नियमित रूप से प्रत्यक्ष और पूरक दोनों आउटपुट होते हैं। (एनओआर गेट्स से बना सबसे सरल लैच सर्किट फ्लिप-फ्लॉप बनाने के लिए क्रॉस-युग्मित गेट्स की जोड़ी है: प्रत्येक का आउटपुट दूसरे के इनपुट में से एक के रूप में वायर्ड होता है।) पूरक फॉर्म बनाने की भी कोई आवश्यकता नहीं है। चूँकि, राशि u बिट स्थिति से बाहर ले जाने को प्रत्यक्ष और पूरक दोनों रूपों में अगली बिट स्थिति में ले जाने के रूप में पारित किया जाना चाहिए। ऐसा करने का सबसे सीधा तरीका 1-इनपुट एनओआर गेट के माध्यम से co को निकट करना और आउटपुट co′ को लेबल करना है, किन्तु यह सबसे अकथनीय संभावित स्थान पर गेट विलंब जोड़ देगा, दाएं से बाएं की ओर बढ़ने की गति को धीमा कर देगा। अतिरिक्त 4-इनपुट एनओआर गेट जो co' के कैनोनिकल रूप का निर्माण करता है (विपरीत मिनिटर्म से co के रूप में) इस समस्या को हल करता है।

co'(ci,x,y)=\mathrm {AND} (M_{3},M_{5},M_{6},M_{7})=\mathrm {NOR} (m_{3},m_{5},m_{6},m_{7}).

सत्य सारणी

ci	x	y	M₃	M₅	M₆	M₇	AND	co'(ci,x,y)
0	0	0	1	1	1	1	1	1
0	0	1	1	1	1	1	1	1
0	1	0	1	1	1	1	1	1
0	1	1	0	1	1	1	0	0
1	0	0	1	1	1	1	1	1
1	0	1	1	0	1	1	0	0
1	1	0	1	1	0	1	0	0
1	1	1	1	1	1	0	0	0

ci	x	y	m₃	m₅	m₆	m₇	एनओआर	co'(ci,x,y)
0	0	0	0	0	0	0	1	1
0	0	1	0	0	0	0	1	1
0	1	0	0	0	0	0	1	1
0	1	1	1	0	0	0	0	0
1	0	0	0	0	0	0	1	1
1	0	1	0	1	0	0	0	0
1	1	0	0	0	1	0	0	0
1	1	1	0	0	0	1	0	0

इस प्रकार से पूर्ण गति बनाए रखने के लिए व्यापार-बंद में अप्रत्याशित लागत (बड़े गेट का उपयोग करने के अतिरिक्त) सम्मलित है। अगर हम उस 1-इनपुट गेट का उपयोग co के पूरक के लिए करते, तो मिनिटर्म का कोई लाभ नहीं होता है I $m_{7}$ ,और इसे उत्पन्न करने वाले द्वार को समाप्त किया जा सकता था। फिर भी, यह अभी भी उत्तम व्यापार है।

अब हम उन कार्यों को ठीक उनके एसओपी और पीओएस कैनोनिकल रूपों के अनुसार प्रारम्भ कर सकते थे, एनओआर गेट्स को निर्दिष्ट कार्यों में परिवर्तित करके 1-इनपुट एनओआर गेट के माध्यम से अपना आउटपुट निकट करके एनओआर गेट को ओआर गेट में बनाया जाता है; और इसे 1-इनपुट एनओआर गेट के माध्यम से इसके प्रत्येक इनपुट को निकट करके एएनडी गेट में बनाया जाता है। चूँकि, यह दृष्टिकोण न केवल उपयोग किए जाने वाले गेट्स की संख्या को बढ़ाता है, बल्कि संकेतों को संसाधित करने वाले गेट्स की संख्या को भी दोगुना कर देता है, जिससे प्रसंस्करण गति आधी हो जाती है। परिणामतः, जब भी प्रदर्शन महत्वपूर्ण होता है, कैनोनिकल रूपों से परे जा रहा है और बूलियन बीजगणित कर असंवर्धित एनओआर गेट्स को काम करने के लिए उत्तम प्रकार से सार्थक है।

टॉप-डाउन बनाम बॉटम-अप डिज़ाइन

हमने अब देखा है कि कैसे कुछ बूलियन बीजगणित के साथ कैनोनिकल रूप में योजक चरण को डिज़ाइन करने के लिए मिनिटर्म/मैक्सटर्म उपकरणों का उपयोग किया जा सकता है, प्रत्येक आउटपुट के लिए सिर्फ 2 गेट देरी की लागत होती है। इस फ़ंक्शन के लिए डिजिटल सर्किट को डिज़ाइन करने का यह टॉप-डाउन उपाय है, किन्तु क्या यह सबसे उत्तम उपाय है? चर्चा ने "सबसे तेज़" को सर्वश्रेष्ठ के रूप में पहचानने पर ध्यान केंद्रित किया है, और संवर्धित कैनोनिकल रूप उस मानदंड को त्रुटिपूर्ण रूप से पूर्ण करता है, किन्तु कभी-कभी अन्य कारक प्रबल होते हैं। डिज़ाइनर के निकट गेट्स की संख्या को कम करने का प्राथमिक लक्ष्य हो सकता है, या अन्य गेट्स के सिग्नल के फैनआउट को कम करने के बाद से बड़े फैनआउट्स अकथनीय बिजली आपूर्ति या अन्य पर्यावरणीय कारकों के लचीलेपन को कम करते हैं। ऐसी स्तिथि में, डिज़ाइनर कैनोनिकल-फ़ॉर्म डिज़ाइन को आधार रेखा के रूप में विकसित कर सकता है, फिर नीचे-ऊपर विकास का प्रयास कर सकता है, और अंत में परिणामों की तुलना कर सकता है।

बॉटम-अप विकास में ध्यान देना सम्मलित है कि u = ci एक्सओआर (x एक्सओआर y), जहां एक्सओआर का अर्थ विशिष्ट है [सच है जब या तो इनपुट सत्य है किन्तु नहीं जब दोनों सत्य हैं], और वह co = ci x + x y + y ci। इस प्रकार के विकास में सभी में बारह एनओआर गेट लगते हैं: छह 2-इनपुट गेट और दो 1-इनपुट गेट, 5 गेट देरी में u का उत्पादन करने के लिए, साथ ही तीन 2-इनपुट गेट और एक 3-इनपुट गेट 2 गेट देरी में co का उत्पादन करने के लिए लगते हैं। कैनोनिकल बेसलाइन ने 2 गेट देरी में u,और co का उत्पादन करने के लिए आठ 3-इनपुट एनओआर गेट्स और तीन 4-इनपुट एनओआर गेट्स लिए लगते हैं। यदि सर्किट इन्वेंट्री में वास्तव में 4-इनपुट एनओआर गेट्स सम्मलित हैं, तो टॉप-डाउन कैनोनिकल डिज़ाइन गेट काउंट और गति दोनों में विजेता के जैसा दिखता है। किन्तु अगर (हमारे सुविधाजनक अनुमान के विपरीत) सर्किट वास्तव में 3-इनपुट एनओआर गेट हैं, जिनमें से प्रत्येक 4-इनपुट एनओआर फ़ंक्शन के लिए दो की आवश्यकता होती है, तो कैनोनिकल डिज़ाइन 14 गेट लेता है जबकि बॉटम-अप दृष्टिकोण के लिए 12, किन्तु अभी भी योग अंक u काफी तेजी से उत्पन्न करता है। फैनआउट तुलना को इस प्रकार सारणीबद्ध किया गया है:

चर	टॉप-डाउन	बॉटम-अप
x	4	1
x'	4	3
y	4	1
y'	4	3
ci	4	1
ci'	4	3
M or m	4@1,4@2	N/A
x XOR y	N/A	2
Misc	N/A	5@1
Max	4	3

बॉटम-अप डेवलपमेंट के विवरण में co' का आउटपुट के रूप में उल्लेख करते है किन्तु co का नहीं। क्या उस डिज़ाइन को कभी भी निष्पादन के प्रत्यक्ष रूप की आवश्यकता नहीं है? प्रत्येक चरण में, co' की गणना केवल ci', x' और y' पर निर्भर करती है, जिसका अर्थ है कि कैरी प्रोपेगेशन रिपल्स बिट पोजीशन के साथ-साथ कैनोनिकल डिज़ाइन में बिना किसी विकास के तेजी से बढ़ता है। u की गणना, जिसके लिए 1-इनपुट एनओआर द्वारा ci से ci की आवश्यकता धीमी है किन्तु किसी भी शब्द की लंबाई के लिए डिज़ाइन केवल एक बार उस दंड का भुगतान करता है (जब सबसे बाईं ओर का अंक विकसित होता है)। ऐसा इसलिए है क्योंकि वे गणनाएँ ओवरलैप होती हैं, प्रत्येक के द्वारा कितनी मात्रा में अपनी छोटी पाइपलाइन को प्रभावित किए बिना जब अगली बिट स्थिति के योग बिट की गणना की जा सकती है, और सुनिश्चित करने के लिए, सबसे बाएं बिट स्थिति के co' को संभवतः तर्क के भाग के रूप में पूरक होना होगा, यह निर्धारित करने के लिए कि अतिरिक्त अतिप्रवाह हुआ है या नहीं। किन्तु 3-इनपुट एनओआर गेट्स का उपयोग करते हुए, बॉटम-अप डिज़ाइन एक गैर-तुच्छ शब्द लंबाई पर समानांतर जोड़ करने के लिए लगभग उतनी ही तेज गेट काउंट में कटौती करता है, और कम फैनआउट का उपयोग करता है I इसलिए यदि गेट काउंट होता है तो यह जीत जाता है और फनौट(fanout) सर्वोपरि होता हैं I

हम बॉटम-अप डिज़ाइन की सटीक सर्किटरी छोड़ देंगे, जिसमें ये सभी कथन इच्छुक पाठक के लिए अभ्यास के रूप में सत्य हैं, और बीजगणितीय सूत्र द्वारा सहायता प्राप्त है: u = ci(x XOR y) + ci′(x XOR y) )']'। इस तरह से योग के गठन से कैरी प्रसार को डिकॉप्लिंग करना रिपल कैरी योजक के ऊपर कैरी-लुकहेड योजक के प्रदर्शन को बढ़ाता है।

डिजिटल सर्किट डिजाइन में आवेदन

बूलियन बीजगणित का अनुप्रयोग डिजिटल सर्किट डिज़ाइन है, जिसका लक्ष्य गेट्स की संख्या को कम करना और दूसरा स्थायीकरण के समय को कम करना है।

दो चर के सोलह संभावित कार्य हैं, किन्तु डिजिटल लॉजिक हार्डवेयर में, सबसे सरल गेट सर्किट उनमें से केवल चार को लागू करते हैं: तार्किक संयोजन (एएनडी), तार्किक संयोजन (समावेशी ओआर ), और उन (एनएएनडी और एनओआर) के संबंधित पूरक हैं।

अधिकांश गेट सर्किट 2 से अधिक इनपुट चर स्वीकार करते हैं; उदाहरण के लिए, स्पेसबोर्न अपोलो गाइडेंस कंप्यूटर, जिसने 1960 के दशक में इंटीग्रेटेड सर्किट के अनुप्रयोग का बीड़ा उठाया था, केवल एक प्रकार के गेट के साथ बनाया गया था, 3-इनपुट एनओआर, जिसका आउटपुट तभी सही होता है जब सभी 3 इनपुट त्रुटिपूर्ण होते हैं।^[2]^{[page needed]}^[3]

यह भी देखें

बूलियन बीजगणित विषयों की सूची

संदर्भ

↑ Peter J. Pahl; Rudolf Damrath (6 December 2012). Mathematical Foundations of Computational Engineering: A Handbook. Springer Science & Business Media. pp. 15–. ISBN 978-3-642-56893-0.
↑ Hall, Eldon C. (1996). Journey to the Moon: The History of the Apollo Guidance Computer. AIAA. ISBN 1-56347-185-X.
↑ "अपोलो गाइडेंस कंप्यूटर (एजीसी) स्कैमैटिक्स". klabs.org. Rich Katz. Retrieved 2021-06-19. To see how NOR gate logic was used in the Apollo Guidance Computer's ALU, select any of the 4-BIT MODULE entries in the Index to Drawings, and expand images as desired.

अग्रिम पठन

Bender, Edward A.; Williamson, S. Gill (2005). A Short Course in Discrete Mathematics. Mineola, NY: Dover Publications, Inc. ISBN 0-486-43946-1.
The authors demonstrate a proof that any Boolean (logic) function can be expressed in either disjunctive or conjunctive normal form (cf pages 5–6); the proof simply proceeds by creating all 2^N rows of N Boolean variables and demonstrates that each row ("minterm" or "maxterm") has a unique Boolean expression. Any Boolean function of the N variables can be derived from a composite of the rows whose minterm or maxterm are logical 1s ("trues")
McCluskey, E. J. (1965). Introduction to the Theory of Switching Circuits. NY: McGraw–Hill Book Company. p. 78. LCCN 65-17394. Canonical expressions are defined and described
Hill, Fredrick J.; Peterson, Gerald R. (1974). Introduction to Switching Theory and Logical Design (2nd ed.). NY: John Wiley & Sons. p. 101. ISBN 0-471-39882-9. Minterm and maxterm designation of functions

बाहरी संबंध

Boole, George (1848). Translated by Wilkins, David R. "The Calculus of Logic". Cambridge and Dublin Mathematical Journal. III: 183–198.

[PahlDamrath2012-1] Peter J. Pahl; Rudolf Damrath (6 December 2012). Mathematical Foundations of Computational Engineering: A Handbook. Springer Science & Business Media. pp. 15–. ISBN 978-3-642-56893-0.

[2] Hall, Eldon C. (1996). Journey to the Moon: The History of the Apollo Guidance Computer. AIAA. ISBN 1-56347-185-X.

[3] "अपोलो गाइडेंस कंप्यूटर (एजीसी) स्कैमैटिक्स". klabs.org. Rich Katz. Retrieved 2021-06-19. To see how NOR gate logic was used in the Apollo Guidance Computer's ALU, select any of the 4-BIT MODULE entries in the Index to Drawings, and expand images as desired.

[1]

[2]

[3]

@@ Line 2: / Line 2: @@
 {{about-distinguish|विशेष रूप से बूलियन बीजगणित में कैनोनिकल रूप|कैनोनिकल रूप|सामान्य रूप}}
-[[बूलियन बीजगणित (तर्क)]] में, किसी भी [[बूलियन समारोह|बूलियन फंक्शन]] को कैनोनिकल [[वियोगी सामान्य रूप]] (डिसजंक्टिव नॉर्मल फॉर्म) में व्यक्त किया जा सकता है<ref name="PahlDamrath2012">{{cite book|author1=Peter J. Pahl|author2=Rudolf Damrath|title=Mathematical Foundations of Computational Engineering: A Handbook|url=https://books.google.com/books?id=FRfrCAAAQBAJ&q=%22Canonical+disjunctive+normal+form%22&pg=PA15|date=6 December 2012|publisher=Springer Science & Business Media|isbn=978-3-642-56893-0|pages=15–}}</ref> या मिनिटर्म [[ कानूनी फॉर्म |कानूनी फॉर्म]] और इसका डुअल कैनोनिकल [[ संयोजक सामान्य रूप ]] (कॉन्जक्टिव नॉर्मल फॉर्म) या मैक्सटर्म कैनोनिकल फॉर्म के रूप में व्यक्त किया जा सकता है। अन्य कैनोनिकल रूपों में प्रमुख इम्प्लिकेंट्स या [[ ब्लेक विहित रूप |ब्लेक कैनोनिकल रूप]] (और इसके दोहरे) का पूरा योग, और [[बीजगणितीय सामान्य रूप]] (जिसे ज़ेगाल्किन या रीड-मुलर भी कहा जाता है) सम्मलित होते हैं।
+[[बूलियन बीजगणित (तर्क)|बूलियन बीजगणित]] में, किसी भी [[बूलियन समारोह|बूलियन फंक्शन]] को कैनोनिकल [[वियोगी सामान्य रूप]] में व्यक्त किया जा सकता है<ref name="PahlDamrath2012">{{cite book|author1=Peter J. Pahl|author2=Rudolf Damrath|title=Mathematical Foundations of Computational Engineering: A Handbook|url=https://books.google.com/books?id=FRfrCAAAQBAJ&q=%22Canonical+disjunctive+normal+form%22&pg=PA15|date=6 December 2012|publisher=Springer Science & Business Media|isbn=978-3-642-56893-0|pages=15–}}</ref> या मिनिटर्म [[ कानूनी फॉर्म |नियमी फॉर्म]] और इसका डुअल कैनोनिकल [[ संयोजक सामान्य रूप |संयोजक सामान्य रूप]] या मैक्सटर्म कैनोनिकल फॉर्म के रूप में व्यक्त किया जा सकता है। अन्य कैनोनिकल रूपों में प्रमुख इम्प्लिकेंट्स या [[ ब्लेक विहित रूप |ब्लेक कैनोनिकल रूप]] का पूर्ण योग, और [[बीजगणितीय सामान्य रूप]] (जिसे ज़ेगाल्किन या रीड-मुलर भी कहा जाता है) सम्मलित होते हैं।
-''मिनिटर्म'' को उत्पाद कहा जाता है क्योंकि वे चर के समुच्चय के तार्किक एएनडी होते हैं, और ''मैक्सटर्म'' को योग कहा जाता है क्योंकि वे चर के समुच्चय के तार्किक ओआर होते हैं। डी मॉर्गन के कानूनों द्वारा व्यक्त किए गए उनके पूरक-समरूपता संबंध के कारण ये अवधारणाएं दोहरी हैं।
+मिनिटर्म को उत्पाद कहा जाता है क्योंकि वे चर के समुच्चय के तार्किक एएनडी होते हैं, और मैक्सटर्म को योग कहा जाता है क्योंकि वे चर के समुच्चय के तार्किक ओआर होते हैं। डी मॉर्गन के नियमों द्वारा व्यक्त किए गए उनके पूरक-समरूपता संबंध के कारण इन अवधारणाओं की पुनरावृत्ति होती हैं।
-किसी भी बूलियन फ़ंक्शन के दो दोहरे कैनोनिकल रूप न्यूनतम शब्दों का योग और अधिकतम शब्दों का गुणनफल हैं। 'सम ऑफ प्रोडक्ट्स' ('एसओपी' या 'एसओपी') शब्द का व्यापक रूप से कैनोनिकल रूप के लिए उपयोग किया जाता है जो कि टकसालों का संयोजन (ओआर) होता है। इसका [[डुअल डी मॉर्गन]] कैनोनिकल फॉर्म के लिए 'सम्स का प्रोडक्ट' ('पीओएस' या 'पीओएस') है जो कि मैक्सटर्म्स का संयोजन (एएनडी) है। इन कार्यों के सरलीकरण के लिए ये रूप उपयोगी हो सकते हैं, जो सामान्य रूप से बूलियन सूत्रों के अनुकूलन और विशेष रूप से [[डिजिटल सर्किट]] में बहुत महत्वपूर्ण है।
+किसी भी बूलियन फ़ंक्शन के दो पुनरावृत्ति कैनोनिकल रूप न्यूनतम शब्दों का योग और अधिकतम शब्दों का गुणनफल हैं। 'उत्पाद का योग' ('एसओपी' या 'एसओपी') शब्द का व्यापक रूप से कैनोनिकल रूप के लिए उपयोग किया जाता है जो कि टकसालों का संयोजन (ओआर) होता है। इसका [[डुअल डी मॉर्गन]] कैनोनिकल फॉर्म के लिए 'उत्पाद का योग' ('पीओएस' या 'पीओएस') है जो कि मैक्सटर्म्स का संयोजन (एएनडी) है। इन कार्यों के सरलीकरण के लिए ये रूप उपयोगी हो सकते हैं, जो सामान्य रूप से बूलियन सूत्रों के अनुकूलन और विशेष रूप से [[डिजिटल सर्किट]] में अधिक महत्वपूर्ण है।
 == मिनिटर्म ==
-मिनिटर्म के बूलियन फंक्शन के लिए <math>n</math> चर <math>{x_1,\dots,x_n}</math>,उत्पाद शब्द जिसमें प्रत्येक <math>n</math> चर एक बार प्रकट होते हैं (या तो इसके पूरक या अपूर्ण रूप में) को 'मिनिटर्म' कहा जाता है। इस प्रकार, ''मिनिटर्म'' ''<math>n</math>'' चरों की तार्किक अभिव्यक्ति है जो केवल ''पूरक'' ऑपरेटर और ''कंजंक्शन'' ऑपरेटर को नियोजित करता है।
+मिनिटर्म के बूलियन फंक्शन के लिए <math>n</math> चर <math>{x_1,\dots,x_n}</math>,उत्पाद शब्द जिसमें प्रत्येक <math>n</math> चर प्रकट होते हैं (या तो इसके पूरक या अपूर्ण रूप में) को 'मिनिटर्म' कहा जाता है। इस प्रकार, ''मिनिटर्म'' ''<math>n</math>'' चरों की तार्किक अभिव्यक्ति है जो केवल ''पूरक'' ऑपरेटर और ''कंजंक्शन'' ऑपरेटर को नियोजित करता है।
 उदाहरण के लिए, <math>abc</math>, <math>ab'c</math> और <math>abc'</math> तीन चरों के बूलियन फ़ंक्शन के लिए 8 मिनिटर्म के 3 उदाहरण <math>a</math>, <math>b</math>, और <math>c</math> हैं I इनमें से अंतिम का पारंपरिक पठन a AND b AND NOT-c है।
@@ Line 19: / Line 19: @@
 === कार्यात्मक तुल्यता ===
-दिया गया मिनिटर्म n इनपुट चरों के संयोजन के लिए सही मान (यानी, 1) देता है। उदाहरण के लिए, मिनिटर्म 5, a b<nowiki>'</nowiki> c, केवल तभी सत्य होता है जब a और c दोनों सत्य होते हैं और b गलत होता है—इनपुट व्यवस्था जहां a = 1, b = 0, c = 1 का परिणाम 1 होता है .
+दिया गया मिनिटर्म n इनपुट चरों के संयोजन के लिए सही मान (यानी, 1) देता है। उदाहरण के लिए, मिनिटर्म 5, a b<nowiki>'</nowiki> c, केवल तभी सत्य होता है जब a और c दोनों सत्य होते हैं और b त्रुटिपूर्ण होता है—इनपुट व्यवस्था जहां a = 1, b = 0, c = 1 का परिणाम 1 होता है .
-किसी तार्किक फलन की सत्य तालिका को देखते हुए, फलन को उत्पादों के योग के रूप में लिखना संभव होता है। यह वियोगात्मक सामान्य रूप का विशेष रूप है। उदाहरण के लिए, यदि योजक सर्किट के बिट स्थिति के तर्क के अंकगणितीय योग बिट ''u'' के लिए सत्य तालिका दी गई है, तो ''x'' और ''y'' के कार्य के रूप में और कैरी इन, ''ci'':
+किसी तार्किक फलन की सत्य सारणी को देखते हुए, फलन को उत्पादों के योग के रूप में लिखना संभव होता है। यह वियोगात्मक सामान्य रूप का विशेष रूप है। उदाहरण के लिए, यदि योजक सर्किट के बिट स्थिति के तर्क के अंकगणितीय योग बिट ''u'' के लिए सत्य सारणी दी गई है, तो ''x'' और ''y'' के कार्य के रूप में और कैरी इन, ''ci'':
 {| class="wikitable" style="margin: 1em auto 1em auto"
@@ Line 45: / Line 45: @@
 |1||1||1||1
 |}
-यह देखते हुए कि जिन पंक्तियों का आउटपुट 1 है, वे दूसरी, तीसरी, पांचवीं और आठवीं हैं, हम ''u'' को न्यूनतम शब्दों के योग के रूप में लिख सकते हैं I <math>m_1, m_2, m_4,</math> और <math>m_7</math> अगर हम इसे सत्यापित करना चाहते हैं: <math> u(ci,x,y) = m_1 + m_2 + m_4 + m_7 = (ci',x',y)+(ci',x,y') + (ci,x',y')+(ci,x,y)</math> तीन चरों के सभी 8 संयोजनों के लिए मूल्यांकन किया गया तालिका से मेल खाएगा।
+यह देखते हुए कि जिन पंक्तियों का आउटपुट 1 है, वे दूसरी, तीसरी, पांचवीं और आठवीं हैं, हम ''u'' को न्यूनतम शब्दों के योग के रूप में लिख सकते हैं I <math>m_1, m_2, m_4,</math> और <math>m_7</math> अगर हम इसे सत्यापित करना चाहते हैं: <math> u(ci,x,y) = m_1 + m_2 + m_4 + m_7 = (ci',x',y)+(ci',x,y') + (ci,x',y')+(ci,x,y)</math> तीन चरों के सभी 8 संयोजनों के लिए मूल्यांकन किया गया सारणी से मेल खाएगा।
 == मैक्सटर्म्स ==
-मैक्सटर्म के बूलियन फंक्शन के लिए {{mvar|n}} चर <math>{x_1,\dots,x_n}</math>, योग अवधि जिसमें प्रत्येक {{mvar|n}} चर एक बार प्रकट होता है (या तो इसके पूरक या अपूर्ण रूप में) को ''मैक्सटर्म '' कहा जाता है। इस प्रकार,''अधिकतम''  की तार्किक अभिव्यक्ति है I {{mvar|n}} चरों जो केवल पूरक ऑपरेटर और संयोजन ऑपरेटर को नियोजित करते हैं। मैक्सटर्म मिनिटर्म विचार के दोहरे हैं (यानी, सभी स्तिथियों में पूरक समरूपता प्रदर्शित करना)। ANDs और पूरक का उपयोग करने के अतिरिक्त, हम ORs और पूरक का उपयोग करते हैं और इसी प्रकार आगे बढ़ते हैं।
+मैक्सटर्म के बूलियन फंक्शन के लिए {{mvar|n}} चर <math>{x_1,\dots,x_n}</math>, योग अवधि जिसमें प्रत्येक {{mvar|n}} चर एक बार प्रकट होता है (या तो इसके पूरक या अपूर्ण रूप में) को ''मैक्सटर्म '' कहा जाता है। इस प्रकार,''अधिकतम''  की तार्किक अभिव्यक्ति है I {{mvar|n}} चरों जो केवल पूरक ऑपरेटर और संयोजन ऑपरेटर को नियोजित करते हैं। मैक्सटर्म मिनिटर्म विचार के पुनरावृत्ति हैं (यानी, सभी स्तिथियों में पूरक समरूपता प्रदर्शित करना)। ANDs और पूरक का उपयोग करने के अतिरिक्त, हम ORs और पूरक का उपयोग करते हैं और इसी प्रकार आगे बढ़ते हैं।
 उदाहरण के लिए, निम्नलिखित तीन चरों के आठ अधिकतम पदों में से दो हैं
@@ Line 60: / Line 60: @@
 === कार्यात्मक तुल्यता ===
-यह स्पष्ट है कि maxterm n इनपुट चरों के केवल एक संयोजन के लिए एक गलत मान (अर्थात, 0) देता है। उदाहरण के लिए, मैक्सटर्म 5, a′ + b + c′, तभी गलत है जब a और c दोनों सत्य हैं और b गलत है—इनपुट व्यवस्था जहां a = 1, b = 0, c = 1 का परिणाम 0 होता है।
+यह स्पष्ट है कि maxterm n इनपुट चरों के केवल एक संयोजन के लिए एक त्रुटिपूर्ण मान (अर्थात, 0) देता है। उदाहरण के लिए, मैक्सटर्म 5, a′ + b + c′, तभी त्रुटिपूर्ण है जब a और c दोनों सत्य हैं और b त्रुटिपूर्ण है—इनपुट व्यवस्था जहां a = 1, b = 0, c = 1 का परिणाम 0 होता है।
-यदि किसी को एक तार्किक फलन की सत्य सारणी दी गई है, तो फलन को योगों के गुणनफल के रूप में लिखना संभव है। यह संयोजक सामान्य रूप का एक विशेष रूप है। उदाहरण के लिए, यदि एक योजक सर्किट के एक बिट स्थिति के तर्क के कैरी-आउट बिट सह के लिए सत्य तालिका दी गई है, तो ''x'' और ''y'' के कार्य के रूप में और कैरी इन, ''ci'':
+यदि किसी को एक तार्किक फलन की सत्य सारणी दी गई है, तो फलन को योगों के गुणनफल के रूप में लिखना संभव है। यह संयोजक सामान्य रूप का एक विशेष रूप है। उदाहरण के लिए, यदि एक योजक सर्किट के एक बिट स्थिति के तर्क के कैरी-आउट बिट सह के लिए सत्य सारणी दी गई है, तो ''x'' और ''y'' के कार्य के रूप में और कैरी इन, ''ci'':
 {| class="wikitable" style="margin: 1em auto 1em auto"
@@ Line 88: / Line 88: @@
 यह देखते हुए कि जिन पंक्तियों का आउटपुट 0 है, वे पहली, दूसरी, तीसरी और पाँचवीं हैं, हम co को मैक्सटर्म के उत्पाद के रूप में लिख सकते हैं <math>M_0, M_1, M_2</math> और <math>M_4</math>. अगर हम इसे सत्यापित करना चाहते हैं:
 :<math>co(ci, x, y) = M_0 M_1 M_2 M_4 = (ci + x + y) (ci + x + y') (ci + x' + y) (ci' + x + y)</math>
-तीन चरों के सभी 8 संयोजनों के लिए मूल्यांकन किया गया तालिका से मेल खाएगा।
+तीन चरों के सभी 8 संयोजनों के लिए मूल्यांकन किया गया सारणी से मेल खाएगा।
 == द्वैतीकरण ==
-मिनिटर्म का पूरक संबंधित मैक्सटर्म है। डी मॉर्गन के कानून का उपयोग करके इसे आसानी से सत्यापित किया जा सकता है। उदाहरण के लिए:
+मिनिटर्म का पूरक संबंधित मैक्सटर्म है। डी मॉर्गन के नियम का उपयोग करके इसे सरलता से सत्यापित किया जा सकता है। उदाहरण के लिए:
 <math>M_5 = a' + b + c' = (a b' c)' = m_5'</math>
 ==गैर-प्रामाणिक पीओएस और एसओपी रूपों==
-प्रायः ऐसा होता है कि कैनोनिकल मिनिटर्म फॉर्म को समकक्ष एसओपी फॉर्म में सरल बनाया जा सकता है। इस सरलीकृत रूप में अभी भी उत्पाद शर्तों का योग सम्मलित होगा। चूँकि, सरलीकृत रूप में, कम उत्पाद शब्द या उत्पाद शब्द कम चर वाले हो सकते हैं। उदाहरण के लिए, निम्नलिखित 3-चर फ़ंक्शन:
+प्रायः ऐसा होता है कि कैनोनिकल मिनिटर्म फॉर्म को समकक्ष एसओपी फॉर्म में सरल बनाया जा सकता है। इस सरलीकृत रूप में अभी भी उत्पाद नियमं का योग सम्मलित होगा। चूँकि, सरलीकृत रूप में, कम उत्पाद शब्द या उत्पाद शब्द कम चर वाले हो सकते हैं। उदाहरण के लिए, निम्नलिखित 3-चर फ़ंक्शन:
 {| class="wikitable" style="margin: 1em auto 1em auto"
@@ Line 118: / Line 118: @@
 |1||1||1||1
 |}
-कैनोनिकल मिन्टरम प्रतिनिधित्व है: <math>f = a'bc + abc</math>, लेकिन इसका समकक्ष सरलीकृत रूप है:
+कैनोनिकल मिन्टरम प्रतिनिधित्व <math>f = a'bc + abc</math> है, किन्तु इसका समकक्ष सरलीकृत रूप <math>f = bc</math> है, इस उदाहरण में, यह स्पष्ट है कि <math>bc = a'bc + abc</math>, किन्तु सरलीकृत रूप में दोनों कम उत्पाद शब्द हैं,और शब्द में कम चर हैं।
-<math>f = bc</math>.
-इस उदाहरण में, यह स्पष्ट है कि <math>bc = a'bc + abc</math>, लेकिन सरलीकृत रूप में दोनों कम उत्पाद शब्द हैं,और शब्द में कम चर हैं।
 किसी फ़ंक्शन के सबसे सरलीकृत एसओपी प्रतिनिधित्व को न्यूनतम एसओपी फॉर्म के रूप में संदर्भित किया जाता है।
@@ Line 131: / Line 129: @@
 == आवेदन उदाहरण ==
-ऊपर दिए गए मिनिटर्म और मैक्सटर्म के लिए प्रतिरूप सत्य सारणी बाइनरी नंबरों के अतिरिक्त एकल बिट स्थिति के लिए कैनोनिकल फॉर्म स्थापित करने के लिए पर्याप्त हैं, लेकिन डिजिटल लॉजिक को डिज़ाइन करने के लिए पर्याप्त नहीं हैं जब तक कि आपके गेट्स की सूची में एएनडी और ओआर सम्मलित न हो। जहां प्रदर्शन विषय है (अपोलो गाइडेंस कंप्यूटर के रूप में), ट्रांजिस्टर लॉजिक में निहित पूरक क्रिया के कारण उपलब्ध भागों के एनएएनडी और एनओआर होने की अधिक संभावना है। मूल्यों को वोल्टेज राज्यों के रूप में परिभाषित किया गया है, जमीन के पास और एक डीसी आपूर्ति वोल्टेज V<sub>cc</sub> के पास, उदा. +5 वीडीसी। यदि उच्च वोल्टेज को 1 सही मान के रूप में परिभाषित किया जाता है, तो एनओआर गेट सबसे सरल संभव उपयोगी तार्किक तत्व है।
+ऊपर दिए गए मिनिटर्म और मैक्सटर्म के लिए प्रतिरूप सत्य सारणी बाइनरी नंबरों के अतिरिक्त एकल बिट स्थिति के लिए कैनोनिकल फॉर्म स्थापित करने के लिए पर्याप्त हैं, किन्तु डिजिटल लॉजिक को डिज़ाइन करने के लिए पर्याप्त नहीं हैं जब तक कि आपके गेट्स की सूची में एएनडी और ओआर सम्मलित न हो। जहां प्रदर्शन विषय है (अपोलो गाइडेंस कंप्यूटर के रूप में), ट्रांजिस्टर लॉजिक में निहित पूरक क्रिया के कारण उपलब्ध भागों के एनएएनडी और एनओआर होने की अधिक संभावना है। मूल्यों को वोल्टेज राज्यों के रूप में परिभाषित किया गया है, भूमि के निकट और एक डीसी आपूर्ति वोल्टेज V<sub>cc</sub> के निकट, उदा. +5 वीडीसी। यदि उच्च वोल्टेज को 1 सही मान के रूप में परिभाषित किया जाता है, तो एनओआर गेट सबसे सरल संभव उपयोगी तार्किक तत्व है।
-विशेष रूप से, 3-इनपुट एनओआर गेट में 3 बाइपोलर जंक्शन ट्रांजिस्टर सम्मलित हो सकते हैं, जिनके उत्सर्जक सभी ग्राउंडेड होते हैं, उनके संग्राहक साथ में बंधे और V<sub>cc</sub> से जुड़े होते हैं। भार प्रतिबाधा के माध्यम से प्रत्येक आधार इनपुट सिग्नल से जुड़ा होता है, और सामान्य संग्राहक बिंदु आउटपुट सिग्नल प्रस्तुत करता है। कोई भी इनपुट जो इसके आधार पर 1 (उच्च वोल्टेज) होता है, अपने ट्रांजिस्टर के उत्सर्जक को उसके संग्राहक तक छोटा कर देता है, जिससे लोड प्रतिबाधा के माध्यम से प्रवाह होता है, जो संग्राहक वोल्टेज (आउटपुट) को जमीन के बहुत निकट लाता है। वह परिणाम अन्य निविष्टियों से स्वतंत्र होता है। जब सभी 3 इनपुट सिग्नल 0 (कम वोल्टेज) होते हैं, तो सभी 3 ट्रांजिस्टर के उत्सर्जक-संग्राहक प्रतिबाधा बहुत अधिक रहती है। तब बहुत कम धारा प्रवाहित होती है, और भार प्रतिबाधा के साथ वोल्टेज-विभक्त प्रभाव संग्राहक बिंदु पर V<sub>cc</sub> के बहुत निकट उच्च वोल्टेज लगाता है।
+विशेष रूप से, 3-इनपुट एनओआर गेट में 3 बाइपोलर जंक्शन ट्रांजिस्टर सम्मलित हो सकते हैं, जिनके उत्सर्जक सभी ग्राउंडेड होते हैं, उनके संग्राहक साथ में बंधे और V<sub>cc</sub> से जुड़े होते हैं। भार प्रतिबाधा के माध्यम से प्रत्येक आधार इनपुट सिग्नल से जुड़ा होता है, और सामान्य संग्राहक बिंदु आउटपुट सिग्नल प्रस्तुत करता है। कोई भी इनपुट जो इसके आधार पर 1 (उच्च वोल्टेज) होता है, अपने ट्रांजिस्टर के उत्सर्जक को उसके संग्राहक तक छोटा कर देता है, जिससे लोड प्रतिबाधा के माध्यम से प्रवाह होता है, जो संग्राहक वोल्टेज (आउटपुट) को भूमि के अधिक निकट लाता है। वह परिणाम अन्य निविष्टियों से स्वतंत्र होता है। जब सभी 3 इनपुट सिग्नल 0 (कम वोल्टेज) होते हैं, तो सभी 3 ट्रांजिस्टर के उत्सर्जक-संग्राहक प्रतिबाधा अधिक अधिक रहती है। तब अधिक कम धारा प्रवाहित होती है, और भार प्रतिबाधा के साथ वोल्टेज-विभक्त प्रभाव संग्राहक बिंदु पर V<sub>cc</sub> के अधिक निकट उच्च वोल्टेज लगाता है।
-कैनोनिकल रूप में किसी फ़ंक्शन को प्रारम्भ करने का प्रयास करते समय इन गेट सर्किट की पूरक संपत्ति कमी के जैसे लग सकती है, लेकिन क्षतिपूर्ति बोनस है: केवल इनपुट वाला ऐसा गेट पूरक फ़ंक्शन को प्रारम्भ करता है, जो डिजिटल लॉजिक में प्रायः आवश्यक होता है।
+कैनोनिकल रूप में किसी फ़ंक्शन को प्रारम्भ करने का प्रयास करते समय इन गेट सर्किट की पूरक संपत्ति कमी के जैसे लग सकती है, किन्तु क्षतिपूर्ति बोनस है: केवल इनपुट वाला ऐसा गेट पूरक फ़ंक्शन को प्रारम्भ करता है, जो डिजिटल लॉजिक में प्रायः आवश्यक होता है।
-यह उदाहरण अपोलो भागों की सूची मानता है: केवल 3-इनपुट एनओआर गेट्स हैं, लेकिन यह मानकर कि 4-इनपुट एनओआर गेट्स भी उपलब्ध हैं (अपोलो में, उन्हें 3-इनपुट एनओआरs के जोड़े से मिश्रित किया गया था) की चर्चा को सरल बनाया गया है।
+यह उदाहरण अपोलो भागों की सूची मानता है: केवल 3-इनपुट एनओआर गेट्स हैं, किन्तु यह मानकर कि 4-इनपुट एनओआर गेट्स भी उपलब्ध हैं (अपोलो में, उन्हें 3-इनपुट एनओआरs के जोड़े से मिश्रित किया गया था) की चर्चा को सरल बनाया गया है।
 == एनओआर गेट्स के कैनोनिकल और गैर-कैनोनिकल परिणाम ==
@@ Line 144: / Line 142: @@
 यह कोई समस्या नहीं है इसका कारण मिनिटर्म और मैक्सटर्म का द्वंद्व है, यानी प्रत्येक मैक्सटर्म समान-अनुक्रमित मिनिटर्म का पूरक है, और इसके विपरीत है।
-उपरोक्त न्यूनतम उदाहरण में, हमने लिखा <math>u(ci, x, y) = m_1 + m_2 + m_4 + m_7</math> लेकिन इसे 4-इनपुट एनओआर गेट के साथ निष्पादित करने के लिए हमें इसे राशियों (पीओएस) के उत्पाद के रूप में पुन: स्थापित करने की आवश्यकता है, जहां योग विपरीत अधिकतम पद हैं। वह है,
+उपरोक्त न्यूनतम उदाहरण में, हमने लिखा <math>u(ci, x, y) = m_1 + m_2 + m_4 + m_7</math> किन्तु इसे 4-इनपुट एनओआर गेट के साथ निष्पादित करने के लिए हमें इसे राशियों (पीओएस) के उत्पाद के रूप में पुन: स्थापित करने की आवश्यकता है, जहां योग विपरीत अधिकतम पद हैं। वह है,
 :<math>u(ci, x, y) = \mathrm{AND}(M_0,M_3,M_5,M_6) = \mathrm{NOR}(m_0,m_3,m_5,m_6).</math>
@@ Line 207: / Line 205: @@
 |}
 |}
-उपरोक्त मैक्सटर्म उदाहरण में, हमने लिखा है <math>co(ci, x, y) = M_0 M_1 M_2 M_4</math> लेकिन इसे 4-इनपुट एनओआर गेट के साथ करने के लिए हमें समान मिनिटर्म के एनओआर की समानता पर ध्यान देने की आवश्यकता है। वह है,
+उपरोक्त मैक्सटर्म उदाहरण में, हमने लिखा है <math>co(ci, x, y) = M_0 M_1 M_2 M_4</math> किन्तु इसे 4-इनपुट एनओआर गेट के साथ करने के लिए हमें समान मिनिटर्म के एनओआर की समानता पर ध्यान देने की आवश्यकता है। वह है,
 :<math>co(ci, x, y) = \mathrm{AND}(M_0,M_1,M_2,M_4) = \mathrm{NOR}(m_0,m_1,m_2,m_4).</math>
@@ Line 273: / Line 271: @@
 === कैनोनिकल फॉर्मश टेबल के अतिरिक्त डिजाइन ट्रेड-ऑफ पर विचार किया गया ===
-कोई यह मान सकता है कि योजक चरण को डिजाइन करने का काम अब पूरा हो गया है, लेकिन हमने इस तथ्य को संबोधित नहीं किया है कि सभी 3 इनपुट चर को उनके प्रत्यक्ष और पूरक दोनों रूपों में प्रकट होना है। इस संबंध में जोड़ x और y के बारे में कोई कठिनाई नहीं है, क्योंकि वे जोड़ के समय स्थिर हैं और इस प्रकार सामान्य रूप से लैच सर्किट में आयोजित होते हैं जो नियमित रूप से प्रत्यक्ष और पूरक दोनों आउटपुट होते हैं। (एनओआर गेट्स से बना सबसे सरल लैच सर्किट फ्लिप-फ्लॉप बनाने के लिए क्रॉस-युग्मित गेट्स की जोड़ी है: प्रत्येक का आउटपुट दूसरे के इनपुट में से एक के रूप में वायर्ड होता है।) पूरक फॉर्म बनाने की भी कोई आवश्यकता नहीं है। चूँकि, राशि ''u'' बिट स्थिति से बाहर ले जाने को प्रत्यक्ष और पूरक दोनों रूपों में अगली बिट स्थिति में ले जाने के रूप में पारित किया जाना चाहिए। ऐसा करने का सबसे सीधा तरीका 1-इनपुट एनओआर गेट के माध्यम से co को पास करना और आउटपुट co′ को लेबल करना है, लेकिन यह सबसे अकथनीय संभावित स्थान पर गेट विलंब जोड़ देगा, दाएं से बाएं की ओर बढ़ने की गति को धीमा कर देगा। अतिरिक्त 4-इनपुट एनओआर गेट जो co' के कैनोनिकल रूप का निर्माण करता है (विपरीत मिनिटर्म से co के रूप में) इस समस्या को हल करता है।
+कोई यह मान सकता है कि योजक चरण को डिजाइन करने का काम अब पूर्ण हो गया है, किन्तु हमने इस तथ्य को संबोधित नहीं किया है कि सभी 3 इनपुट चर को उनके प्रत्यक्ष और पूरक दोनों रूपों में प्रकट होना है। इस संबंध में जोड़ x और y के बारे में कोई कठिनाई नहीं है, क्योंकि वे जोड़ के समय स्थिर हैं और इस प्रकार सामान्य रूप से लैच सर्किट में आयोजित होते हैं जो नियमित रूप से प्रत्यक्ष और पूरक दोनों आउटपुट होते हैं। (एनओआर गेट्स से बना सबसे सरल लैच सर्किट फ्लिप-फ्लॉप बनाने के लिए क्रॉस-युग्मित गेट्स की जोड़ी है: प्रत्येक का आउटपुट दूसरे के इनपुट में से एक के रूप में वायर्ड होता है।) पूरक फॉर्म बनाने की भी कोई आवश्यकता नहीं है। चूँकि, राशि ''u'' बिट स्थिति से बाहर ले जाने को प्रत्यक्ष और पूरक दोनों रूपों में अगली बिट स्थिति में ले जाने के रूप में पारित किया जाना चाहिए। ऐसा करने का सबसे सीधा तरीका 1-इनपुट एनओआर गेट के माध्यम से co को निकट करना और आउटपुट co′ को लेबल करना है, किन्तु यह सबसे अकथनीय संभावित स्थान पर गेट विलंब जोड़ देगा, दाएं से बाएं की ओर बढ़ने की गति को धीमा कर देगा। अतिरिक्त 4-इनपुट एनओआर गेट जो co' के कैनोनिकल रूप का निर्माण करता है (विपरीत मिनिटर्म से co के रूप में) इस समस्या को हल करता है।
 : <math>co'(ci, x, y) = \mathrm{AND}(M_3,M_5,M_6,M_7) = \mathrm{NOR}(m_3,m_5,m_6,m_7).</math>
@@ Line 338: / Line 336: @@
 इस प्रकार से पूर्ण गति बनाए रखने के लिए व्यापार-बंद में अप्रत्याशित लागत (बड़े गेट का उपयोग करने के अतिरिक्त) सम्मलित है। अगर हम उस 1-इनपुट गेट का उपयोग co के पूरक के लिए करते, तो मिनिटर्म का कोई लाभ नहीं होता है I <math>m_7</math>,और इसे उत्पन्न करने वाले द्वार को समाप्त किया जा सकता था। फिर भी, यह अभी भी उत्तम व्यापार है।
-अब हम उन कार्यों को ठीक उनके एसओपी और पीओएस कैनोनिकल रूपों के अनुसार प्रारम्भ कर सकते थे, एनओआर गेट्स को निर्दिष्ट कार्यों में परिवर्तित करके 1-इनपुट एनओआर गेट के माध्यम से अपना आउटपुट पास करके एनओआर गेट को ओआर गेट में बनाया जाता है; और इसे 1-इनपुट एनओआर गेट के माध्यम से इसके प्रत्येक इनपुट को पास करके एएनडी गेट में बनाया जाता है। चूँकि, यह दृष्टिकोण न केवल उपयोग किए जाने वाले गेट्स की संख्या को बढ़ाता है, बल्कि संकेतों को संसाधित करने वाले गेट्स की संख्या को भी दोगुना कर देता है, जिससे प्रसंस्करण गति आधी हो जाती है। परिणामतः, जब भी प्रदर्शन महत्वपूर्ण होता है, कैनोनिकल रूपों से परे जा रहा है और बूलियन बीजगणित कर असंवर्धित एनओआर गेट्स को काम करने के लिए उत्तम प्रकार से सार्थक है।
+अब हम उन कार्यों को ठीक उनके एसओपी और पीओएस कैनोनिकल रूपों के अनुसार प्रारम्भ कर सकते थे, एनओआर गेट्स को निर्दिष्ट कार्यों में परिवर्तित करके 1-इनपुट एनओआर गेट के माध्यम से अपना आउटपुट निकट करके एनओआर गेट को ओआर गेट में बनाया जाता है; और इसे 1-इनपुट एनओआर गेट के माध्यम से इसके प्रत्येक इनपुट को निकट करके एएनडी गेट में बनाया जाता है। चूँकि, यह दृष्टिकोण न केवल उपयोग किए जाने वाले गेट्स की संख्या को बढ़ाता है, बल्कि संकेतों को संसाधित करने वाले गेट्स की संख्या को भी दोगुना कर देता है, जिससे प्रसंस्करण गति आधी हो जाती है। परिणामतः, जब भी प्रदर्शन महत्वपूर्ण होता है, कैनोनिकल रूपों से परे जा रहा है और बूलियन बीजगणित कर असंवर्धित एनओआर गेट्स को काम करने के लिए उत्तम प्रकार से सार्थक है।
 === टॉप-डाउन बनाम बॉटम-अप डिज़ाइन ===
-हमने अब देखा है कि कैसे कुछ बूलियन बीजगणित के साथ कैनोनिकल रूप में योजक चरण को डिज़ाइन करने के लिए मिनिटर्म/मैक्सटर्म उपकरणों का उपयोग किया जा सकता है, प्रत्येक आउटपुट के लिए सिर्फ 2 गेट देरी की लागत होती है। इस फ़ंक्शन के लिए डिजिटल सर्किट को डिज़ाइन करने का यह टॉप-डाउन उपाय है, लेकिन क्या यह सबसे उत्तम उपाय है? चर्चा ने "सबसे तेज़" को सर्वश्रेष्ठ के रूप में पहचानने पर ध्यान केंद्रित किया है, और संवर्धित कैनोनिकल रूप उस मानदंड को त्रुटिपूर्ण रूप से पूरा करता है, लेकिन कभी-कभी अन्य कारक प्रबल होते हैं। डिज़ाइनर के पास गेट्स की संख्या को कम करने का प्राथमिक लक्ष्य हो सकता है, या अन्य गेट्स के सिग्नल के फैनआउट को कम करने के बाद से बड़े फैनआउट्स अकथनीय बिजली आपूर्ति या अन्य पर्यावरणीय कारकों के लचीलेपन को कम करते हैं। ऐसी स्तिथि में, डिज़ाइनर कैनोनिकल-फ़ॉर्म डिज़ाइन को आधार रेखा के रूप में विकसित कर सकता है, फिर नीचे-ऊपर विकास का प्रयास कर सकता है, और अंत में परिणामों की तुलना कर सकता है।
+हमने अब देखा है कि कैसे कुछ बूलियन बीजगणित के साथ कैनोनिकल रूप में योजक चरण को डिज़ाइन करने के लिए मिनिटर्म/मैक्सटर्म उपकरणों का उपयोग किया जा सकता है, प्रत्येक आउटपुट के लिए सिर्फ 2 गेट देरी की लागत होती है। इस फ़ंक्शन के लिए डिजिटल सर्किट को डिज़ाइन करने का यह टॉप-डाउन उपाय है, किन्तु क्या यह सबसे उत्तम उपाय है? चर्चा ने "सबसे तेज़" को सर्वश्रेष्ठ के रूप में पहचानने पर ध्यान केंद्रित किया है, और संवर्धित कैनोनिकल रूप उस मानदंड को त्रुटिपूर्ण रूप से पूर्ण करता है, किन्तु कभी-कभी अन्य कारक प्रबल होते हैं। डिज़ाइनर के निकट गेट्स की संख्या को कम करने का प्राथमिक लक्ष्य हो सकता है, या अन्य गेट्स के सिग्नल के फैनआउट को कम करने के बाद से बड़े फैनआउट्स अकथनीय बिजली आपूर्ति या अन्य पर्यावरणीय कारकों के लचीलेपन को कम करते हैं। ऐसी स्तिथि में, डिज़ाइनर कैनोनिकल-फ़ॉर्म डिज़ाइन को आधार रेखा के रूप में विकसित कर सकता है, फिर नीचे-ऊपर विकास का प्रयास कर सकता है, और अंत में परिणामों की तुलना कर सकता है।
-बॉटम-अप विकास में ध्यान देना सम्मलित है कि u = ci एक्सओआर (x एक्सओआर y), जहां एक्सओआर का अर्थ विशिष्ट है [सच है जब या तो इनपुट सत्य है लेकिन नहीं जब दोनों सत्य हैं], और वह co = ci x + x y + y ci। इस प्रकार के विकास में सभी में बारह एनओआर गेट लगते हैं: छह 2-इनपुट गेट और दो 1-इनपुट गेट, 5 गेट देरी में u का उत्पादन करने के लिए, साथ ही तीन 2-इनपुट गेट और एक 3-इनपुट गेट 2 गेट देरी में co का उत्पादन करने के लिए लगते हैं। कैनोनिकल बेसलाइन ने 2 गेट देरी में u,और co का उत्पादन करने के लिए आठ 3-इनपुट एनओआर गेट्स और तीन 4-इनपुट एनओआर गेट्स लिए  लगते हैं। यदि सर्किट इन्वेंट्री में वास्तव में 4-इनपुट एनओआर गेट्स सम्मलित हैं, तो टॉप-डाउन कैनोनिकल डिज़ाइन गेट काउंट और गति दोनों में विजेता के जैसा दिखता है। लेकिन अगर (हमारे सुविधाजनक अनुमान के विपरीत) सर्किट वास्तव में 3-इनपुट एनओआर गेट हैं, जिनमें से प्रत्येक 4-इनपुट एनओआर फ़ंक्शन के लिए दो की आवश्यकता होती है, तो कैनोनिकल डिज़ाइन 14 गेट लेता है जबकि बॉटम-अप दृष्टिकोण के लिए 12, लेकिन अभी भी योग अंक u काफी तेजी से उत्पन्न करता है। फैनआउट तुलना को इस प्रकार सारणीबद्ध किया गया है:
+बॉटम-अप विकास में ध्यान देना सम्मलित है कि u = ci एक्सओआर (x एक्सओआर y), जहां एक्सओआर का अर्थ विशिष्ट है [सच है जब या तो इनपुट सत्य है किन्तु नहीं जब दोनों सत्य हैं], और वह co = ci x + x y + y ci। इस प्रकार के विकास में सभी में बारह एनओआर गेट लगते हैं: छह 2-इनपुट गेट और दो 1-इनपुट गेट, 5 गेट देरी में u का उत्पादन करने के लिए, साथ ही तीन 2-इनपुट गेट और एक 3-इनपुट गेट 2 गेट देरी में co का उत्पादन करने के लिए लगते हैं। कैनोनिकल बेसलाइन ने 2 गेट देरी में u,और co का उत्पादन करने के लिए आठ 3-इनपुट एनओआर गेट्स और तीन 4-इनपुट एनओआर गेट्स लिए  लगते हैं। यदि सर्किट इन्वेंट्री में वास्तव में 4-इनपुट एनओआर गेट्स सम्मलित हैं, तो टॉप-डाउन कैनोनिकल डिज़ाइन गेट काउंट और गति दोनों में विजेता के जैसा दिखता है। किन्तु अगर (हमारे सुविधाजनक अनुमान के विपरीत) सर्किट वास्तव में 3-इनपुट एनओआर गेट हैं, जिनमें से प्रत्येक 4-इनपुट एनओआर फ़ंक्शन के लिए दो की आवश्यकता होती है, तो कैनोनिकल डिज़ाइन 14 गेट लेता है जबकि बॉटम-अप दृष्टिकोण के लिए 12, किन्तु अभी भी योग अंक u काफी तेजी से उत्पन्न करता है। फैनआउट तुलना को इस प्रकार सारणीबद्ध किया गया है:
 {| class="wikitable" style="margin: 1em auto 1em auto"
 !width="50"|चर
@@ Line 379: / Line 377: @@
 |4||3
 |}
-बॉटम-अप डेवलपमेंट के विवरण में co' का आउटपुट के रूप में उल्लेख करते है लेकिन co का नहीं। क्या उस डिज़ाइन को कभी भी निष्पादन के प्रत्यक्ष रूप की आवश्यकता नहीं है? प्रत्येक चरण में, co' की गणना केवल ci', x' और y' पर निर्भर करती है, जिसका अर्थ है कि कैरी प्रोपेगेशन रिपल्स बिट पोजीशन के साथ-साथ कैनोनिकल डिज़ाइन में बिना किसी विकास के तेजी से बढ़ता है। u की गणना, जिसके लिए 1-इनपुट एनओआर द्वारा ''ci'' से ''ci'' की आवश्यकता धीमी है लेकिन किसी भी शब्द की लंबाई के लिए डिज़ाइन केवल एक बार उस दंड का भुगतान करता है (जब सबसे बाईं ओर का अंक विकसित होता है)। ऐसा इसलिए है क्योंकि वे गणनाएँ ओवरलैप होती हैं, प्रत्येक के द्वारा कितनी मात्रा में अपनी छोटी पाइपलाइन को प्रभावित किए बिना जब अगली बिट स्थिति के योग बिट की गणना की जा सकती है, और सुनिश्चित करने के लिए, सबसे बाएं बिट स्थिति के co' को संभवतः तर्क के भाग के रूप में पूरक होना होगा, यह निर्धारित करने के लिए कि अतिरिक्त अतिप्रवाह हुआ है या नहीं। लेकिन 3-इनपुट एनओआर गेट्स का उपयोग करते हुए, बॉटम-अप डिज़ाइन एक गैर-तुच्छ शब्द लंबाई पर समानांतर जोड़ करने के लिए लगभग उतनी ही तेज गेट काउंट में कटौती करता है, और कम फैनआउट का उपयोग करता है I इसलिए यदि गेट काउंट होता है तो यह जीत जाता है और फनौट(fanout) सर्वोपरि होता हैं I
+बॉटम-अप डेवलपमेंट के विवरण में co' का आउटपुट के रूप में उल्लेख करते है किन्तु co का नहीं। क्या उस डिज़ाइन को कभी भी निष्पादन के प्रत्यक्ष रूप की आवश्यकता नहीं है? प्रत्येक चरण में, co' की गणना केवल ci', x' और y' पर निर्भर करती है, जिसका अर्थ है कि कैरी प्रोपेगेशन रिपल्स बिट पोजीशन के साथ-साथ कैनोनिकल डिज़ाइन में बिना किसी विकास के तेजी से बढ़ता है। u की गणना, जिसके लिए 1-इनपुट एनओआर द्वारा ''ci'' से ''ci'' की आवश्यकता धीमी है किन्तु किसी भी शब्द की लंबाई के लिए डिज़ाइन केवल एक बार उस दंड का भुगतान करता है (जब सबसे बाईं ओर का अंक विकसित होता है)। ऐसा इसलिए है क्योंकि वे गणनाएँ ओवरलैप होती हैं, प्रत्येक के द्वारा कितनी मात्रा में अपनी छोटी पाइपलाइन को प्रभावित किए बिना जब अगली बिट स्थिति के योग बिट की गणना की जा सकती है, और सुनिश्चित करने के लिए, सबसे बाएं बिट स्थिति के co' को संभवतः तर्क के भाग के रूप में पूरक होना होगा, यह निर्धारित करने के लिए कि अतिरिक्त अतिप्रवाह हुआ है या नहीं। किन्तु 3-इनपुट एनओआर गेट्स का उपयोग करते हुए, बॉटम-अप डिज़ाइन एक गैर-तुच्छ शब्द लंबाई पर समानांतर जोड़ करने के लिए लगभग उतनी ही तेज गेट काउंट में कटौती करता है, और कम फैनआउट का उपयोग करता है I इसलिए यदि गेट काउंट होता है तो यह जीत जाता है और फनौट(fanout) सर्वोपरि होता हैं I
 हम बॉटम-अप डिज़ाइन की सटीक सर्किटरी छोड़ देंगे, जिसमें ये सभी कथन इच्छुक पाठक के लिए अभ्यास के रूप में सत्य हैं, और बीजगणितीय सूत्र द्वारा सहायता प्राप्त है: u = ci(x XOR y) + ci′(x XOR y) )']'। इस तरह से योग के गठन से कैरी प्रसार को डिकॉप्लिंग करना रिपल कैरी योजक के ऊपर कैरी-लुकहेड योजक के प्रदर्शन को बढ़ाता है।
@@ Line 386: / Line 384: @@
 बूलियन बीजगणित का अनुप्रयोग डिजिटल सर्किट डिज़ाइन है, जिसका लक्ष्य गेट्स की संख्या को कम करना और दूसरा स्थायीकरण के समय को कम करना है।
-दो चर के सोलह संभावित कार्य हैं, लेकिन डिजिटल लॉजिक हार्डवेयर में, सबसे सरल गेट सर्किट उनमें से केवल चार को लागू करते हैं: [[तार्किक संयोजन]] (एएनडी), तार्किक संयोजन (समावेशी ओआर ), और उन (एनएएनडी और एनओआर) के संबंधित पूरक हैं।
+दो चर के सोलह संभावित कार्य हैं, किन्तु डिजिटल लॉजिक हार्डवेयर में, सबसे सरल गेट सर्किट उनमें से केवल चार को लागू करते हैं: [[तार्किक संयोजन]] (एएनडी), तार्किक संयोजन (समावेशी ओआर ), और उन (एनएएनडी और एनओआर) के संबंधित पूरक हैं।
-अधिकांश गेट सर्किट 2 से अधिक इनपुट चर स्वीकार करते हैं; उदाहरण के लिए, स्पेसबोर्न [[अपोलो गाइडेंस कंप्यूटर]], जिसने 1960 के दशक में इंटीग्रेटेड सर्किट के अनुप्रयोग का बीड़ा उठाया था, केवल एक प्रकार के गेट के साथ बनाया गया था, 3-इनपुट एनओआर, जिसका आउटपुट तभी सही होता है जब सभी 3 इनपुट गलत होते हैं।<ref>{{cite book |first= Eldon C. |last= Hall |title= Journey to the Moon: The History of the Apollo Guidance Computer |publisher= AIAA |date= 1996 |isbn= 1-56347-185-X }}</ref>{{page needed|date=December 2019}}<ref>{{cite web|url=http://klabs.org/history/ech/agc_schematics/index.htm|title=अपोलो गाइडेंस कंप्यूटर (एजीसी) स्कैमैटिक्स|website=klabs.org|publisher=Rich Katz|access-date=2021-06-19|quote=To see how NOR gate logic was used in the Apollo Guidance Computer's ALU, select any of the 4-BIT MODULE entries in the Index to Drawings, and expand images as desired.}}</ref>
+अधिकांश गेट सर्किट 2 से अधिक इनपुट चर स्वीकार करते हैं; उदाहरण के लिए, स्पेसबोर्न [[अपोलो गाइडेंस कंप्यूटर]], जिसने 1960 के दशक में इंटीग्रेटेड सर्किट के अनुप्रयोग का बीड़ा उठाया था, केवल एक प्रकार के गेट के साथ बनाया गया था, 3-इनपुट एनओआर, जिसका आउटपुट तभी सही होता है जब सभी 3 इनपुट त्रुटिपूर्ण होते हैं।<ref>{{cite book |first= Eldon C. |last= Hall |title= Journey to the Moon: The History of the Apollo Guidance Computer |publisher= AIAA |date= 1996 |isbn= 1-56347-185-X }}</ref>{{page needed|date=December 2019}}<ref>{{cite web|url=http://klabs.org/history/ech/agc_schematics/index.htm|title=अपोलो गाइडेंस कंप्यूटर (एजीसी) स्कैमैटिक्स|website=klabs.org|publisher=Rich Katz|access-date=2021-06-19|quote=To see how NOR gate logic was used in the Apollo Guidance Computer's ALU, select any of the 4-BIT MODULE entries in the Index to Drawings, and expand images as desired.}}</ref>

v t e डिजिटल इलेक्ट्रॉनिक्स
घटक	ट्रांजिस्टर प्रतिरोधक प्रारंभ करनेवाला संधारित्र मुद्रित इलेक्ट्रॉनिक्स मुद्रित सर्किट बोर्ड विद्युत सर्किट फ्लिप-फ्लॉप मेमोरी सेल संयुक्त तर्क अनुक्रमिक तर्क तर्क द्वार बूलियन सर्किट एकीकृत सर्किट (आईसी) हाइब्रिड इंटीग्रेटेड सर्किट (एचआईसी) मिश्रित सिग्नल एकीकृत सर्किट तीन आयामी एकीकृत सर्किट (3 डी आईसी) एमिटर-युग्मित तर्क (ईसीएल) इरेज़ेबल प्रोग्रामेबल लॉजिक डिवाइस (EPLD) मैक्रोसेल सरणी प्रोग्राम करने योग्य तर्क सरणी (पीएलए) प्रोग्रामेबल लॉजिक डिवाइस (पीएलडी) प्रोग्राम करने योग्य सरणी तर्क (पाल) जेनेरिक सरणी तर्क (जीएएल) कॉम्प्लेक्स प्रोग्रामेबल लॉजिक डिवाइस (CPLD) फील्ड प्रोग्रामेबल गेट ऐरे (FPGA) फील्ड-प्रोग्रामेबल ऑब्जेक्ट ऐरे (एफपीओए) एप्लिकेशन-विशिष्ट एकीकृत सर्किट (एएसआईसी) टेन्सर प्रोसेसिंग यूनिट (टीपीयू)
लिखित	डिजिटल सिग्नल बूलियन बीजगणित तर्क संश्लेषण कंप्यूटर विज्ञान में तर्क कंप्यूटर आर्किटेक्चर डिजिटल सिग्नल अंकीय संकेत प्रक्रिया सर्किट न्यूनीकरण स्विचिंग सर्किट सिद्धांत गेट समकक्ष
डिजाइन	तर्क संश्लेषण स्थान और मार्ग प्लेसमेंट रूटिंग रजिस्टर-ट्रांसफर लेवल हार्डवेयर विवरण भाषा उच्च स्तरीय संश्लेषण औपचारिक तुल्यता जाँच सिंक्रोनस लॉजिक एसिंक्रोनस लॉजिक परिमित अवस्था मशीन पदानुक्रमित राज्य मशीन
अनुप्रयोग	संगणक धातु सामग्री हार्डवेयर एक्सिलरेशन डिजिटल ऑडियो रेडियो डिजिटल फोटोग्राफी डिजिटल टेलीफोन डिजिटल वीडियो छायांकन टेलीविजन इलेक्ट्रॉनिक साहित्य
डिजाइन मुद्दों	मेटास्टेबिलिटी नाड़ी चलाएं

Anonymous

Search

कैननिकल सामान्य रूप: Difference between revisions

Namespaces

More

Page actions

Revision as of 14:55, 5 March 2023

Contents