ट्रुथ टेबल

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

एक ट्रुथ टेबल में प्रत्येक निविष्ट चर (उदाहरण के लिए, P और Q) के लिए एक स्तंभ होता है, और एक अंतिम स्तंभ तालिका द्वारा प्रस्तुत तार्किक संक्रिया के सभी संभावित परिणामों को दर्शाता है (उदाहरण के लिए, P XOR Q)। ट्रूथ टेबल की प्रत्येक पंक्ति में  निविष्ट चरों का एक संभावित विन्यास होता है (उदाहरण के लिए, P=सत्य Q=असत्य), और उन मानों के लिए  संक्रिया का  परिणाम। अधिक स्पष्टीकरण के लिए नीचे दिए गए उदाहरण देखें। लुडविग विट्गेन्स्टाइन को सामान्यतः  उनके ट्रैक्टेटस  तर्क-दार्शनिक में ट्रुथ टेबल का आविष्कार करने और लोकप्रिय बनाने का श्रेय दिया जाता है, जो 1918 में पूर्ण हुआ और 1921 में प्रकाशित हुआ। इस रूप की प्रणाली को 1921 में एमिल लियोन पोस्ट द्वारा स्वतंत्र रूप से  तर्कवाक्यित किया गया था। 1893 से चार्ल्स सैंडर्स पियर्स द्वारा अप्रकाशित पांडुलिपियों में ट्रुथ टेबल का एक पूर्व  के पुनरावृति भी पाया गया है, जो दोनों प्रकाशनों को लगभग 30 वर्षों से प्राचीन कर रहा है।

एकल संक्रियाएँ
4 एकल  संक्रिया हैं:
 * अटल सत्य
 * कभी सच नहीं, एकल असत्य
 * एकात्मक तत्समक
 * एकात्मक निषेध

तार्किक सत्य
p के निविष्ट मान पर  ध्यान दिए बिना  निर्गत मान सदैव सत्य होता है

तार्किक असत्य
निर्गत मान कभी भी सत्य नहीं होता है: p के निविष्ट मान के अतिरिक्त , सदैव असत्य होता है

तार्किक तत्समक
तत्समक फलन एक तार्किक मान p पर एक तार्किक संक्रिया है, जिसके लिए निर्गत मान p रहता है।

तार्किक तत्समक संक्रियक के लिए ट्रुथ टेबल इस प्रकार है:

तार्किक निषेध
तार्किक निषेध तार्किक मान पर एक तार्किक संक्रिया है, सामान्यतः एक  तर्कवाक्य का मान, जो सत्य का मान उत्पन्न करता है यदि उसका संकार्य असत्य है और असत्य का मान यदि उसका संकार्य सत्य है।

'NOT p' ('¬p', 'Np', 'Fpq', या '~p' के रूप में भी लिखा जाता है) के लिए ट्रुथ टेबल इस प्रकार है:

बाइनरी संक्रियाएँ
दो द्विआधारी चर के 16 संभावित सत्य कार्य हैं:

सभी बाइनरी तार्किक ऑपरेटरों के लिए ट्रुथ टेबल
यहाँ दो बूलियन चर P और Q के सभी सोलह संभावित सत्य कार्यों की परिभाषाएँ देने वाली एक विस्तारित ट्रुथ टेबल है:

