यदि आप अतिरिक्त चरों को शुरू करने के इच्छुक हैं, तो आप Tseitin परिवर्तन का उपयोग करके बहुपद समय में DNF से CNF रूप में परिवर्तित कर सकते हैं । परिणामी CNF फॉर्मूला मूल DNF फॉर्मूले के अनुकूल होगा: CNF फॉर्मूला संतोषजनक रहेगा यदि और केवल मूल DNF फॉर्मूला संतोषजनक था। Https://en.wikipedia.org/wiki/Conjunctive_normal_form#Conversion_into_CNF भी देखें ।
यदि आप अतिरिक्त चर के परिचय की अनुमति नहीं देना चाहते हैं, तो DNF से CNF फॉर्म में परिवर्तित करना सह-NP-कठिन है। विशेष रूप से, यह परीक्षण कि क्या एक डीएनएफ सूत्र एक तना है सह-एनपी-हार्ड है। हालांकि, परीक्षण करना कि क्या CNF फॉर्मूला एक टॉटोलॉजी है, बहुपद समय में किया जा सकता है (आप बस अलग से जाँच करें कि क्या प्रत्येक क्लॉज एक टेओटोलॉजी है, जो कि प्रत्येक क्लॉज शाब्दिक का एक विघटन है)। इसलिए, यदि आप नए वेरिएबल्स को प्रस्तुत किए बिना, DNF फॉर्म से CNF रूप में बहुपदीय समय में परिवर्तित कर सकते हैं, तो आप परीक्षण के लिए एक बहुपद-समय एल्गोरिथ्म प्राप्त करेंगे कि क्या DNF फॉर्मूला एक टेओटोलॉजी है - ऐसा कुछ जो असंभव लगता है, जिसे देखते हुए हम उम्मीद करते हैं P, सह-NP के बराबर नहीं है। या, इसे दूसरे तरीके से रखने के लिए, अतिरिक्त चर पेश किए बिना डीएनएफ से सीएनएफ फॉर्म में परिवर्तित करना सह-एनपी-हार्ड है।
यह समतुल्यता बनाम समतुल्यता के बीच का अंतर है । समतुल्यता के लिए दो फ़ार्मुलों के समाधान का एक ही सेट होना आवश्यक है (और इस प्रकार अतिरिक्त चरों को शुरू करने की अनुमति नहीं देता है)। केवल अधिग्रहण की आवश्यकता है कि या तो दोनों फार्मूले संतोषजनक हैं या दोनों असंतोषजनक हैं (और इस तरह अतिरिक्त संस्करण पेश करने की अनुमति देता है)।