2. Логические типы данных и операции с ними.

Следующий тип простых значений – это логические или булевы значения. Значения эти называются “истина” и “ложь”. Они служат для того, чтобы зафиксировать один из двух возможных ответов на некоторый вопрос, один из двух возможных исходов некоторой проверки , одно из двух состояний некоторого объекта.

Логические значения “истина” и “ложь” изображаются обычно английскими словами true и false, записанными строчными или прописными буквами, либо цифрами 1 и 0.

Имеются три основные логические операции: отрицание, конъюнкция (логическое умножение), и дизъюнкция (логическое сложение). Операция отрицание обозначается в математической логике значком  и читается как частица НЕ. Это одноместная операция. Например,  (x = y) читается «не (х равно у)». В результате получится истина, если Х не

равно у и ложь если х равно у. Операция конъюнкции обозначается значком & ( либо ) и читается как частица И. Например, (x>0) & (x<1 ) читается « х больше ) и меньше 1». Данная логическая формула примет значение истина, если х  (0,1), и ложь в противном случае. Следовательно, результат конъюнкции – истина, если истинны оба оператора.

Знак операции дизъюнкция  читается как частица ИЛИ . Например, (х =0) ( х =1) читается « х равно 0 или 1». Формула дает истину, если х – двоичная цифра (0 или 1).Следовательно дизъюнкция дает в результате истину, если хотя бы один операнд – истина.

Кроме величин констант и переменных) типа boolean логические значения false и true принимают результаты операций отношения: =(равно), <> (не равно), > (больше), < (меньше), >= (больше или равно), < =(меньше или равно), ( в Visual Basic имеется операция «Похожая». Которая обозначается Lake, например, a Lake b

Логические операции выполняются над операндами булева типа. Они дают нам возможность выполнить два или более сравнений, чтобы создать составное условие.

Логические операторы представлены в таблице 6.3..

Таблица 6.3.

Название	Обозначение	Использование	Приоритет
НЕ	Not	Not a	6
И	And	a And b	5
ИЛИ	Or	a Or b	4
Исключающее ИЛИ	Xor	a Xo b	3
Эквивалентность	Eqv	a Eqv b	2
Включение	Imp	a Imp b	1

Так как три первых оператора хорошо известны, то приведем содержание остальных трех.

Оператор Xor тесно связан с Or, но имеет важное отличие. Если оба операнда имеют значение True, то Xor дает False.

Оператор Eqv просто проверяет будут ли оба операнда различными. В этом смысле оператор Eqv является противоположным оператору Xor, потому, что проверяет будут ли оба операнда одинаковы.

Оператор Imp проверяет включает ли первое условие второе, Первое условие всегда включает второе, за исключением случая когда первое есть True, а второе - False

Результаты логических операций для различных значений операндов приведены в таблице 6.4..

Таблица 6.4..

Результаты логических операций для различных значений операндов

A	B	Not A	A And B	A Or B	A Xor B	A Eqv B	A Imp B
T	T	F	T	T	F	T	T
T	F	F	F	T	T	F	F
F	F	T	F	F	F	T	T
F	T	T	F	T	T	F	T