कहाँ


 * टी = सच।
 * एफ = झूठा।
 * सुपरस्क्रिप्ट 0 से 15 वह संख्या है जो एफ = 0 और टी = 1 के साथ द्विआधारी संख्या के रूप में चार सत्य मानों को पढ़ने से उत्पन्न होती है।
 * कॉम पंक्ति इंगित करती है कि क्या एक ऑपरेटर, ऑप, क्रमविनिमेय गुण है - P op Q = Q op P।
 * Assoc पंक्ति इंगित करती है कि क्या एक ऑपरेटर, op, साहचर्य संपत्ति है - (P op Q) op R = P op (Q op R)।
 * Adj पंक्ति संक्रियक op2 को इस प्रकार दर्शाती है कि P op Q = Q op2 P
 * नकारात्मक पंक्ति संक्रियक op2 को ऐसे दिखाती है कि P op Q = ¬(P op2 Q)
 * दोहरी पंक्ति T को F, और AND को OR से इंटरचेंज करके प्राप्त किए गए द्वैत सिद्धांत (बूलियन बीजगणित) को दर्शाती है।
 * एल आईडी पंक्ति संक्रियक की बाईं तत्समक दिखाती है यदि इसमें कोई - मान I है जैसे कि मैं Q = Q का चयन करता हूं।
 * R आईडी पंक्ति संक्रियक की सही तत्समक दिखाती है यदि इसमें कोई - मान I है जैसे कि P op I = P।

पी, क्यू के लिए निविष्ट मानों के चार संयोजन उपरोक्त तालिका से पंक्ति द्वारा पढ़े जाते हैं। प्रत्येक पी, क्यू संयोजन के लिए निर्गत फ़ंक्शन को तालिका से, पंक्ति द्वारा पढ़ा जा सकता है।

चाबी:

निम्न तालिका पंक्ति के बजाय स्तंभ द्वारा उन्मुख है। निविष्ट के रूप में पी, क्यू के चार संयोजनों को प्रदर्शित करने के लिए चार पंक्तियों के बजाय चार कॉलम हैं।

पी: टी टी एफ एफ

क्यू: टी एफ टी एफ

इस कुंजी में 16 पंक्तियाँ हैं, दो बाइनरी चर, p, q के प्रत्येक बाइनरी फ़ंक्शन के लिए एक पंक्ति। उदाहरण के लिए, इस कुंजी की पंक्ति 2 में, विलोम गैर-निम्नलिखित का मान ('$$\nleftarrow$$') अद्वितीय संयोजन p=F, q=T द्वारा दर्शाए गए कॉलम के लिए केवल T है; जबकि पंक्ति 2 में, उस का मान '$$\nleftarrow$$p, q के तीन शेष स्तंभों के लिए संक्रिया F है। के लिए निर्गत पंक्ति $$\nleftarrow$$ इस प्रकार है

2: एफ एफ टी एफ

और 16-पंक्ति कुंजी है तार्किक संचालकों को वेन आरेख#अवलोकन का उपयोग करके भी देखा जा सकता है।

तार्किक संयोजन (और)
तार्किक संयुग्मन दो तार्किक मानों पर एक तार्किक संक्रिया है, सामान्यतः दो  तर्कवाक्यों के मान, जो कि इसके दोनों ऑपरेंड सत्य होने पर सत्य का मान उत्पन्न करते हैं।

'p AND q' के लिए सत्य सारणी ('p ∧ q', 'Kpq', 'p & q', या 'p' के रूप में भी लिखा जाता है) $$\cdot$$ क्यू) इस प्रकार है:

सामान्य भाषा में, यदि p और q दोनों सत्य हैं, तो संयोजन p ∧ q सत्य है। p और q के तार्किक मानों के अन्य सभी असाइनमेंट के लिए संयोजन p∧ q असत्य है।

यह भी कहा जा सकता है कि यदि p, तो p∧q, q है, अन्यथा p∧q, p है।

तार्किक संयोजन (या)
तार्किक विच्छेदन दो तार्किक मानों पर एक तार्किक संक्रिया है, सामान्यतः  दो  तर्कवाक्यों के मान, जो कि कम से कम एक ऑपरेंड सत्य होने पर सत्य का मान उत्पन्न करता है।

'p OR q' ('p ∨ q', 'Apq', 'p || q', या 'p + q' के रूप में भी लिखा जाता है) के लिए ट्रुथ टेबल इस प्रकार है:

अंग्रेजी में कहा गया है, यदि p, तो p ∨ q, p है, अन्यथा p ∨ q, q है।

