Операторы логические

Операторы отношений оценивают по “двухбальной системе” (ИСТИНА/ЛОЖЬ) отношения между двумя значениями, а логические определяют различные способы сочетания истинных и ложных значений. Поскольку операторы отношений генерируют ИСТИНА/ЛОЖЬ - результаты, то они часто выполняются с логическими операторами.

Логические операторы:

&- И

| -ИЛИ

^ -Исключающее ИЛИ

&& -Сокращенное И

|| -Сокращенное ИЛИ

! -НЕ

 

Результат выполнения операторов отношений и логических операторов имеет тип bool.

В C# на равенство или неравенство можно сравнивать (соответственно, с помощью операторов == и!=) все объекты. Но такие операторы сравнения, как <, >, <= или >=, можно применять только к типам, которые поддерживают отношения упорядочения. Все операторы отношений можно применять ко всем числовым типам. Однако значения типа bool можно сравнивать только на равенство или неравенство, поскольку значения true и false не упорядочиваются. Например, в C# сравнение true > false не имеет смысла.

Что касается логических операторов, то их операнды должны иметь тип bool, и результат логической операции всегда будет иметь тип bool. Логические операторы &, |, ^ и! выполняют базовые логические операции И, ИЛИ, исключающее ИЛИ и НЕ в соответствии со следующей таблицей истинности.

p q p & q p | q p ^ q!p

false false false false false true

true false false true true false

false true false true true true

true true true true false false

 

Как видно из этой таблицы, операция “исключающее ИЛИ” сгенерирует результат ИСТИНА лишь в случае, если истинен только один из ее операндов. Рассмотрим программу, которая демонстрирует использование операторов отношений совместно с логическими операторами.

// Демонстрация использования операторов отношений

// и логических операторов.

C# поддерживает набор логических операторов, на базе которых можно построить любую другую логическую операцию, например операцию импликации. Импликация — это логическая операция, результат которой будет ложным только в случае, когда левый операнд имеет значение ИСТИНА, а правый — ЛОЖЬ. (Операция импликации отражает идею о том, что истина не может подразумевать ложь.)