# Exercici 03-1-8

## a)

assume(x<-3);
is(abs(x-1)+abs(x+3)=4);

forget(x<-3)$
assume(x>=-3, x<=1);
is(abs(x-1)+abs(x+3)=4);

forget(x>=-3, x<=1)$
assume(x>1);
is(abs(x-1)+abs(x+3)=4);

Per tant, l'interval que correspon a la condició donada és: [-3,1]

## b)

kill(all)$

assume(x<-5);
is(abs(x+5)+abs(x-1)=6);

forget(x<-5)$
assume(x>=-5, x<=1);
is(abs(x+5)+abs(x-1)=6);

forget(x>=-5, x<=1)$
assume(x>1);
is(abs(x+5)+abs(x-1)=6);

Per tant, l'interval que correspon a la condició donada és: [-5,1]

## c)

kill(all)$
assume(x<1);
is(abs(x-1)+abs(x-2)=1);

forget(x<1)$
assume(x>=1, x<=2);
is(abs(x-1)+abs(x-2)=1);

forget(x>=1, x<=2)$
assume(x>2);
is(abs(x-1)+abs(x-2)=1);

Per tant, l'interval que correspon a la condició donada és: [1,2]

## d)

kill(all)$
assume(x<-5);
is(abs(x+5)+abs(x)=5);

forget(x<-5)$
assume(x>=-5, x<=0);
is(abs(x+5)+abs(x)=5);

forget(x>=-5, x<=0)$
assume(x>0);
is(abs(x+5)+abs(x)=5);

Per tant, l'interval que correspon a la condició donada és: [-5,0]