Boolean Circuits · NAND Game: Logic Gates
Lesson 3
Problem. Synthesize a circuit of size \(2\) over \(\{\operatorname{NAND}_{2}, \operatorname{INV}_{1}\}\) computing the conjunction of two bits: \(\operatorname{AND}_{2}(x_{1}, x_{2}) = x_{1} \land x_{2}\).
10 points