Circuits: Multiplexor

Abstract behavior:

Output is the data bit which has the same subscript as the control bit value.

c = 0 selects x0

c = 1 selects x1