simplify boolean expressions

[compsystems]

Hi BP, Is there a function to simplify boolean expressions?

(-2<x<=3) and (-4<=x<=2) ⇨ -2<x<=2 => (x>-2) and (2>=x)

(-2<x<=3) intersect (-4<=x<=2) ⇨ -2<x<=2

//

(-12<x<3) and (x>=-3) ⇨ -3=<x<3 => (x>=-3) and (3>x)
(-12<x<3) intersect (x>=-3) ⇨ -3=<x<3 => (x>=-3) and (3>x)


//
possible error of interpretation

-3 =< x <3 ⇨ -3=(3>x)