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