सीएनएफ में कैसे बदलें?

2024 लेखक: Elizabeth Oswald | [email protected]. अंतिम बार संशोधित: 2024-01-13 00:07

प्रथम क्रम के तर्क को CNF में बदलने के लिए:

1. नकारात्मक सामान्य रूप में परिवर्तित करें। निहितार्थ और समकक्षता को हटा दें: बार-बार के साथ प्रतिस्थापित करें; के साथ बदलें । …
2. चरों का मानकीकरण करें। …
3. कथन को स्कॉलमाइज करें। …
4. सभी यूनिवर्सल क्वांटिफायर छोड़ दें।
5. ORs को ANDs पर अंदर की ओर वितरित करें: बार-बार. से बदलें

सीएनएफ फॉर्मूला क्या है?

संयोजक सामान्य रूप (CNF) बूलियन तर्क के लिए एक दृष्टिकोण है जो सूत्रों को AND या OR के साथ खंडों के संयोजन के रूप में व्यक्त करता है। संयोजन से जुड़ा प्रत्येक खंड, या और, या तो एक शाब्दिक होना चाहिए या एक विघटन, या या ऑपरेटर होना चाहिए। CNF स्वचालित प्रमेय सिद्ध करने के लिए उपयोगी है।

क्या आप डीएनएफ को सीएनएफ में बदल सकते हैं?

यदि आप अतिरिक्त चर पेश करने के इच्छुक हैं, तो आप बहुपद समय में डीएनएफ से सीएनएफ रूप में परिवर्तित कर सकते हैं Tseitin परिवर्तन का उपयोग करके। परिणामी CNF फ़ॉर्मूला मूल DNF फ़ॉर्मूला के साथ समतुल्‍यीय होगा: CNF फ़ॉर्मूला संतोषजनक होगा यदि और केवल मूल DNF फ़ॉर्मूला संतोषजनक था।

मैं सीएनएफ कैसे प्राप्त कर सकता हूं?

बस ट्रुथ टेबल लिख लें, जो खोजने में काफी आसान है, और अपने CNF और DNF को घटाएं। यदि आप डीएनएफ खोजना चाहते हैं, तो आपको टी के साथ समाप्त होने वाली सभी पंक्तियों को देखना होगा। जब आप उन पंक्तियों को ढूंढते हैं, तो प्रत्येक संबंधित कॉलम से x, y और z मान लें। इस प्रकार, आप (x∧y∧z)∨(x∧¬y∧¬z)∨(¬x∧y∧¬z)∨(¬x∧¬y∧z) प्राप्त करते हैं).

आप डिसजंक्टिव को में कैसे बदलते हैंसामान्य रूप?

एक यौगिक प्रस्ताव को असंबद्ध सामान्य रूप में कहा जाता है, या डीएनएफ, यदि यह सरल शब्दों के संयोजनों का संयोजन है, और यदि, इसके अलावा, प्रत्येक प्रस्तावक चर प्रत्येक संयोजन में अधिकतम एक बार होता है और प्रत्येक संयोजन वियोजन में अधिकतम एक बार होता है।