"x>0 і y>0 або x<0 і y<0"
x = 5
y = -8

(xgt;0) ∧ (ygt;0) ∨ (xlt;0) ∧ (ylt;0) = (5gt;0) ∧ (-8gt;0) ∨ (5lt;0) ∧ (-8lt;0) =
(1 ∧ 0) ∨ (0 ∧ 1) = 0 ∨ 0 = 0
Выражение ложно.