L'espressione
* (|2*x - 3| - 1)/(|x| - 2) >= 0
è definita se e solo se il denominatore è non nullo, cioè
* |x| - 2 != 0 ≡ x != ± 2
La frazione è zero là dov'è definita e il numeratore è zero, cioè
* (x != ± 2) & (|2*x - 3| = 1) ≡ (x != ± 2) & ((x = 1) oppure (x = 2)) ≡ x = 1
La frazione è positiva là dov'è definita e il numeratore è concorde al denominatore, cioè
* (x != ± 2) & (((|2*x - 3| < 1) & (|x| < 2)) oppure ((|2*x - 3| > 1) & (|x| > 2))) ≡
≡ ((1 < x < 2) & (- 2 < x < 2)) oppure (((x < 1) oppure (x > 2)) & ((x < - 2) oppure (x > 2))) ≡
≡ (1 < x < 2) oppure (x < 1) & ((x < - 2) oppure (x > 2)) oppure (x > 2) & ((x < - 2) oppure (x > 2)) ≡
≡ (1 < x < 2) oppure (x < 1) & (x < - 2) oppure (x > 2) & (x < - 2) oppure (x > 2) & (x > 2) ≡
≡ (1 < x < 2) oppure (x < - 2) oppure (x > 2) ≡
≡ (x < - 2) oppure (x > 1)
Quindi
* (|2*x - 3| - 1)/(|x| - 2) >= 0 ≡
≡ (x = 1) oppure (x < - 2) oppure (x > 1) ≡
≡ (x < - 2) oppure (x >= 1)