Логический тип данных в Паскале

Логический тип – это простой стандартный порядковый тип, предназначенный для хранения логической переменной, которая принимает одно из значений:
True (истина) или False (ложь).
Переменные логического типа описываются посредством идентификатора Boolean.
Var
Flag,t,p,q : Boolean;
Для хранения логической переменной отводится один байт памяти.
Внутреннее представление значения false - 0 (нуль), значения true - 1.

Логические (булевские) операции

ТАБЛИЦА ИСТИННОСТИ ДЛЯ ЛОГИЧЕСКИХ ОПЕРАЦИЙ

Приоритет операций:
Действия в скобках
NOT
AND, умножение (*), div, mod, деление (/)
OR, XOR, сложение (+), вычитание (-)
<, >, = , <>, <=, >=
Например:
A or B and not (A or B)

Определены следующие функции:

Логический тип определен таким образом, что FALSE < TRUE.
Это позволяет применять к булевским операндам все операции отношения.
Величины логического типа можно выводить процедурой WRITE, но нельзя вводить процедурой READ.

ПРИМЕР: ИЗВЕСТНЫ КООРДИНАТЫ ТОЧКИ.
ОПРЕДЕЛИТЬ, ПРИНАДЛЕЖИТ ЛИ ОНА ЗАШТРИХОВАННОЙ ОБЛАСТИ.
Уравнение окружности:
(x-x0)2+(y-y0)2 = R2
Окружность1:
x2+y2 = 4
Окружность2:
(x-2)2+(y-2)2 = 4
Парабола:
Y = 1,5x2 - 6