simplification using k map - Search