तार्किक निहितार्थ
तार्किक निहितार्थ और सामग्री सशर्त दोनों दो तार्किक मानों पर एक तार्किक संक्रिया से जुड़े होते हैं, सामान्यतः दो  तर्कवाक्यों के मान, जो कि पहला ऑपरेंड सत्य है और दूसरा ऑपरेंड असत्य है, और अन्यथा सत्य का मान उत्पन्न करता है।.

तार्किक निहितार्थ 'p का तात्पर्य q' ('p ⇒ q' के रूप में चिन्हित, या शायद ही कभी 'Cpq') से जुड़ी ट्रुथ टेबल इस प्रकार है:

सामग्री सशर्त से जुड़ी ट्रुथ टेबल यदि p तो q (p → q के रूप में प्रतीक) इस प्रकार है:

यह नोट करना भी उपयोगी हो सकता है कि p ⇒ q और p → q ¬p ∨ q के समतुल्य हैं।

तार्किक समानता
तार्किक समानता (जिसे द्विशर्त या अनन्य और न ही के रूप में भी जाना जाता है) दो तार्किक मानों पर एक तार्किक संक्रिया है, सामान्यतः  दो  तर्कवाक्यों के मान, जो कि दोनों ऑपरेंड असत्य हैं या दोनों ऑपरेंड सत्य हैं, तो सत्य का मान पैदा करता है।

'p XNOR q' ('p ↔ q', 'Epq', 'p = q', या 'p ≡ q' के रूप में भी लिखा जाता है) के लिए ट्रुथ टेबल इस प्रकार है:

अतः p EQ q सत्य है यदि p और q का सत्य मान समान है (दोनों सत्य या दोनों असत्य), और असत्य यदि उनके भिन्न सत्य मान हैं।

अनन्य संयोजन
एक्सक्लूसिव डिसजंक्शन दो तार्किक मानों पर एक तार्किक संक्रिया है, सामान्यतः  दो  तर्कवाक्यों के मान, जो सत्य का मान पैदा करता है यदि एक नहीं बल्कि इसके दोनों ऑपरेंड सत्य हैं।

'p XOR q' ('Jpq', या 'p ⊕ q' के रूप में भी लिखा जाता है) के लिए ट्रुथ टेबल इस प्रकार है:

दो कथनों के लिए, XOR को (p ∧ ¬q) ∨ (¬p ∧ q) के रूप में भी लिखा जा सकता है।

तार्किक नंद
तार्किक NAND दो तार्किक मानों पर एक तार्किक संक्रिया है, सामान्यतः दो  तर्कवाक्यों के मान, जो असत्य का मान उत्पन्न करता है यदि इसके दोनों ऑपरेंड सत्य हैं। दूसरे शब्दों में, यदि इसका कम से कम एक ऑपरेंड असत्य है तो यह सही का मान उत्पन्न करता है।

'पी नंद क्यू' ('पी ↑ क्यू', 'डीपीक्यू', या 'पी | क्यू' के रूप में भी लिखा गया है) के लिए ट्रुथ टेबल इस प्रकार है:

किसी तार्किक संक्रिया को यौगिक संक्रिया के रूप में अभिव्यक्त करना अक्सर उपयोगी होता है, अर्थात, एक ऐसी संक्रिया के रूप में जो अन्य संक्रियाओं से निर्मित या संघटित होती है। ऐसी कई रचनाएँ संभव हैं, जो उन संक्रियाओं पर निर्भर करती हैं जिन्हें मूल या आदिम के रूप में लिया जाता है और उन संक्रियाओं को जिन्हें समग्र या व्युत्पन्न के रूप में लिया जाता है।

तार्किक NAND के मामले में, यह NOT और AND के यौगिक के रूप में स्पष्ट रूप से अभिव्यक्त होता है।

संयोजन का निषेध: ¬(p ∧ q), और निषेध का संयोजन: (¬p) ∨ (¬q) को निम्नानुसार सारणीबद्ध किया जा सकता है:

