ट्रुथ टेबल

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

एक ट्रुथ टेबल में प्रत्येक निविष्ट चर (उदाहरण के लिए, 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 के सभी सोलह संभावित सत्य कार्यों की परिभाषाएँ देने वाली एक विस्तारित ट्रुथ टेबल है:

जहाँ


 * T= सत्य।
 * F= असत्य।
 * मूर्धांक 0 से 15 वह संख्या है जो चार सत्य मानों F = 0 और T = 1 के साथ द्विआधारी संख्या के रूप में  पढ़ने से उत्पन्न होती है।
 * Com पंक्ति इंगित करती है कि क्या एक संक्रियक, op, क्रमविनिमेय गुण है -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
 * Neg पंक्ति संक्रियक op2 को ऐसे दिखाती है कि P op Q = ¬(P op2 Q)
 * Dual पंक्ति T को F, और AND को OR से बदलने पर प्राप्त किए गए द्वैत सिद्धांत (बूलियन बीजगणित) को दर्शाती है।
 * L id पंक्ति संक्रियक की बाईं तत्समक दिखाती है यदि इसमें कोई - मान I है जैसे कि  I op Q = Q का चयन करता हूं।
 * R id पंक्ति संक्रियक की सही तत्समक दिखाती है यदि इसमें कोई - मान I है जैसे कि P op I = P।

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

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

p: T T F F q: T F T F

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

2: F F T F

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

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

े लिए सत्य सारणी (p ∧ q, Kp

q के रूप में भी लिखा जाता है) $$\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