Lesson 7

Problem. Synthesize a circuit of size \(4\) over \(\{\operatorname{NAND}_{2}, \operatorname{INV}_{1}, \operatorname{AND}_{2}, \operatorname{OR}_{2}, \operatorname{XOR}_{2}\}\) computing the zero-test function on a 4-bit value: \[\operatorname{ISZERO}_{4}(x_{3},x_{2},x_{1},x_{0})=z=[(x_{3},x_{2},x_{1},x_{0})=(0,0,0,0)].\]