সত্যক সারণি কী?

সত্যক সারণি হচ্ছে এক প্রকার গাণিতিক সারণি। বুলিয়ান বীজগণিত, বুলিয়ান ফাংশন, এবং প্রপরশনাল ক্যালকুলাসের বিভিন্ন যুক্তি দ্বারা এই টেবিল তৈরী করা হয়। মূলত, কোন গাণিতিক বাক্যের জন্য প্রদত্ত সকল মাণের জন্য বাক্যটি সত্য কিনা সেটা যাচাই করার জন্য সত্যক সরণি ব্যবহার করা হয়।

**সত্যক সারণি** (Truth Table) হল একটি লজিক্যাল টুল যা লজিক্যাল এক্সপ্রেশন বা প্রস্তাবনার সমস্ত সম্ভাব্য সত্য-মিথ্যা মান বিশ্লেষণ করতে ব্যবহৃত হয়। এটি কম্পিউটার বিজ্ঞান, মেটেমেটিক্স এবং লজিকের বিভিন্ন শাখায় ব্যবহৃত হয়।

সত্যক সারণির উদ্দেশ্য:
1. লজিক্যাল এক্সপ্রেশন বিশ্লেষণ: এটি নির্ধারণ করে একটি লজিক্যাল এক্সপ্রেশন বা প্রস্তাবনার প্রতিটি ভেরিয়েবলের সম্ভাব্য মানের জন্য ফলাফল কী হবে।
2. বিচার ও প্রমাণ: বিভিন্ন লজিক্যাল এক্সপ্রেশন বা গেটের কার্যকারিতা যাচাই করতে ব্যবহার করা হয়।

উদাহরণ:
ধরি, একটি লজিক্যাল এক্সপ্রেশন হল \(A \land B\) (যেখানে \(\land\) মানে "এবং")।

সত্যক সারণি এর জন্য:
- \(A\) এবং \(B\) ভেরিয়েবলের সম্ভাব্য সব মান সমূহ তালিকাভুক্ত করা হয়।
- তাদের জন্য \(A \land B\) এর ফলাফল নির্ধারণ করা হয়।

**সত্যক সারণি:**

| \(A\) | \(B\) | \(A \land B\) |
|:---:|:---:|:---:|
| 0   | 0   | 0   |
| 0   | 1   | 0   |
| 1   | 0   | 0   |
| 1   | 1   | 1   |

এখানে:
- \(A = 0\) এবং \(B = 0\): \(A \land B = 0\)
- \(A = 0\) এবং \(B = 1\): \(A \land B = 0\)
- \(A = 1\) এবং \(B = 0\): \(A \land B = 0\)
- \(A = 1\) এবং \(B = 1\): \(A \land B = 1\)

ব্যবহার:
- **কম্পিউটার বিজ্ঞানে**: লজিক গেট, সার্কিট ডিজাইন এবং প্রোগ্রামিং লজিক বিশ্লেষণের জন্য।
- **গণিত**: প্রস্তাবনা গণিত এবং লজিক্যাল প্রমাণের জন্য।

সত্যক সারণি একটি মৌলিক এবং গুরুত্বপূর্ণ উপকরণ যা লজিক্যাল সিদ্ধান্ত এবং সমস্যার সমাধান করতে সাহায্য করে।