```
o1 = x' + y' = (x . y)' [ডি-মরগ্যানের উপপাদ্য]
o2 = x' + y = (x' + y)'' = (x'' . y')' = (x . y')'
o3 = x + y' = (x' . y)' [একই ভাবে ডাবল বার যুক্ত করে ডি-মরগ্যান করলে এটা আসবে]
o4 = x + y = (x' . y')' [একই ভাবে ডাবল বার যুক্ত করে ডি-মরগ্যান করলে এটা আসবে]
```
এখন উপরের লজিক ফাংশন গুলো `NAND` গেইট এবং `NOT` গেইট দিয়ে বাস্তবায়ন করা যাবে।
এটি করা যাবে যদি আমরা ডিকোডারের আউটপুট গুলো ইনভার্স করে দেই। যেমন নিচে **2 to 4 ইনভার্স ডিকোডার** এর সত্যাক সারণি দেওয়া হলঃ
|x|y|o1|o2|o3|o4|
|-|-|--|--|--|--|
|0|0| 0| 1| 1| 1|
|0|1| 1| 0| 1| 1|
|1|0| 1| 1| 0| 1|
|1|1| 1| 1| 1| 0|
তো এখন আউটপুট বৃলিয়ান ফাংশন গুলো হবেঃ
```
o1 = x' + y' = (x . y)' [ডি-মরগ্যানের উপপাদ্য]
o2 = x' + y = (x' + y)'' = (x'' . y')' = (x . y')'
o3 = x + y' = (x' . y)' [একই ভাবে ডাবল বার যুক্ত করে ডি-মরগ্যান করলে এটা আসবে]
o4 = x + y = (x' . y')' [একই ভাবে ডাবল বার যুক্ত করে ডি-মরগ্যান করলে এটা আসবে]
```
এখন উপরের লজিক ফাংশন গুলো `NAND` গেইট এবং `NOT` গেইট দিয়ে বাস্তবায়ন করা যাবে।