Булевский тип. Логические операции, логические функции. (пример программ по вычислению булевского выражения).

Булевский (логический) тип

Для работы с формулами алгебры логики в Паскале введен булевский тип (boolean).
Объявление переменных:

VAR a, b: boolean;

Переменные булевского типа а и b могут принимать только два значения true или false, которые являются константами этого типа, причем false < true.
Над булевскими значениями определены следующие операции:

1. and - логическое умножение;
2. or - логическое сложение;
3. not - отрицание;
4. хоr - логическое исключающее "или".

Их результат определяется следующим образом:

not А имеет значение противоположное значению А.
Стандартной булевской функцией является Odd(x), проверяющая число х на четность.

Например, Qdd(9) = true, Odd(6) = false.
Булевский результат имеют все операции сравнения: = (равно), < > (не равно), < (меньше), <= (меньше или равно), > (больше), >= (больше или равно).