5 variable k map solver - Search