এখানে চারটি গেইটই NAND গেইট। পূরক (NOT) বোঝাতে ′ চিহ্ন ব্যবহার করা হলো।
প্রথম গেইটের আউটপুট,
Y1 = (A·B)′
দ্বিতীয় ও তৃতীয় গেইটের আউটপুট,
Y2 = (A·Y1)′
Y3 = (B·Y1)′
শেষ গেইটের আউটপুট,
Q = (Y2·Y3)′
= Y2′ + Y3′ [ডি মরগানের উপপাদ্য]
= A·Y1 + B·Y1
= (A + B)·(A·B)′
= (A + B)·(A′ + B′)
= A·A′ + A·B′ + A′·B + B·B′
= A·B′ + A′·B [∵ A·A′ = B·B′ = 0]
∴ Q = A ⊕ B
সত্যক সারণি:
| A | B | Y1 | Y2 | Y3 | Q |
| 0 | 0 | 1 | 1 | 1 | 0 |
| 0 | 1 | 1 | 1 | 0 | 1 |
| 1 | 0 | 1 | 0 | 1 | 1 |
| 1 | 1 | 0 | 1 | 1 | 0 |
অর্থাৎ ইনপুট দুটি ভিন্ন হলে আউটপুট 1 এবং একই হলে আউটপুট 0; বর্তনীটি XOR গেইট হিসেবে কাজ করে।
উত্তর: Q = A ⊕ B (XOR গেইট); সত্যক সারণি উপরে দেখানো হলো।