Lesson 2

Problem. Synthesize a circuit of size \(1\) over \(\{\operatorname{NAND}_{2}\}\) computing the inverter function: \(\operatorname{INV}_{1}(x_{1})=\overline{x_1}\). (Here and it what follows, we will frequently use subscripts to indicate the arity of the corresponding function. Note that these subscripts are not specified when you submit your circuit.)