4 variable k map solver - Search