（a+1)(b+1)(ab+1)+ab
=(ab+a+b+1)(ab+1)+ab
=(ab+1)^2+(a+b)(ab+1)+ab
=(ab+1)^2+a(ab+1)+b(ab+1)+ab
=(ab+1)^2+a(ab+b+1)+b(ab+1)
=(ab+1)(ab+1+b)+a(ab+b+1)
=(ab+b+1)(ab+a+1)