Logical equality
तार्किक समानता एक तार्किक प्रचालक है जो बूलियन बीजगणित में समानता और प्रस्तावात्मक कलन में तार्किक द्वि-शर्त के अनुरूप है। यह कार्यात्मक मान सही देता है यदि दोनों कार्यात्मक तर्कों का समान तार्किक मूल्य है, और गलत यदि वे अलग हैं। विभिन्न अनुप्रयोगों में यह प्रथागत अभ्यास है, यदि हमेशा तकनीकी रूप से सटीक नहीं है, तो निम्नलिखित रूपों में से किसी एक द्वारा तार्किक ऑपरेंड x और y पर तार्किक समानता के संचालन को इंगित करनाः कुछ तर्कशास्त्री, हालांकि, एक कार्यात्मक रूप के बीच एक दृढ़ अंतर बनाते हैं, जैसे कि बाएं कॉलम में, जिसे वे तर्कों की एक जोड़ी के लिए एक फ़ंक्शन के अनुप्रयोग के रूप में व्याख्या करते हैं-और इस प्रकार केवल एक संकेत है कि यौगिक अभिव्यक्ति का मूल्य घटक अभिव्यक्तियों के मूल्यों पर निर्भर करता है-और एक समतुल्य रूप, जैसे कि दाएं कॉलम में, जिसे वे एक दावे के रूप में व्याख्या करते हैं कि तर्कों के समान मूल्य हैं, दूसरे शब्दों में, कि यौगिक अभिव्यक्ति का कार्यात्मक मूल्य सच है। परिभाषा तार्किक समानता दो तार्किक मूल्यों पर एक ऑपरेशन है, आमतौर पर दो प्रस्तावों के मूल्य, जो सही का मूल्य उत्पन्न करते हैं यदि और केवल तभी जब दोनों ऑपरेंड गलत हों या दोनों ऑपरेंड सही हों। पी ईक्यू क्यू की सत्य तालिका (जिसे पी = क्यू, पी, क्यू, ईपीक्यू, पी, क्यू, या पी = क्यू के रूप में भी लिखा जाता है) इस प्रकार हैः {। वर्ग = "विकिटेबल" शैली = "पाठ-संरेखितः केंद्र"। + तार्किक समानता! पी! क्यू! पी = क्यू।-। 0।। 0।। 1।-। 0।। 1।।। 1।। वैकल्पिक विवरण फॉर्म (x = y) फॉर्म (x) के बराबर है। ऑपरेंड x और y के लिए, तार्किक समानता प्रचालक की सत्य तालिका इस प्रकार हैः {। श्रेणी = "विकिटेबल"! कॉलन्स = "2" रोस्पैन = "2"।! ! कॉलन्स = "2"। y।-! टी! ! एफ।-! रोस्पैन = "2"। x! ! टी। स्टाइल = "पैडिंगः 1ईएम;"। टी। स्टाइल = "पैडिंगः 1ईएम;"। एफ।-! F। शैली = "पैडिंगः 1em;"। F। शैली = "पैडिंगः 1em;"। T।} असमानता गणित में, प्लस चिह्न "+" लगभग हमेशा एक ऐसे ऑपरेशन को इंगित करता है जो बीजगणितीय संरचना के प्रकार में जोड़ को सौंपे गए स्वयंसिद्धों को संतुष्ट करता है जिसे एक क्षेत्र के रूप में जाना जाता है। बूलियन बीजगणित के लिए, इसका मतलब है कि "+" द्वारा सूचित तार्किक संचालन "ष्ण" द्वारा सूचित समावेशी विच्छेदन के समान नहीं है, लेकिन वास्तव में "ष्ण" द्वारा सूचित तार्किक असमानता प्रचालक के बराबर है, या जो एक ही चीज़ के बराबर है, विशेष विच्छेदन जिसे "XOR" या "ष्ण" द्वारा दर्शाया गया है। स्वाभाविक रूप से, उपयोग में इन भिन्नताओं ने पिछले कुछ वर्षों में गणितविदों और बदलते इंजीनियरों के बीच संवाद करने में कुछ विफलताओं का कारण बना है। किसी भी दर पर, तार्किक असमानता से जुड़े प्रतीकों के लिए संबंधित रूपों की निम्नलिखित सरणी हैः यह बताता है कि सर्किट इंजीनियरों के संयुक्त तर्क में "ईक्यू" को अक्सर "एक्सएनओआर" क्यों कहा जाता है, क्योंकि यह एक्सओआर संचालन का निषेध है; "एनएक्सओआर" एक कम उपयोग किया जाने वाला विकल्प है। स्वीकृत रूप से परिपथ नाम "एक्सएनओआर" का एक और तर्कसंगतकरण यह है कि एक "दोनों गलत" ऑपरेटर एनओआर के साथ शुरू होता है और फिर एक्सेप्शन "या दोनों सत्य" जोड़ता है। बूलियन फलन भी देखें यदि और केवल यदि तार्किक समतुल्यता तार्किक द्वि-शर्तीय प्रस्तावात्मक कलन संदर्भ बाहरी लिंक मैथवर्ल्ड, एक्सएनओआर समानता समानता (गणित)