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})=z=x_{1} \lor x_{2}.\]