Lesson 4

Problem. Synthesize a circuit of size \(3\) over \(\{\operatorname{NAND}_{2}, \operatorname{INV}_{1}, \operatorname{AND}_{2}\}\) computing the disjunction of two bits: \(\operatorname{OR}_{2}(x_{1}, x_{2}) = x_{1} \lor x_{2}\).