Implement Mux in terms of Nand