Lesson 2

Problem. Synthesize a circuit of size \(2\) over \(\{\operatorname{NAND}_{2}, \operatorname{INV}_{1}, \operatorname{AND}_{2}, \operatorname{OR}_{2}, \operatorname{XOR}_{2}\}\) computing the half-adder function: \(\operatorname{HADD}_{2}(x_{1}, x_{2}) = (w_{1}, w_{0})\), where \(x_{1} + x_{2} = 2w_{1} + w_{0}\).