বিযুক্তি স্বাভাবিক ফর্ম (ডিএনএফ) কী? - টেকোপিডিয়া থেকে সংজ্ঞা

সংজ্ঞা - বিযুক্ত নর্মাল ফর্ম (ডিএনএফ) এর অর্থ কী?

ডিসজানেক্টিভ নরমাল ফর্ম (ডিএনএফ) হ'ল বুলিয়ান গণিতে লজিক্যাল ফর্মুলার স্বাভাবিককরণ। অন্য কথায়, একটি যৌক্তিক সূত্রটি বলা হয় যদি এটি প্রতিটি পরিবর্তনশীলের সাথে সংশ্লেষের সংশ্লেষ হয় এবং প্রতিটি সংমিশ্রণে এটির অবহেলা উপস্থিত থাকে তবে এটি বিযুক্ত স্বাভাবিক আকারে থাকে। সমস্ত বিচ্ছিন্ন স্বাভাবিক ফর্মগুলি অ-অনন্য, কারণ একই প্রস্তাবের জন্য সমস্ত বিযুক্ত স্বাভাবিক ফর্ম পারস্পরিক সমতুল্য।

বিচ্ছিন্ন স্বাভাবিক ফর্মটি স্বয়ংক্রিয় উপপাদ্য প্রমাণ করার মতো ক্ষেত্রে ব্যাপকভাবে ব্যবহৃত হয়।

টেকোপিডিয়া ডিসজেঞ্জিটিভ নরমাল ফর্ম (ডিএনএফ) ব্যাখ্যা করে

একটি লজিকাল সূত্রটি বিচ্ছিন্ন স্বাভাবিক ফর্মের মধ্যে থাকে এবং যদি কেবল এক বা একাধিক আক্ষরিকের এক বা একাধিক সংমিশ্রনের পরিবর্তনের একটি অস্তিত্ব থাকে। একটি সূত্রকে সম্পূর্ণ বিচ্ছিন্ন স্বাভাবিক ফর্ম হিসাবে বিবেচনা করা হয় যদি জড়িত সমস্ত ভেরিয়েবলগুলি প্রতিটি অনুচ্ছেদে কেবল একবার উপস্থাপন করা হয়। কনজেক্টিভ স্বাভাবিক ফর্মের অনুরূপ, বিচ্ছিন্ন স্বাভাবিক ফর্মের প্রপোজাল অপারেটরগুলি একই: আর, ও ও নয়।

সমস্ত যৌক্তিক সূত্রগুলিকে একটি সমতুল্য বিচ্ছিন্ন স্বাভাবিক ফর্মে রূপান্তর করা যায়। যাইহোক, কিছু ক্ষেত্রে, লজিক্যাল ফাংশনটির তাত্পর্যপূর্ণ বিস্ফোরণটি বিভাজনযুক্ত সাধারণ ফর্মে রূপান্তরিত হওয়ার কারণে সম্ভব। আর একটি প্রধান বিষয় হল যে কোনও বুলিয়ান ক্রিয়াকলাপ কেবল একটি এবং একটি অনন্য পূর্ণ বিচ্ছিন্ন স্বাভাবিক ফর্ম দ্বারা প্রতিনিধিত্ব করা যেতে পারে। ট্রুথ টেবিল পদ্ধতি, সত্য গাছ বা লজিক্যাল সমতার টেবিলের মতো কৌশলগুলির সাহায্যে যৌক্তিক সূত্রগুলির জন্য বিযুক্ত স্বাভাবিক ফর্ম তৈরি করা যায়। কে-ডিএনএফ, বিচ্ছিন্ন স্বাভাবিক রূপের একটি প্রকরণ, গণনা জটিলতার গবেষণায় ব্যাপকভাবে ব্যবহৃত হয় এবং জনপ্রিয় হয়।