Над переменными логического типа можно производить логические операции. В языке программирования Pascal существуют следующие логические операции : And – логическое умножение, Or – логическое сложение, Not – логическое отрицание, Xor – исключающее или.

program number18;
uses crt;
var X:integer;
BOL, MEN, REZ: boolean;
begin
clrscr;
X:=4;
BOL:=X>3;
MEN:=X<3;
writeln ('BOL=',BOL);
writeln ('MEN=',MEN);
REZ:=BOL and MEN;
writeln ('BOL and MEN = ',REZ);
REZ:=BOL or MEN;
writeln ('BOL or MEN = ',REZ);
REZ:=not BOL;
writeln ('not BOL = ',REZ);
REZ:=BOL xor MEN;
writeln ('BOL xor MEN = ',REZ);
readln
end.

Строка №8. Переменной «BOL» присваиваем значение «X>3», и оно будет истиной т.к. 4>3.

Строка №9. Переменной «MEN» присваиваем значение «X<3», и  оно будет ложью т.к. 4 не меньше 3.

В строке №10 выводим сообщение на экран. У нас выведется TRUE.

В строке №11 выводим сообщение на экран. У нас выведется FALSE.

Строка №12. Переменной «REZ» мы присваиваем переменные «BOL» и «MEN». Между этими переменными стоит «and» (и). Это операция, которая называется логическое умножение (конъюнкция). Согласно законам булевской алгебры, комбинация 2-х логических переменных, связанных между собой союзом «and» (и) является истиной только в том случае, если обе переменные истинны. В нашем случае переменная «BOL» – истина, а переменная «MEN» – ложь, значит общий результат «REZ:=BOL and MEN» будет ложным.

Строка №14. Переменной «REZ» мы присваиваем переменные «BOL» и «MEN». Между этими переменными стоит «or» (или). Это операция, которая называется логическое сложение (дизъюнкция). Согласно законам булевской алгебры, комбинация 2-х логических переменных, связанных между собой союзом «or» (или) является ложным только в том случае, если обе переменные ложны. В нашем случае переменная «MEN» – ложь, а переменная «BOL» – истина, значит общий результат «REZ:=BOL or MEN» будет истинным.

Строка №16. Переменной «REZ» мы присваиваем переменную «BOL». Перед ней стоит «not» (не). Это операция, которая называется логическое отрицание (инверсия). Согласно законам булевской алгебры, результат операции будет противоположен той переменной, над которой эта операция производится. В нашем случае переменная «BOL» – истина, значит «REZ:=not BOL» будет ложным.

Строка №18. Переменной «REZ» мы присваиваем переменные «BOL» и «MEN». Между этими переменными стоит «xor» (либо). Это операция, которая называется исключающее или. Согласно законам булевской алгебры, комбинация 2-х логических переменных, связанных между собой союзом «xor» (либо) является истинным только в том случае, если обе переменные разные (т.е. одна истинна, другая ложна). В нашем случае переменная «MEN» – ложь, а переменная «BOL» – истина. Они разные, значит общий результат «REZ:=BOL xor MEN» будет истинным.