ट्रुथ टेबल

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

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

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

तार्किक सत्य
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 Logical Equivalence
 * Converting truth tables into Boolean expressions
 * Converting truth tables into Boolean expressions
 * Converting truth tables into Boolean expressions