विघटनकारी सामान्य रूप (DNF)

लेखक: Monica Porter
निर्माण की तारीख: 22 जुलूस 2021
डेट अपडेट करें: 27 जून 2024
Anonim
कंजंक्टिव नॉर्मल फॉर्म (CNF) और डिसजंक्टिव नॉर्मल फॉर्म (DNF) - लॉजिक
वीडियो: कंजंक्टिव नॉर्मल फॉर्म (CNF) और डिसजंक्टिव नॉर्मल फॉर्म (DNF) - लॉजिक

विषय

परिभाषा - डिसइंजेक्टिव नॉर्मल फॉर्म (DNF) का क्या अर्थ है?

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


स्वचालित प्रमेय साबित करने वाले क्षेत्रों में व्यापक सामान्य रूप का व्यापक रूप से उपयोग किया जाता है।

Microsoft Azure और Microsoft क्लाउड का परिचय | इस गाइड के दौरान, आप जानेंगे कि क्लाउड कंप्यूटिंग क्या है और Microsoft Azure आपको क्लाउड से अपना व्यवसाय चलाने और चलाने में कैसे मदद कर सकता है।

Techopedia व्याख्यात्मक सामान्य रूप (DNF) की व्याख्या करता है

एक तार्किक सूत्र विघटनकारी सामान्य रूप में है यदि और केवल एक या एक से अधिक शाब्दिक शब्दों के संयोजन का एक अस्तित्व है। एक सूत्र को पूर्ण विघटनकारी सामान्य रूप में माना जाता है यदि शामिल सभी चर प्रत्येक खंड में केवल एक बार दर्शाए जाते हैं। संयुग्मक सामान्य रूप के समान, विघटनकारी सामान्य रूप में प्रस्तावक संचालक समान हैं: और, या नहीं।

सभी तार्किक फॉर्मूले को एक समान डिस्जैक्टिव सामान्य रूप में परिवर्तित किया जा सकता है। हालाँकि, कुछ मामलों में, तार्किक रूप से विदारक सामान्य रूप में रूपांतरण के कारण तार्किक कार्य का विस्फोट संभव है। एक और मुख्य बिंदु यह है कि किसी भी अद्वितीय बूलियन फ़ंक्शन को केवल एक और एक अद्वितीय पूर्ण डिसजेसिव सामान्य रूप द्वारा दर्शाया जा सकता है। सत्य तालिका विधि, सत्य वृक्ष या तार्किक तुल्यता की तालिका जैसी तकनीकों की मदद से, तार्किक सूत्रों के लिए असंगत सामान्य रूप उत्पन्न किया जा सकता है। के-डीएनएफ, विघटनकारी सामान्य रूप की भिन्नता, कम्प्यूटेशनल जटिलता के अध्ययन में व्यापक रूप से उपयोग और लोकप्रिय है।