Lesson 2

Problem. Synthesize a circuit of size \(1\) over \(\{\operatorname{NAND}_{2}\}\) computing the inverter function: \[\operatorname{INV}_{1}(x_{1})=z=\overline{x_1}.\]

That is, the result of the circuit should be stored in the variable \(z\).