$F = PQ+\overline{PR}+P\overline{Q}R(PQ+R)$

সত্যক সারণি-১

ইনপুট		আউটপুট
P	Q	R
0	0	0
1	1	0
0	1	1
1	0	1

সত্যক সারণি-২

ইনপুট		আউটপুট
P	Q	R
0	0	0
1	1	1
0	1	0
1	0	0

NAND গেইটকে সর্বজনীন গেইট (Universal Gate) বলা হয় কারণ এর সাহায্যে যেকোনো মৌলিক গেইট (AND, OR, NOT) এবং অন্যান্য লজিক গেইট যেমন XOR, XNOR ইত্যাদি বাস্তবায়ন করা যায়। তিনটি NAND গেইট ব্যবহার করে একটি OR গেইট বাস্তবায়ন করা যায়।

OR গেইটের আউটপুট A+B কে ডিমর্গানের উপপাদ্য (De Morgan's Theorem) ব্যবহার করে (A'B')' আকারে প্রকাশ করা যায়। এই সমীকরণটি NAND গেইটের কার্যকারিতার সাথে সামঞ্জস্যপূর্ণ। প্রথমে, ইনপুট A এবং B কে দুটি আলাদা NAND গেইট (যা NOT গেইট হিসেবে কাজ করে) এর মাধ্যমে ইনভার্ট করা হয়, ফলে A' এবং B' পাওয়া যায়। এরপর, এই A' এবং B' কে তৃতীয় একটি NAND গেইটের ইনপুট হিসেবে ব্যবহার করলে আউটপুট (A'B')' পাওয়া যায়, যা A+B এর সমতুল্য।

বুলিয়ান অ্যালজেব্রার সরলীকরণ ডিজিটাল লজিক সার্কিট ডিজাইনে অপরিহার্য, কারণ এটি একই কার্যকারিতা বজায় রেখে লজিক এক্সপ্রেশনগুলিকে সংক্ষিপ্ত করতে সাহায্য করে, যা সার্কিটের জটিলতা ও খরচ কমায়। এই প্রক্রিয়ায় ডি মরগানের সূত্র, ডিস্ট্রিবিউটিভ নিয়ম এবং \(A + \bar{A} = 1\), \(A \bar{A} = 0\) এর মতো মৌলিক উপপাদ্যগুলো ব্যবহার করা হয়।

প্রদত্ত বুলিয়ান ফাংশনটি হলো:
\[F = PQ + \overline{PR} + P\overline{Q}R(PQ + R)\]
প্রথমে, ডি মরগানের উপপাদ্য ব্যবহার করে \(\overline{PR}\) কে সরল করা যায় \(\bar{P} + \bar{R}\)। এরপর, ডিস্ট্রিবিউটিভ নিয়ম ব্যবহার করে \(P\overline{Q}R\) কে \((PQ + R)\) এর সাথে গুণ করা হয়।
\[F = PQ + \bar{P} + \bar{R} + P\overline{Q}R PQ + P\overline{Q}R R\]
এখানে, \(\overline{Q}Q = 0\) হওয়ায় \(P\overline{Q}R PQ = 0\) এবং \(RR = R\) হওয়ায় \(P\overline{Q}RR = P\overline{Q}R\) হয়।
সুতরাং, রাশিটি দাঁড়ায়:
\[F = PQ + \bar{P} + \bar{R} + 0 + P\overline{Q}R\]
\[F = PQ + \bar{P} + \bar{R} + P\overline{Q}R\]
এখন, \(PQ + \bar{P}\) কে \(A + \bar{A}B = A + B\) উপপাদ্য অনুযায়ী \(Q + \bar{P}\) তে রূপান্তর করা যায়।
\[F = (Q + \bar{P}) + \bar{R} + P\overline{Q}R\]
\[F = Q + \bar{P} + \bar{R} + P\overline{Q}R\]
আবার, \(\bar{P} + P\overline{Q}R\) কে \(A + \bar{A}B = A + B\) উপপাদ্য অনুযায়ী \(\bar{P} + \overline{Q}R\) তে রূপান্তর করা যায়।
\[F = Q + (\bar{P} + \overline{Q}R) + \bar{R}\]
\[F = Q + \bar{P} + \overline{Q}R + \bar{R}\]
এখন, \(Q + \overline{Q}R\) কে \(A + \bar{A}B = A + B\) উপপাদ্য অনুযায়ী \(Q + R\) তে রূপান্তর করা যায়।
\[F = (Q + R) + \bar{P} + \bar{R}\]
\[F = Q + R + \bar{P} + \bar{R}\]
সর্বশেষে, \(R + \bar{R}\) কে \(1\) দ্বারা প্রতিস্থাপন করা যায়।
\[F = Q + \bar{P} + (R + \bar{R})\]
\[F = Q + \bar{P} + 1\]

যেহেতু বুলিয়ান অ্যালজেব্রায় যেকোনো চলকের সাথে \(1\) যোগ করলে ফলাফল সর্বদা \(1\) হয় (\(A + 1 = 1\))। সুতরাং, উপরের সরলীকরণ থেকে এটি প্রমাণিত হয় যে, প্রদত্ত লজিক ফাংশন \(F\) এর মান \(1\)।
\[F = 1\]
(প্রমাণিত)

ডিজিটাল ইলেকট্রনিক্সে, লজিক গেটসমূহ এবং তাদের সত্যক সারণি ডিজিটাল সার্কিট ডিজাইনের মূল ভিত্তি। বাইনারি যোগের বর্তনি (Binary Adder Circuit) বাস্তবায়নের জন্য নির্দিষ্ট লজিক গেটের সমন্বিত ব্যবহার অপরিহার্য। এই ধরনের বর্তনিতে, ইনপুট বিটগুলির যোগফল (Sum) এবং অতিরিক্ত বিট (Carry) তৈরির জন্য ভিন্ন ভিন্ন লজিক গেট যেমন XOR, AND, OR গেট ব্যবহার করা হয়। উদ্দীপকে প্রদত্ত দুটি সত্যক সারণির মাধ্যমে নির্দেশিত লজিক গেটের সমন্বিত বর্তনি বাইনারি যোগের বর্তনি বাস্তবায়নে ব্যবহৃত হয় কিনা, তা বিশ্লেষণ করা হলো।

উদ্দীপকের প্রদত্ত তথ্য অনুযায়ী, সত্যক সারণি-১-এ ইনপুট P, Q, R এর কিছু কম্বিনেশন দেওয়া থাকলেও এর কোনো আউটপুট (Output) মান উল্লেখ করা হয়নি। ফলস্বরূপ, এই সারণিটি কোন নির্দিষ্ট লজিক গেটকে নির্দেশ করছে তা নির্ণয় করা সম্ভব নয়। এটি উদ্দীপকের একটি গুরুত্বপূর্ণ সীমাবদ্ধতা। অন্যদিকে, সত্যক সারণি-২-কে বিশ্লেষণ করলে দেখা যায় যে, এর আউটপুট কেবল তখনই 1 হয় যখন এর তিনটি ইনপুট P, Q, R এর মানই 1 হয় (অর্থাৎ, P=1, Q=1, R=1 হলে আউটপুট 1)। অন্যান্য প্রদত্ত ইনপুট কম্বিনেশনের জন্য আউটপুট 0। এই বৈশিষ্ট্যটি একটি 3-ইনপুট AND গেটের সাথে সঙ্গতিপূর্ণ। সুতরাং, সত্যক সারণি-২ দ্বারা একটি AND গেট (PQR) নির্দেশিত হচ্ছে।

বাইনারি যোগের বর্তনি, যেমন হাফ অ্যাডার (Half Adder) বা ফুল অ্যাডার (Full Adder) বাস্তবায়নের জন্য একাধিক লজিক গেটের সুনির্দিষ্ট সমন্বয়ের প্রয়োজন হয়। একটি হাফ অ্যাডার যোগফল (Sum) এর জন্য একটি XOR গেট এবং ক্যারির (Carry) জন্য একটি AND গেট ব্যবহার করে। অন্যদিকে, একটি ফুল অ্যাডারে তিনটি ইনপুট (দুটি ডেটা বিট এবং একটি ইনপুট ক্যারি) থাকে এবং এটি যোগফল ও আউটপুট ক্যারি তৈরির জন্য XOR এবং AND গেটের সমন্বয়ে গঠিত একটি জটিল বর্তনি ব্যবহার করে। উদ্দীপকের সত্যক সারণি-২ একটি 3-ইনপুট AND গেটকে নির্দেশ করে, যা একটি ফুল অ্যাডারের ক্যারি জেনারেশন লজিকের একটি অংশ হতে পারে। তবে, এটি এককভাবে বা এমনকি একটি অজানা গেটের (সত্যক সারণি-১ থেকে) সাথে সম্পূর্ণরূপে একটি বাইনারি যোগের বর্তনি বাস্তবায়ন করতে পারে না, কারণ বাইনারি যোগের জন্য যোগফল (Sum) এবং সম্পূর্ণ ক্যারি লজিক উভয়ই প্রয়োজন। সত্যক সারণি-১-এর আউটপুট না থাকায়, এর থেকে প্রাপ্ত গেটের ফাংশন নির্ধারণ করা যায় না, তাই সমন্বিত বর্তনিটির কার্যকারিতা সম্পর্কে নিশ্চিত হওয়া অসম্ভব।

উপসংহারে বলা যায়, উদ্দীপকে প্রদত্ত সত্যক সারণি-১-এর আউটপুট মান না থাকায় এবং সত্যক সারণি-২ এককভাবে একটি 3-ইনপুট AND গেটকে নির্দেশ করায়, এই দুটি সারণি দ্বারা নির্দেশিত লজিক গেটের সমন্বিত বর্তনি দ্বারা সরাসরি বা সম্পূর্ণরূপে বাইনারি যোগের বর্তনি বাস্তবায়ন করা সম্ভব কিনা, তা নিশ্চিতভাবে বলা যায় না। বাইনারি যোগের বর্তনি বাস্তবায়নের জন্য নির্দিষ্ট আউটপুট সহ সুসংজ্ঞায়িত একাধিক লজিক গেটের সমন্বিত সার্কিট অপরিহার্য। প্রদত্ত তথ্য অসম্পূর্ণ হওয়ায় প্রশ্নটির পূর্ণাঙ্গ বিশ্লেষণ অসম্ভব, তবে ডিজিটাল লজিকের ধারণাগত দিক থেকে, বাইনারি যোগের বর্তনি লজিক গেটের মাধ্যমেই বাস্তবায়িত হয়।