Refactor Mux in terms of Nand

Using the following boolean equation for a 2-to-1 multiplexer:

  Z = (A . !S) + (B . S)

c.f. http://en.wikipedia.org/wiki/Multiplexer#Digital_multiplexers