तार्किक नॉर
तार्किक NOR दो तार्किक मानों पर एक तार्किक संक्रिया है, सामान्यतः दो  तर्कवाक्यों के मान, जो सत्य का मान उत्पन्न करता है यदि इसके दोनों ऑपरेंड झूठे हैं। दूसरे शब्दों में, यदि इसका कम से कम एक ऑपरेंड सत्य है, तो यह असत्य का मान उत्पन्न करता है। ↓ को इसके आविष्कारक, चार्ल्स सैंडर्स पियर्स के बाद पियर्स तीर के रूप में भी जाना जाता है, और यह एकमात्र पर्याप्त संक्रियक है।

'p NOR q' ('p ↓ q', या 'Xpq' के रूप में भी लिखा जाता है) के लिए ट्रुथ टेबल इस प्रकार है:

वियोजन ¬(p ∨ q), और निषेधों के संयोजन (¬p) ∧ (¬q) का निषेध निम्नानुसार सारणीबद्ध किया जा सकता है:

कार्यात्मक तर्क p और q के लिए तार्किक मानों के प्रत्येक असाइनमेंट के तहत NAND और NOR के लिए सारणीबद्ध व्युत्पत्तियों का निरीक्षण, ¬(p ∧ q) के लिए कार्यात्मक मानों के समान पैटर्न का उत्पादन करता है जैसा कि (¬p) ∨ (¬q) के लिए होता है। और ¬(p ∨ q) के लिए (¬p) ∧ (¬q) के लिए। इस प्रकार प्रत्येक जोड़ी में पहली और दूसरी अभिव्यक्तियाँ तार्किक रूप से समतुल्य हैं, और सभी संदर्भों में एक दूसरे के लिए प्रतिस्थापित की जा सकती हैं जो केवल उनके तार्किक मानों से संबंधित हैं।

यह तुल्यता डी मॉर्गन के नियमों में से एक है।

ट्रुथ टेबल का आकार
यदि n निविष्ट चर हैं तो 2 हैंn उनके सत्य मानों के संभावित संयोजन। एक दिया गया फ़ंक्शन प्रत्येक संयोजन के लिए सही या असत्य उत्पन्न कर सकता है इसलिए n चर के विभिन्न कार्यों की संख्या दोहरा घातांक फ़ंक्शन 2 है2 एन.

तीन या अधिक चरों के फलनों के लिए सत्य सारणी विरले ही दी जाती है।

अनुप्रयोग
कई अन्य तार्किक तुल्यताओं को सिद्ध करने के लिए ट्रुथ टेबल का उपयोग किया जा सकता है। उदाहरण के लिए, निम्नलिखित ट्रुथ टेबल पर विचार करें:

यह इस तथ्य को प्रदर्शित करता है कि $$p \Rightarrow q$$ तार्किक रूप से समकक्ष है $$\lnot p \lor q$$.

सबसे अधिक उपयोग किए जाने वाले तार्किक ऑपरेटरों के लिए ट्रुथ टेबल
यहाँ एक ट्रुथ टेबल है जो ट्रैक्टैटस तर्क-दार्शनिक #  तर्कवाक्य 4.*-5.* में से सबसे अधिक उपयोग किए जाने वाले 7 की परिभाषा देती है:

बाइनरी ऑपरेटरों के लिए संघनित सत्य सारणी
बाइनरी ऑपरेटरों के लिए, ट्रुथ टेबल का एक संघनित रूप भी उपयोग किया जाता है, जहां पंक्ति शीर्षक और स्तंभ शीर्षक ऑपरेंड निर्दिष्ट करते हैं और तालिका कक्ष परिणाम निर्दिष्ट करते हैं। उदाहरण के लिए, बूलियन तर्क इस संघनित ट्रुथ टेबल संकेतन का उपयोग करता है:

