WolframAlpha computational knowledge AI
x*(1-y)*y+x*y+(1-x)*y*y>.5, 1>x>0, 1>y>0