implementation of Boolean function with 4 to 1 mux