यह अंकन विशेष रूप से उपयोगी है यदि संक्रिया क्रमविनिमेय हैं, हालांकि कोई अतिरिक्त रूप से यह निर्दिष्ट कर सकता है कि पंक्तियाँ पहला ऑपरेंड हैं और कॉलम दूसरे ऑपरेंड हैं। यह संघनित संकेतन तर्क के बहु-मूल्यवान विस्तारों पर चर्चा करने में विशेष रूप से उपयोगी है, क्योंकि यह अन्यथा आवश्यक पंक्तियों की संख्या के संयोजी विस्फोट पर महत्वपूर्ण रूप से कटौती करता है। यह तालिका में मानों के वितरण के त्वरित तत्समकने योग्य विशेषता आकार भी प्रदान करता है जो पाठक को नियमों को और अधिक तेज़ी से समझने में सहायता कर सकता है।

डिजिटल लॉजिक में सत्य सारणी
डिजिटल सर्किट में लुकअप टेबल # हार्डवेयर LUTs | हार्डवेयर लुक-अप टेबल (LUTs) के कार्य को निर्दिष्ट करने के लिए ट्रूथ टेबल का भी उपयोग किया जाता है। एन- निविष्ट एलयूटी के लिए, ट्रुथ टेबल में 2^एन मान (या उपरोक्त सारणीबद्ध प्रारूप में पंक्तियां) होंगे, जो पूरी रूप से एलयूटी के लिए एक बूलियन फ़ंक्शन निर्दिष्ट करते हैं। बाइनरी अंक प्रणाली में प्रत्येक बूलियन मान को अंश के रूप में प्रदर्शित करके, ट्रुथ टेबल मानों को इलेक्ट्रॉनिक डिजाइन स्वचालन | इलेक्ट्रॉनिक डिज़ाइन ऑटोमेशन (EDA) सॉफ़्टवेयर में पूर्णांक मानों के रूप में कुशलतापूर्वक एन्कोड किया जा सकता है। उदाहरण के लिए, एक 32-बिट पूर्णांक 5 निविष्ट तक LUT के लिए ट्रुथ टेबल को सांकेतिक शब्दों में बदल सकता है।

एक ट्रुथ टेबल के पूर्णांक प्रतिनिधित्व का उपयोग करते समय, LUT का निर्गत मान LUT के  निविष्ट मानों के आधार पर बिट इंडेक्स k की गणना करके प्राप्त किया जा सकता है, जिस स्थिति में LUT का  निर्गत मान पूर्णांक का kth बिट होता है। उदाहरण के लिए, n बूलियन  निविष्ट मानों की सरणी डेटा संरचना दिए गए LUT के  निर्गत मान का मूल्यांकन करने के लिए, ट्रुथ टेबल के  निर्गत मान के बिट इंडेक्स की गणना निम्नानुसार की जा सकती है: यदि ith  निविष्ट सत्य है, तो मान लें $$V_i = 1$$, और जाने दो $$V_i = 0$$. फिर ट्रुथ टेबल के द्विआधारी प्रतिनिधित्व का kth बिट LUT का निर्गत मान है, जहाँ $$k = V_0 \times 2^0 + V_1 \times 2^1 + V_2 \times 2^2 + \dots + V_n \times 2^n$$.

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

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

 ए बी | करोड़ 1 1 | 1 0 1 0 | 0 1 0 1 | 0 1 0 0 | 0 0

कहाँ

ए = पहला ऑपरेंड बी = दूसरा ऑपरेंड सी = कैरी आर = परिणाम 

यह ट्रुथ टेबल बाएं से दाएं पढ़ी जाती है:
 * मान पेयर (ए, बी) मान पेयर (सी, आर) के बराबर है।
 * या इस उदाहरण के लिए, ए प्लस बी समान परिणाम आर, कैरी सी के साथ।

ध्यान दें कि यह तालिका इस संक्रिया को लागू करने के लिए आवश्यक लॉजिक संक्रियाएँ का वर्णन नहीं करती है, बल्कि यह केवल  निर्गत मानों के  निविष्ट के कार्य को निर्दिष्ट करती है।

