Truth Table
সত্যক সারণি
একটা compound proposition-এর সব সম্ভাব্য input combination আর তাদের ফলাফলের তালিকা। `n` variable মানে `2^n` row।
Truth table হলো একটা boolean function-এর সম্পূর্ণ সংজ্ঞা — কোনো অস্পষ্টতা নেই, কারণ প্রতিটা সম্ভাব্য input ধরে লেখা আছে।
| p | q | p ∧ q | p ∨ q | p → q |
|---|---|---|---|---|
| F | F | F | F | T |
| F | T | F | T | T |
| T | F | F | T | F |
| T | T | T | T | T |
সীমাবদ্ধতা: n variable মানে 2ⁿ row। ১০টা variable = ১০২৪ row,
২০টা = ১০ লক্ষের বেশি। তাই বাস্তবে truth table হাতে বানানো যায় না —
তার বদলে [[logical-equivalence]]-এর বীজগণিতিক নিয়ম বা automated
tool (SAT solver, BDD) ব্যবহার হয়।
তবু ধারণাগতভাবে এটাই ভিত্তি: [[minterm]] থেকে canonical form, [[karnaugh-map]] থেকে minimization — সবই truth table থেকে শুরু।