# Exercici 03-1-7

Si a,b són nombres reals, només pot ser cert a<=b  o  b<=a.
Suposarem a<=b i diferents, es a dir, a < b.
Amb això: max{a,b} = b;  min{a,b}=a

assume (a<b);

(1/2)*(a+b+abs(a-b));

(1/2)*(a+b-abs(a-b));