প্রথম-অর্ডার লজিককে CNF-এ রূপান্তর করতে:
- নেগেশান স্বাভাবিক ফর্মে রূপান্তর করুন। প্রভাব এবং সমতা দূর করুন: বারবার এর সাথে প্রতিস্থাপন করুন; প্রতিস্থাপন. …
- স্ট্যান্ডার্ডাইজ ভেরিয়েবল। …
- বিবৃতিটি স্কলেমাইজ করুন। …
- সমস্ত ইউনিভার্সাল কোয়ান্টিফায়ার বাদ দিন।
- OR গুলিকে ANDs-এর উপরে ভিতরের দিকে বিতরণ করুন: বারবার. দিয়ে প্রতিস্থাপন করুন
CNF সূত্র কি?
Conjunctive normal form (CNF) হল বুলিয়ান লজিকের একটি পন্থা যা সূত্রগুলিকে AND বা OR এর সাথে ক্লজের সংযোগ হিসাবে প্রকাশ করে। একটি সংযোজন, বা AND দ্বারা সংযুক্ত প্রতিটি ক্লজ অবশ্যই একটি আক্ষরিক হতে হবে বা একটি বিচ্ছিন্নতা, বা OR অপারেটর ধারণ করতে হবে। সিএনএফ স্বয়ংক্রিয় উপপাদ্য প্রমাণের জন্য উপযোগী।
আপনি কি DNF কে CNF তে রূপান্তর করতে পারেন?
আপনি যদি অতিরিক্ত ভেরিয়েবল প্রবর্তন করতে ইচ্ছুক হন, তাহলে আপনি বহুপদী সময়ে Tseitin ট্রান্সফর্ম ব্যবহার করে DNF থেকে CNF ফর্মে রূপান্তর করতে পারেন। ফলস্বরূপ CNF সূত্রটি মূল DNF সূত্রের সাথে সমান হবে: CNF সূত্রটি সন্তোষজনক হবে যদি এবং শুধুমাত্র যদি মূল DNF সূত্রটি সন্তোষজনক হয়।
আমি কিভাবে CNF পেতে পারি?
শুধু সত্য সারণী লিখুন, যা খুঁজে পাওয়া খুবই সহজ এবং আপনার CNF এবং DNF অনুমান করুন। আপনি যদি DNF খুঁজে পেতে চান, তাহলে আপনাকে T দিয়ে শেষ হওয়া সমস্ত সারি দেখতে হবে। যখন আপনি সেই সারিগুলি খুঁজে পাবেন, প্রতিটি কলাম থেকে x, y এবং z মান নিন। এইভাবে, আপনি পাবেন (x∧y∧z)∨(x∧¬y∧¬z)∨(¬x∧y∧¬z)∨(¬x∧¬y∧z)).
আপনি কিভাবে disjunctive এ কনভার্ট করবেনস্বাভাবিক ফর্ম?
একটি যৌগিক প্রস্তাবকে বলা হয় বিচ্ছিন্ন স্বাভাবিক আকারে, বা DNF, যদি এটি একটি সরল পদের সংযোগের বিচ্ছিন্নতা হয়, এবং যদি, তদ্ব্যতীত, প্রতিটি অবস্থানগত পরিবর্তনশীল প্রতিটি সংমিশ্রণে সর্বাধিক একবারে ঘটে এবং প্রতিটি সংযোগ বিচ্ছিন্নতার মধ্যে সর্বাধিক একবার ঘটে।
