simplification of k map - Search