0<=x+y<=1, 0<=x-y<=1
ｘ+ｙ>=0 , x+y<=1 , x-y>=0 , x-y<=1
ｙ>=-x , y<=-x+1 , y<=x , y>=x-1

習ってるなら置換した方が楽だと思う