Qualcuno mi può aiutare a risolverlo

Il sistema
* (2/x + 6/(x*y - 2*x) = 4/(x - 2)) & (1/(x*y) = 2/x - 2/(x + 1))
è indefinito per ogni valore delle variabili che annulli un denominatore
* (x = 0) ∨ (x*y - 2*x = 0) ∨ (x - 2 = 0) ∨ (x*y = 0) ∨ (x = 0) ∨ (x + 1 = 0) ≡
≡ (x ∈ {- 1, 0, 2}) ∨ (y ∈ {0, 2})
---------------
Esclusi tali valori sono lecite le seguenti equivalenze dove risparmio di trascrivere, salvo cle alla fine, la clausola restrittiva "... & (x ∉ {- 1, 0, 2}) & (y ∉ {0, 2})".
* (2/x + 6/(x*y - 2*x) = 4/(x - 2)) & (1/(x*y) = 2/x - 2/(x + 1)) ≡
≡ (2/x + 6/(x*y - 2*x) - 4/(x - 2) = 0) & (2/x - 2/(x + 1) - 1/(x*y) = 0) ≡
≡ (- 2*(x*y - 5*x + 2*y + 2)/((x - 2)*x*(y - 2)) = 0) & (- (x - 2*y + 1)/(x*(x + 1)*y) = 0) ≡
≡ (x*y - 5*x + 2*y + 2 = 0) & (x - 2*y + 1 = 0) ≡
≡ (y = (x + 1)/2) & (x*(x + 1)/2 - 5*x + 2*(x + 1)/2 + 2 = 0) ≡
≡ (y = (x + 1)/2) & ((x^2 - 7*x + 6)/2 = 0) ≡
≡ ((x^2 - 7*x + 6)/2 = 0) & (y = (x + 1)/2) ≡
≡ ((x - 1)*(x - 6) = 0) & (y = (x + 1)/2) ≡
≡ (P(1, 1) ∨ Q(6, 7/2)) & (x ∉ {- 1, 0, 2}) & (y ∉ {0, 2}) ≡
≡ P(1, 1) ∨ Q(6, 7/2)