5
पर पहला ऑर्डर लॉजिक कनवर्ट करना क्या सी/सी ++/जावा में पहले ऑर्डर लॉजिक को सीएनएफ में परिवर्तित करने के लिए कोई मौजूदा कार्यान्वयन है?सीएनएफ
Q
सीएनएफ
A
उत्तर
1
इसे और अधिक की तरह कुछ का उपयोग करने के कुशल हो सकता है: Boolean Normal Form
कार्यान्वयन के लिए, मैं इसे अपने आप को कुछ इस तरह से सरल के लिए करने की सलाह देते। एक कुशल विधि में psuedo कोड + स्पष्टीकरण here
है