Si deve avere presente che eliminare un modulo vuol dire sdoppiare la dis/equazione che lo conteneva in due altre di cui l'originale rappresentava o l'unione o l'intersezione.
1) |a| <= b ≡ (- b <= a <= b) ≡ (- b <= a) & (a <= b)
2) |a| = b ≡ (a = ± b) ≡ (a = - b) oppure (a = + b)
3) |a| >= b ≡ (a <= - b) oppure (b <= a)
e analoghe per le diseguaglianze strette.
-----------------------------
* | 3*x - |2 - x| | <= 2 ≡
≡ - 2 <= 3*x - |2 - x| <= 2
Isolando il valore assoluto rimasto, e poi applicando 1 e 3, si ha
* 3*x - 2 <= |2 - x| <= 3*x + 2 ≡
≡ (|2 - x| <= 3*x + 2) & (|2 - x| >= 3*x - 2) ≡
≡ ((- (3*x + 2) <= 2 - x) & (2 - x <= 3*x + 2)) & ((2 - x <= - (3*x - 2)) oppure (3*x - 2 <= 2 - x)) ≡
≡ (x >= - 2) & (x >= 0) & ((x <= 0) oppure (x <= 1)) ≡
≡ (x >= 0) & (x <= 0) oppure (x >= 0) & (x <= 1) ≡
≡ (x = 0) oppure (0 <= x <= 1) ≡
≡ 0 <= x <= 1