Circuits: Multiplexor
Implementation with gates:
Inputs: A = x0, B = x1
Control: S = c
Output: C = z
C = \SA + SB (Fig. B.04)