[Risolto] Aiuto

Il sistema si risolve rammentando che:
1) la frazione è definita se e solo se ha denominatore non zero e, in tal caso, il suo segno è lo stesso del ptodotto fra i suoi termini;
2) il trinomio quadratico monico è negativo fra gli zeri e positivo al loro esterno;
3) la congiunzione è distributiva rispetto alla disgiunzione.
---------------
* (x^2 - 6*x + 8 <= 0) & ((x - 2)/(x + 3) > 0) ≡
≡ ((x - 2)*(x - 4) <= 0) & ((x + 3)*(x - 2) > 0) & (x != - 3) ≡
≡ (2 <= x <= 4) & ((x < - 3) oppure (x > 2)) & (x != - 3) ≡
≡ ((x < - 3) oppure (x > 2)) & (2 <= x <= 4) & (x != - 3) ≡
≡ (x < - 3) & (2 <= x <= 4) & (x != - 3) oppure (x > 2) & (2 <= x <= 4) & (x != - 3) ≡
≡ (insieme vuoto) oppure (2 < x <= 4) ≡
≡ 2 < x <= 4