(xy+1)(x+1)(y+1)+xy
=(xy+1)(xy+1+x+y)+xy
=(xy+1)(xy+x+1)+y(xy+1)+xy
=(xy+1)(xy+x+1)+y(xy+1+x)
=(xy+x+1)(xy+y+1)