boolean function implementation using multiplexer