1. सत्यता तालिकाएँ क्या हैं?
सत्यता तालिका एक गणितीय तालिका है जिसका उपयोग तर्कशास्त्र में एक जटिल तार्किक अभिव्यक्ति के सत्यता मान को उसके घटक चरोंप्रतिज्ञप्ति चरp या A जैसा अक्षर जो किसी भी प्रतिज्ञप्ति के लिए खड़ा होता है।पूरी प्रविष्टि पढ़ें के सत्यता मानों के प्रत्येक संभावित संयोजनसंयोजनतभी सत्य जब दोनों भाग सत्य हों: p ∧ q।पूरी प्रविष्टि पढ़ें के लिए निर्धारित करने के लिए किया जाता है। यह तार्किक कथनोंप्रतिज्ञप्तिऐसा कथन जो सत्य हो या असत्य, दोनों नहीं।पूरी प्रविष्टि पढ़ें का विश्लेषण करने और उनकी वैधतावैधताकोई अर्थनिर्वचन आधारवाक्यों को सत्य और निष्कर्ष को असत्य नहीं बनाता।पूरी प्रविष्टि पढ़ें निर्धारित करने का एक व्यवस्थित तरीका प्रदान करती है।
सत्यता तालिकाओं को 20वीं सदी की शुरुआत में लुडविग विट्गेन्स्टाइन और एमिल पोस्ट द्वारा प्रतिज्ञप्तिमूलक तर्कशास्त्र का विश्लेषण करने के लिए एक उपकरण के रूप में विकसित किया गया था। वे तार्किक प्रत्यक्षवाद की आधारशिला बन गए और कंप्यूटर विज्ञान, डिजिटल सर्किट डिजाइन और औपचारिक तर्कशास्त्र में एक आवश्यक उपकरण बने रहते हैं।
सत्यता तालिका का प्राथमिक उद्देश्य तार्किक वैधता निर्धारित करना है: क्या कोई तर्क या तार्किक अभिव्यक्ति हमेशा सत्य है (तर्कसंगति), हमेशा असत्य है (विरोधाभासव्याघातऐसा सूत्र जो हर अर्थनिर्वचन में असत्य हो।पूरी प्रविष्टि पढ़ें), या कभी सत्य और कभी असत्य है (आकस्मिक)।
2. निर्माण पद्धति
सत्यता तालिका का निर्माण एक व्यवस्थित प्रक्रिया का पालन करता है जो सुनिश्चित करती है कि सभी संभावित मामलों की जांच की जाए:
चरण 1: चर पहचानें
अपनी अभिव्यक्ति में सभी अद्वितीय प्रतिज्ञप्तिमूलक चरों को निर्धारित करें। उदाहरण के लिए, '(A ∧ B) → C' में तीन चर हैं: A, B और C।
चरण 2: पंक्तियों की संख्या गणना करें
आवश्यक पंक्तियों की संख्या 2^n के बराबर है, जहाँ n चरों की संख्या है। 3 चरों के साथ, आपको सभी संभावित संयोजनों को कवर करने के लिए 2³ = 8 पंक्तियों की आवश्यकता है।
चरण 3: चर स्तंभ बनाएँ
चरों के लिए सत्यता मानों के सभी संभावित संयोजन (सत्य/असत्य या 1/0) सूचीबद्ध करें। एक व्यवस्थित पैटर्न का उपयोग करें: सबसे दाएं चर के लिए प्रत्येक पंक्ति, अगले के लिए प्रत्येक 2 पंक्तियां, अगले के लिए प्रत्येक 4, और इसी तरह बदलें।
चरण 4: मध्यवर्ती स्तंभ जोड़ें
जटिल अभिव्यक्तियों के लिए, उप-अभिव्यक्तियों के लिए स्तंभ जोड़ें। यह मूल्यांकन को आसान बनाता है और पैटर्न की पहचान करने में मदद करता है।
चरण 5: अभिव्यक्ति का मूल्यांकन करें
प्रत्येक पंक्ति के लिए, उस पंक्ति के सत्यता मानों का उपयोग करके पूर्ण अभिव्यक्ति का मूल्यांकन करें। सबसे भीतरी संचालन से बाहर की ओर काम करें, ऑपरेटर पूर्वता का पालन करते हुए।
3. सभी ऑपरेटरों के लिए सत्यता तालिकाएँ
प्रत्येक तार्किक ऑपरेटर का अपना विशिष्ट सत्यता तालिका पैटर्न होता है:
NOT (नकार) - ¬
NOT ऑपरेटर सत्यता मान को उलट देता है। यदि इनपुट सत्य है, तो आउटपुट असत्य है, और इसके विपरीत। यह प्रतिज्ञप्तिमूलक तर्कशास्त्र में एकमात्र एकल (एकल इनपुट) ऑपरेटर है।
| A | ¬A |
|---|---|
| ⊥ | ⊤ |
| ⊤ | ⊥ |
AND (योजक) - ∧
AND ऑपरेटर केवल तभी सत्य लौटाता है जब दोनों इनपुट सत्य हों। यदि कोई इनपुट असत्य है, तो परिणाम असत्य है। यह तार्किक योजक का प्रतिनिधित्व करता है जहाँ दोनों शर्तों को पूरा किया जाना चाहिए।
| A | B | A ∧ B |
|---|---|---|
| ⊥ | ⊥ | ⊥ |
| ⊥ | ⊤ | ⊥ |
| ⊤ | ⊥ | ⊥ |
| ⊤ | ⊤ | ⊤ |
OR (वियोजक) - ∨
OR ऑपरेटर तब सत्य लौटाता है जब कम से कम एक इनपुट सत्य हो। यह केवल तभी असत्य लौटाता है जब दोनों इनपुट असत्य हों। यह समावेशी वियोजक का प्रतिनिधित्व करता है।
| A | B | A ∨ B |
|---|---|---|
| ⊥ | ⊥ | ⊥ |
| ⊥ | ⊤ | ⊤ |
| ⊤ | ⊥ | ⊤ |
| ⊤ | ⊤ | ⊤ |
XOR (अनन्य या) - ⊕
XORअपवर्जी वियोजनतब सत्य जब दो में से ठीक एक प्रतिज्ञप्ति सत्य हो।पूरी प्रविष्टि पढ़ें ऑपरेटर तब सत्य लौटाता है जब वास्तव में एक इनपुट सत्य हो, लेकिन दोनों नहीं। यह अनन्य वियोजक का प्रतिनिधित्व करता है जहाँ इनपुट भिन्न होने चाहिए।
| A | B | A ⊕ B |
|---|---|---|
| ⊥ | ⊥ | ⊥ |
| ⊥ | ⊤ | ⊤ |
| ⊤ | ⊥ | ⊤ |
| ⊤ | ⊤ | ⊥ |
IMPLIES (सशर्त) - →
निहितार्थशर्त-वाक्यp → q, केवल तब असत्य जब p सत्य और q असत्य हो।पूरी प्रविष्टि पढ़ें ऑपरेटर 'यदि P तो Q' का प्रतिनिधित्व करता है। यह केवल तभी असत्य है जब पूर्ववर्ती (P) सत्य है और परिणाम (Q) असत्य है। यह प्रतिसहज हो सकता है: एक झूठा आधार निहितार्थ को रिक्त रूप से सत्य बनाता है।
| A | B | A → B |
|---|---|---|
| ⊥ | ⊥ | ⊤ |
| ⊥ | ⊤ | ⊤ |
| ⊤ | ⊥ | ⊥ |
| ⊤ | ⊤ | ⊤ |
IFF (द्विशर्त) - ↔
द्विशर्तद्विशर्तp ↔ q, तब सत्य जब दोनों भागों का सत्यमान समान हो।पूरी प्रविष्टि पढ़ें ऑपरेटर तब सत्य लौटाता है जब दोनों इनपुट एक ही सत्यता मान रखते हैं (दोनों सत्य या दोनों असत्य)। यह 'यदि और केवल यदि' का प्रतिनिधित्व करता है, जो तार्किक तुल्यतातार्किक तुल्यताएक जैसी सत्य सारणियों वाले दो सूत्र।पूरी प्रविष्टि पढ़ें का संकेत देता है।
| A | B | A ↔ B |
|---|---|---|
| ⊥ | ⊥ | ⊤ |
| ⊥ | ⊤ | ⊥ |
| ⊤ | ⊥ | ⊥ |
| ⊤ | ⊤ | ⊤ |
NAND (नहीं और)
NANDNANDसंयोजन का निषेध: दोनों निवेश सत्य हों तभी असत्य, अन्यथा सत्य।पूरी प्रविष्टि पढ़ें, AND का नकारनिषेधसत्यमान उलट देता है: ¬p ठीक तब सत्य है जब p असत्य हो।पूरी प्रविष्टि पढ़ें है। यह केवल तभी असत्य लौटाता है जब दोनों इनपुट सत्य हों। NAND एक सार्वभौमिक गेटतर्क द्वारपरिपथ का वह अवयव जो अपने निवेशों पर एक संयोजक की गणना करता है।पूरी प्रविष्टि पढ़ें है - किसी भी तार्किक फ़ंक्शन को केवल NAND गेट्स का उपयोग करके लागू किया जा सकता है।
| A | B | A ⊼ B |
|---|---|---|
| ⊥ | ⊥ | ⊤ |
| ⊥ | ⊤ | ⊤ |
| ⊤ | ⊥ | ⊤ |
| ⊤ | ⊤ | ⊥ |
NOR (नहीं या)
NORNORवियोजन का निषेध: तभी सत्य जब दोनों निवेश असत्य हों।पूरी प्रविष्टि पढ़ें, OR का नकार है। यह केवल तभी सत्य लौटाता है जब दोनों इनपुट असत्य हों। NAND की तरह, NOR भी एक सार्वभौमिक गेट है।
| A | B | A ⊽ B |
|---|---|---|
| ⊥ | ⊥ | ⊤ |
| ⊥ | ⊤ | ⊥ |
| ⊤ | ⊥ | ⊥ |
| ⊤ | ⊤ | ⊥ |
4. विश्लेषण तकनीकें
सत्यता तालिकाएँ तार्किक अभिव्यक्तियों का विश्लेषण करने के लिए शक्तिशाली तकनीकों को सक्षम बनाती हैं:
तर्कसंगतियाँ
तर्कसंगति एक कथन है जो सत्यता मानों के सभी संभावित असाइनमेंट के लिए सत्य है। सत्यता तालिका में, अंतिम स्तंभ में केवल 'सत्य' मान होते हैं। उदाहरण: P ∨ ¬P (अपवर्जित मध्य का नियम)।
विरोधाभास
विरोधाभास एक कथन है जो सत्यता मानों के सभी संभावित असाइनमेंट के लिए असत्य है। अंतिम स्तंभ में केवल 'असत्य' मान होते हैं। उदाहरण: P ∧ ¬P।
आकस्मिक कथन
आकस्मिक कथन वह है जो कुछ असाइनमेंट के लिए सत्य और अन्य के लिए असत्य है। अधिकांश दैनिक कथन आकस्मिक होते हैं, क्योंकि उनकी सत्यता विशिष्ट परिस्थितियों पर निर्भर करती है।
तार्किक तुल्यता
दो अभिव्यक्तियाँ तार्किक रूप से समतुल्य हैं यदि उनके प्रत्येक संभावित असाइनमेंट के लिए समान सत्यता मान हैं। उनकी सत्यता तालिका स्तंभ समान होंगे। यह तार्किक सरलीकरण के लिए मौलिक है।
तर्क वैधता
यदि जब भी सभी आधार सत्य हों, तो निष्कर्षनिष्कर्षवह कथन जिसे तर्कवाक्य सिद्ध करना चाहता है।पूरी प्रविष्टि पढ़ें भी सत्य होना चाहिए, तो तर्क वैध है। वैधता की जांच करने के लिए, किसी भी पंक्ति की तलाश करें जहाँ सभी आधार सत्य हैं लेकिन निष्कर्ष असत्य है - यदि ऐसी पंक्ति मौजूद है, तो तर्क अमान्य है।
5. सरलीकरण विधियाँ
सत्यता तालिकाओं का उपयोग तार्किक अभिव्यक्तियों को सरल बनाने के लिए प्रारंभिक बिंदु के रूप में किया जा सकता है:
कर्नौघ मानचित्र (K-मानचित्र)
K-मानचित्र 2-4 चरों के साथ बूलियन अभिव्यक्तियों को सरल बनाने की एक दृश्य विधि है। सत्यता तालिका को एक ग्रिड में पुनर्व्यवस्थित किया जाता है जहाँ आसन्न सेल केवल एक चर से भिन्न होते हैं, जिससे पैटर्न को पहचानना और सरलीकरण के लिए शब्दों को समूहित करना आसान हो जाता है।
- 2 चरों के लिए: 2×2 ग्रिड
- 3 चरों के लिए: 2×4 ग्रिड
- 4 चरों के लिए: 4×4 ग्रिड
क्वाइन-मैक्क्लुस्की एल्गोरिथ्म
यह बूलियन अभिव्यक्तियों को व्यवस्थित रूप से कम करने की एक सारणीबद्ध विधि है। यह किसी भी संख्या के चरों के लिए काम करता है और जब K-मानचित्र अव्यावहारिक हो जाते हैं (4 से अधिक चर) तो विशेष रूप से उपयोगी है। एल्गोरिथ्म सभी अभाज्य निहितार्थों को ढूंढता है और न्यूनतम अभिव्यक्ति बनाने के लिए आवश्यक अभाज्य निहितार्थों का चयन करता है।
बूलियन अभिव्यक्ति न्यूनीकरण
लक्ष्य तार्किक तुल्यता को संरक्षित करते हुए शब्दों और शाब्दिकों की संख्या को कम करना है। यह सर्किट जटिलता को कम करता है, प्रदर्शन में सुधार करता है और अभिव्यक्तियों को समझने में आसान बनाता है।
6. अनुप्रयोग
सत्यता तालिकाओं के कई क्षेत्रों में व्यावहारिक अनुप्रयोग हैं:
डिजिटल सर्किट डिजाइन
सत्यता तालिकाएँ सीधे तर्क गेट सर्किट से मैप होती हैं। प्रत्येक पंक्ति एक संभावित इनपुट संयोजन का प्रतिनिधित्व करती है, और आउटपुट स्तंभ सर्किट के व्यवहार को निर्धारित करता है। इंजीनियर कार्यान्वयन से पहले डिजिटल सर्किट को डिजाइन और सत्यापित करने के लिए सत्यता तालिकाओं का उपयोग करते हैं।
तर्क गेट सत्यापन
देखें कि सत्यता तालिकाएँ हार्डवेयर में कैसे अनुवाद होती हैं
सॉफ्टवेयर परीक्षण (निर्णय तालिकाएँ)
सॉफ्टवेयर परीक्षण में निर्णय तालिकाएँ अनिवार्य रूप से सत्यता तालिकाएँ हैं जो शर्तों को क्रियाओं से मैप करती हैं। वे सभी संभावित शर्त संयोजनों की व्यवस्थित रूप से जांच करके व्यापक परीक्षण कवरेज सुनिश्चित करने में मदद करती हैं।
डेटाबेस क्वेरी अनुकूलन
क्वेरी ऑप्टिमाइज़र WHERE क्लॉज में बूलियन अभिव्यक्तियों को सरल बनाने के लिए सत्यता तालिका सिद्धांतों का उपयोग करते हैं, अनावश्यक शर्तों को कम करके क्वेरी प्रदर्शन में सुधार करते हैं।
7. इंटरैक्टिव उदाहरण
हमारे कैलकुलेटर का उपयोग करके इन उदाहरणों को आज़माएँ:
उदाहरण 1: सरल योजक
अभिव्यक्ति: A ∧ B - यह केवल तभी सत्य है जब A और B दोनों सत्य हों।
| p | q | p → q |
|---|---|---|
| ⊥ | ⊥ | ⊤ |
| ⊥ | ⊤ | ⊤ |
| ⊤ | ⊥ | ⊥ |
| ⊤ | ⊤ | ⊤ |
उदाहरण 2: डी मॉर्गन का नियम
¬(A ∧ B) की (¬A ∨ ¬B) से तुलना करें - वे समान सत्यता तालिकाएँ उत्पन्न करते हैं, तार्किक तुल्यता प्रदर्शित करते हुए।
| p | q | r | (p ∨ q) → r |
|---|---|---|---|
| ⊥ | ⊥ | ⊥ | ⊤ |
| ⊥ | ⊥ | ⊤ | ⊤ |
| ⊥ | ⊤ | ⊥ | ⊥ |
| ⊥ | ⊤ | ⊤ | ⊤ |
| ⊤ | ⊥ | ⊥ | ⊥ |
| ⊤ | ⊥ | ⊤ | ⊤ |
| ⊤ | ⊤ | ⊥ | ⊥ |
| ⊤ | ⊤ | ⊤ | ⊤ |
उदाहरण 3: निहितार्थ
अभिव्यक्ति: (A → B) ↔ (¬A ∨ B) - यह निहितार्थ और उसके वियोजक रूप के बीच तुल्यता दिखाता है।
| p | q | p ∧ q |
|---|---|---|
| ⊥ | ⊥ | ⊥ |
| ⊥ | ⊤ | ⊥ |
| ⊤ | ⊥ | ⊥ |
| ⊤ | ⊤ | ⊤ |
उदाहरण 4: अनन्य या
(A ⊕ B) की (A ∨ B) ∧ ¬(A ∧ B) से तुलना करें - XOR को व्यक्त करने के दो अलग तरीके।
| p | q | p ↔ q |
|---|---|---|
| ⊥ | ⊥ | ⊤ |
| ⊥ | ⊤ | ⊥ |
| ⊤ | ⊥ | ⊥ |
| ⊤ | ⊤ | ⊤ |
हमारे कैलकुलेटर के साथ प्रयास करें
किसी भी अभिव्यक्ति के लिए स्वचालित रूप से सत्यता तालिकाएँ उत्पन्न करने के लिए हमारे तार्किक कैलकुलेटर का उपयोग करें। अपनी अभिव्यक्ति दर्ज करें और तुरंत सभी मध्यवर्ती चरणों के साथ पूर्ण सत्यता तालिका देखें।
सत्य सारणी जनरेटरअपने किसी भी सूत्र की सारणी बनाइए - साथ में गुण, समतुल्य रूप और कर्नो मानचित्र भी।सामान्य पैटर्न और शॉर्टकट
इन पैटर्न को पहचानने से सत्यता तालिका निर्माण और विश्लेषण में तेजी आ सकती है:
- AND और असत्य के साथ कोई भी अभिव्यक्ति हमेशा असत्य होती है (शून्यीकरण)
- OR और सत्य के साथ कोई भी अभिव्यक्ति हमेशा सत्य होती है (शून्यीकरण)
- P ∧ P = P और P ∨ P = P (अचलता)
- P ∧ ¬P हमेशा असत्य है (विरोधाभास)
- P ∨ ¬P हमेशा सत्य है (तर्कसंगति - अपवर्जित मध्य का नियम)
- ¬(¬P) = P (दोहरा नकार)
अभ्यास अभ्यास
इन अभ्यासों के साथ अपनी समझ का परीक्षण करें:
- (A ∨ B) ∧ (¬A ∨ C) के लिए एक सत्यता तालिका बनाएँ
- निर्धारित करें कि क्या (A → B) → C, A → (B → C) के समतुल्य है
- दिखाएँ कि (A ∧ B) ∨ (A ∧ ¬B) केवल A में सरल हो जाता है
- डी मॉर्गन के नियमडी मॉर्गन के नियमनिषेध ∧ को ∨ और ∨ को ∧ बना देता है: ¬(p ∧ q) ≡ ¬p ∨ ¬q।पूरी प्रविष्टि पढ़ें को सत्यापित करें: ¬(A ∨ B) ≡ (¬A ∧ ¬B)