अव्यवस्थित सामान्य रूप (dnf) क्या है? - टेक्नोपेडिया से परिभाषा

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

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

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

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

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

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