सामग्री
- व्याख्या - डिसेंजेक्टिव्ह नॉर्मल फॉर्म (डीएनएफ) म्हणजे काय?
- मायक्रोसॉफ्ट अझर आणि मायक्रोसॉफ्ट क्लाऊडची ओळख | या संपूर्ण मार्गदर्शकामध्ये आपण क्लाउड संगणन करणे म्हणजे काय आणि मायक्रोसॉफ्ट अझर आपल्याला क्लाऊडवरून आपला व्यवसाय स्थलांतरित आणि चालविण्यात कशी मदत करू शकेल हे शिकाल.
- टेकोपीडिया डिसेंजेक्टिव्ह नॉर्मल फॉर्म (डीएनएफ) चे स्पष्टीकरण देते
व्याख्या - डिसेंजेक्टिव्ह नॉर्मल फॉर्म (डीएनएफ) म्हणजे काय?
डिस्जेन्क्टिव्ह नॉर्मल फॉर्म (डीएनएफ) म्हणजे बुलियन गणितातील तार्किक सूत्राचे सामान्यीकरण. दुस words्या शब्दांत, एक तार्किक सूत्र असे म्हटले जाते की ते प्रत्येक परिवर्तनासह संयोगांचे विघटन होते आणि त्याचे नकार प्रत्येक संयोगात एकदा उपस्थित होते. सर्व डिस्जेन्टीव्ह सामान्य फॉर्म अद्वितीय आहेत, कारण समान प्रस्तावासाठी सर्व विचित्र सामान्य फॉर्म परस्पर समतुल्य आहेत.
स्वयंचलित प्रमेय सिद्ध करण्यासारख्या क्षेत्रात डिस्जेन्क्टिव्ह सामान्य फॉर्मचा मोठ्या प्रमाणात वापर केला जातो.
मायक्रोसॉफ्ट अझर आणि मायक्रोसॉफ्ट क्लाऊडची ओळख | या संपूर्ण मार्गदर्शकामध्ये आपण क्लाउड संगणन करणे म्हणजे काय आणि मायक्रोसॉफ्ट अझर आपल्याला क्लाऊडवरून आपला व्यवसाय स्थलांतरित आणि चालविण्यात कशी मदत करू शकेल हे शिकाल.
टेकोपीडिया डिसेंजेक्टिव्ह नॉर्मल फॉर्म (डीएनएफ) चे स्पष्टीकरण देते
तार्किक सूत्र एक किंवा अधिक शब्दशः एक किंवा अधिक संयोग बदलण्याचे अस्तित्त्वात असल्यास आणि केवळ वेगळ्या स्वरूपात आहे. जर सर्व कलम प्रत्येक खंडात फक्त एकदाच दर्शविल्या गेल्या तर त्यास संपूर्ण डिसऑजेक्टिव्ह सामान्य स्वरुपात फॉर्म्युला मानले जाते. कॉन्जेन्क्टिव्ह सामान्य फॉर्म प्रमाणेच, डिजेक्टिव्ह नॉर्मल फॉर्ममधील प्रोपोजेन्शल ऑपरेटर समान आहेत: आणि, ओआर आणि नाही.
सर्व तार्किक सूत्रे समतुल्य डिस्जेक्टिव्ह सामान्य स्वरूपात रूपांतरित केली जाऊ शकतात. तथापि, काही प्रकरणांमध्ये, तार्किक कार्याचा घातांकारी स्फोट शक्य नसलेल्या सामान्य स्वरूपात रूपांतरित केल्यामुळे शक्य आहे. आणखी एक महत्त्वाचा मुद्दा असा आहे की कोणतीही अनन्य बुलियन फंक्शन केवळ एक आणि अनन्य पूर्ण डिस्जेक्टिव्ह सामान्य स्वरुपाद्वारे दर्शविली जाऊ शकते. सत्य सारणी पद्धत, सत्य झाडे किंवा तार्किक समतेचे सारण या तंत्राच्या मदतीने, तार्किक सूत्रासाठी सामान्य स्वरूप वेगळे केले जाऊ शकते. के-डीएनएफ, विलुप्त होणारी सामान्य स्वरूपातील भिन्नता संगणकीय जटिलतेच्या अभ्यासामध्ये व्यापकपणे वापरली जाते आणि लोकप्रिय आहे.