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}\).

In these first problems, subscripts indicate the arity of the corresponding one-bit function. Note that these subscripts are not specified when you submit your circuit.