Boolean Circuits · NAND Game: Arithmetic and Switching

Lesson 11

Nikolai Chukhin · Alexander S. Kulikov

Problem. Synthesize a circuit of size \(3\) over \(\{\operatorname{NAND}_{2}, \operatorname{INV}_{1}, \operatorname{AND}_{2}, \operatorname{OR}_{2}, \operatorname{XOR}_{2}\}\) computing the switch function: \(\operatorname{SWITCH}(s,d) = (c_{1},c_{0}) = (s \land d,\overline{s}\land d)\).