simplify boolean expressions

Messages in english

Modérateur : xcasadmin

compsystems
Messages : 519
Inscription : sam. févr. 04, 2017 11:34 pm
Localisation : Colombia
Contact :

simplify boolean expressions

Message par compsystems » dim. oct. 21, 2018 1:51 am

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)

Répondre