problema de minims y maxims

Si x < min{1,y} ==> ( x < 1 & x < y )
x < 1 or x < y [< 1
x < y or x < 1 [< y


Si ( x < 1 & x < y ) ==> x < max{1,y}
( x < 1 & x < y ) & ( 1 [< y or y < 1 ) )
x < max{1,y}


Si x > max{(-1),y} ==> ( x > (-1) & x > y )
x > (-1) or x > y >] (-1)
x > y or x > (-1) >] y


Si ( x > (-1) & x > y ) ==> x > min{(-1),y}
( x > (-1) & x > y ) & ( (-1) >] y or y > (-1) ) )
x > min{(-1),y}