Avaldis 13: "x" equals 1 left brace, 0 less than or equal to "y" less than or equal to 1 minus StartFraction, 1 Over 2 left parenthesis, 1 minus "a" , right parenthesis , EndFraction , right bracex=10≤y≤1−121−a
13
Avaldis 14: "y" equals 0 left brace, 1 greater than or equal to "x" greater than or equal to 1 half minus "a" , right bracey=01≥x≥12−a
14
1: "A" equals left parenthesis, 1 , 1 , right parenthesisA=1,1
Nimetus:
15
2: "B" equals left parenthesis, 1 , 0 , right parenthesisB=1,0
Nimetus:
16
3: "C" equals left parenthesis, 0 , 0 , right parenthesisC=0,0
Nimetus:
17
0: "D" equals left parenthesis, 0 , 1 , right parenthesisD=0,1
