Circuits: Multiplexor
	Truth table:			c	x1	x0	z
				0	0	0	0
				0	0	1	1		Select x0
				0	1	0	0
				0	1	1	1
				1	0	0	0
				1	0	1	0		Select x1
				1	1	0	1
				1	1	1	1
	Condensed truth table:
		Only control bits for input				c	z
		Data bits for output				0	x0
						1	x1
	Boolean expression: modified rules for condensed truth table
		For each row with non-zero output,
			(1) construct minterms by ANDing the input minterm with the output
				(which may be a variable),
			(2) then OR the minterms in the usual way
		z = \cx0 + cx1				c == 0: z = x0			c == 1: z = x1