एक सत्य तालिका एक गणितीय तालिका है जिसका उपयोग तर्क में किया जाता है और इसका उपयोग यह देखने के लिए किया जा सकता है कि क्या किसी इनपुट मान के लिए तार्किक प्रस्ताव सही है। ट्रुथ टेबल का उपयोग मुख्य रूप से बूलियन बीजगणित, बूलियन फ़ंक्शंस और प्रोपोज़िशनल कैलकुलस के संबंध में किया जाता है। एक सत्य तालिका में प्रत्येक इनपुट चर के लिए एक कॉलम होता है, उदा। ए और बी और इनपुट चर के प्रत्येक संभावित संयोजन के लिए एक पंक्ति सत्य और गलत है। अन्य कॉलम तब प्रत्येक लॉजिकल ऑपरेटर जैसे "और", "या" और "एक्सओआर" के लिए जोड़े जाते हैं और इनपुट के प्रत्येक संयोजन के लिए इन ऑपरेटरों के परिणाम होते हैं।
टेक्नीपेज सत्य तालिका की व्याख्या करता है
ऑस्ट्रियाई दार्शनिक लुडविग विट्गेन्स्टाइन को आम तौर पर 1921 में प्रकाशित एक पुस्तक में सत्य तालिका का आविष्कार और लोकप्रिय बनाने का श्रेय दिया जाता है। हालांकि एक अन्य दार्शनिक चार्ल्स सैंडर्स पीयर्स को तब से पता चला है कि उन्होंने 1893 में एक पांडुलिपि में उनका आविष्कार किया था जो कभी नहीं था प्रकाशित।
16 संभावित ऑपरेशन हैं जो दो सही या गलत चर पर किए जा सकते हैं। ये ऑपरेशन हैं: विरोधाभास - यह हमेशा झूठा होता है; तार्किक NOR - केवल तभी सत्य है जब न तो A और न ही B सत्य हैं; विलोम असंबद्धता - सत्य है जहाँ B सत्य है और A असत्य है; नकारात्मक - केवल तभी सत्य होता है जब A झूठा हो, चाहे B का मान कुछ भी हो; सामग्री गैर-इम्प्लीकेशन - सत्य है जब ए है और बी नहीं है; निषेध - अनन्य वियोजन; तार्किक नंद; तार्किक संयोजन; तार्किक द्विकंडीशनल; प्रक्षेपण समारोह; सामग्री निहितार्थ; प्रक्षेपण समारोह; विपरीत निहितार्थ; लॉजिकल डिसजंक्शन और टॉटोलॉजी।
उनमें से प्रत्येक के अपने स्वयं के उपयोग और निश्चित रूप से उद्देश्य हैं, लेकिन उनमें एक चीज समान है: वे एक या दो सही/गलत चर के उपयोग के साथ किए जाते हैं। इन चरों और संचालनों की सरल (यदि समझने में आसान नहीं) प्रकृति के कारण, यह संभव है जटिल संचालन को तत्वों के एक छोटे से सेट में तोड़ दें - सही/गलत मान और उपरोक्त संचालन।
सत्य तालिका के सामान्य उपयोग
- एक सत्य तालिका एक गणितीय तालिका है जिसका उपयोग तर्क में किया जाता है।
- सत्य तालिका की प्रत्येक पंक्ति में इनपुट चर का एक संभावित विन्यास होता है।
- तार्किक तुल्यता सिद्ध करने के लिए सत्य तालिकाओं का उपयोग किया जा सकता है।
सत्य तालिका के सामान्य दुरूपयोग
- सत्य तालिकाएँ जाँचती हैं कि तालिका या डेटाबेस में डेटा सही है या नहीं।