表达式4: 0 less than or equal to "f" left parenthesis, "x" plus 5 , "y" , "P" , right parenthesis left brace, StartAbsoluteValue, "x" plus 5 plus "y" , EndAbsoluteValue plus StartAbsoluteValue, "x" plus 5 minus "y" , EndAbsoluteValue less than or equal to 9 , right brace0≤fx+5,y,Px+5+y+x+5−y≤9
4
表达式5: 0 less than or equal to "f" left parenthesis, "x" minus 5 , "y" , "P" minus StartFraction, "s" Over 9 , EndFraction "y" , right parenthesis left brace, StartAbsoluteValue, "x" minus 5 plus "y" , EndAbsoluteValue plus StartAbsoluteValue, "x" minus 5 minus "y" , EndAbsoluteValue less than or equal to 9 , right brace0≤fx−5,y,P−s9yx−5+y+x−5−y≤9
5
表达式6: StartAbsoluteValue, StartAbsoluteValue, "x" , EndAbsoluteValue minus 5 plus "y" , EndAbsoluteValue plus StartAbsoluteValue, StartAbsoluteValue, "x" , EndAbsoluteValue minus 5 minus "y" , EndAbsoluteValue greater than or equal to left bracket, 9 , 9 , 9 , 9 , 9 , right bracketx−5+y+x−5−y≥9,9,9,9,9
