Уравнение окружности единичного радиуса x²+y²=1.
Точки, лежащие на окружности и вне ее описываются неравенством
x²+y²≥1
Точки, лежащие на границе и внутри квадрата, ограниченного единичными прямыми, удовлетворяют условию
y≥-1 ∧ y≤1 ∧ x≥-1 ∧ y≤1
Совместое выражение запишется так:
y≥-1 ∧ y≤1 ∧ x≥-1 ∧ y≤1 ∧ x²+y²≥1

На языке Паскаль оно пишется почти так же.
(y>=-1) and (y=-1) and (x=1)