परिणाम के संबंध में, इस उदाहरण को अंकगणितीय रूप से मोडुलो 2 बाइनरी जोड़ के रूप में देखा जा सकता है, और तार्किक रूप से अनन्य-या (अनन्य संयोजन) बाइनरी लॉजिक संक्रिया के बराबर है।

इस मामले में इसका उपयोग केवल बहुत ही सरल निविष्ट और  निर्गत के लिए किया जा सकता है, जैसे 1s और 0s। हालाँकि, यदि  निविष्ट्स पर किसी प्रकार के मानों की संख्या बढ़ सकती है, तो ट्रुथ टेबल का आकार बढ़ जाएगा।

उदाहरण के लिए, एक अतिरिक्त संक्रिया में, किसी को दो ऑपरेंड, ए और बी की आवश्यकता होती है। प्रत्येक में दो मानों में से एक हो सकता है, शून्य या एक। इन दो मानों के संयोजनों की संख्या 2×2 या चार है। तो परिणाम C और R के चार संभावित  निर्गत हैं। यदि कोई आधार 3 का उपयोग करता है, तो आकार 3×3, या नौ संभावित  निर्गत तक बढ़ जाएगा।

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

 ए बी सी* | करोड़ 0 0 0 | 0 0 0 1 0 | 0 1 1 0 0 | 0 1 1 1 0 | 1 0 0 0 1 | 0 1 0 1 1 | 1 0 1 0 1 | 1 0 1 1 1 | 11

पूर्व जैसा ही, लेकिन.. C* = पिछले ऐडर से कैरी करें 

इतिहास
इरविंग एनेलिस के शोध से पता चलता है कि सी.एस. पियर्स एक ट्रुथ टेबल मैट्रिक्स तैयार करने के लिए (1893 में) सबसे शुरुआती तर्कशास्त्री प्रतीत होते हैं। उनके पेपर के सारांश से: 1997 में, जॉन शॉस्की ने बर्ट्रेंड रसेल के 1912 के लेक्चर ऑफ़ द फिलॉसफी ऑफ़ लॉजिकल एटमिज़्म ट्रूथ टेबल मैट्रिसेस के टाइप किए गए प्रतिलेख के एक पृष्ठ के शीर्ष पर खोजा। निषेध का मैट्रिक्स रसेल का है, जिसके साथ-साथ लुडविग विट्गेन्स्टाइन के हाथ में भौतिक निहितार्थ के लिए मैट्रिक्स है। यह दिखाया गया है कि 1893 में पियर्स द्वारा रचित एक अप्रकाशित पांडुलिपि में एक ट्रुथ टेबल मैट्रिक्स शामिल है जो जॉन शोस्की द्वारा खोजे गए भौतिक निहितार्थ के मैट्रिक्स के बराबर है। पीयरस द्वारा एक अप्रकाशित पांडुलिपि की तत्समक 1883-84 में पीयरस ऑन ​​द एलजेब्रा ऑफ लॉजिक: ए कंट्रीब्यूशन टू द फिलॉसफी ऑफ नोटेशन की रचना के संबंध में की गई थी, जो 1885 में अमेरिकन जर्नल ऑफ मैथमेटिक्स में छपी थी, जिसमें अप्रत्यक्ष का एक उदाहरण शामिल है। सशर्त के लिए ट्रुथ टेबल। 

यह भी देखें

 * बूलियन डोमेन
 * बूलियन-मूल्यवान फ़ंक्शन
 * प्रकाशन
 * उत्तेजना तालिका
 * पहले क्रम का तर्क
 * कार्यात्मक पूर्णता
 * कर्णघ मानचित्र
 * लॉजिक गेट
 * तार्किक संयोजक
 * तार्किक ग्राफ
 * विश्लेषणात्मक झांकी की विधि
 * प्रस्तावक कलन
 * सत्य समारोह

बाहरी संबंध

 * Truth Tables, Tautologies, and तार्किक Equivalence
 * Converting truth tables into Boolean expressions
 * Converting truth tables into Boolean expressions
 * Converting truth tables into Boolean expressions