Полное руководство. С# 4.0

Операнды логических операторов должны относиться к типу 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

Как следует из приведенной выше таблицы, результатом выполнения логической операции исключающее ИЛИ будет истинное значение (true), если один и только один ее операнд имеет значение true.

Ниже приведен пример программы, демонстрирующий применение нескольких операторов отношения и логических операторов. // Продемонстрировать применение операторов // отношения и логических операторов. using System; class RelLogOps { static void Main { int i, j; bool b1, b2; i = 10; j = 11; if(i < j) Console.WriteLine("i < j"); if(i <= j) Console.WriteLine("i <= j"); if(i != j) Console.WriteLine("i != j"); if(i == j) Console.WriteLine("Нельзя выполнить"); if(i >= j) Console.WriteLine("Нельзя выполнить"); if(i > j) Console.WriteLine("Нельзя выполнить"); b1 = truer b2 = false; if(b1 & b2) Console.WriteLine("Нельзя выполнить"); if(!(b1 & b2)) Console.WriteLine("!(b1 & b2) — true"); if(b1 | b2) Console.WriteLine("b1 | b2 - true"); if(b1 ^ b2) Console.WriteLine("bl ^ b2 — true"); } }

Выполнение этой программы дает следующий результат. i < j i <= j i != j !(b1 & b2) — true b1 | b2 — true b1 ^ b2 — true

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

Результат импликации p и q true true true true false false false false true false true true

Операция импликации может быть построена на основе комбинации логических операторов ! и |, как в приведенной ниже строке кода. !р | q

В следующем примере программы демонстрируется подобная реализация опера ции импликации. // Построение операции импликации в С#. using System; class Implication { static void Main { bool p=false, q=false; int i, j; for(i = 0; i < 2; i++) { for(j = 0; j < 2; j++) { if(i==0) p = true; if(i==1) p = false; if(j==0) q = true; if(j==1) q = false; Console.WriteLine("p равно " + p + ", q равно " + q); if(!p | q) Console.WriteLine("Результат импликации " + p + " и " + q + " равен " + true); Console.WriteLine; } } } }

Результат выполнения этой программы выглядит так. р равно True, q равно True Результат импликации True и True равен True р равно True, q равно False р равно False, q равно False Результат импликации False и True равен True р равно False, q равно False Результат импликации False и False равен True Укороченные логические операторы

В C# предусмотрены также специальные, укороченные, варианты логических опера торов И и ИЛИ, предназначенные для получения более эффективного кода. Поясним это на следующих примерах логических операций. Если первый операнд логической операции И имеет ложное значение (false), то ее результат будет иметь ложное зна чение независимо от значения второго операнда. Если же первый операнд логической операции ИЛИ имеет истинное значение (true), то ее результат будет иметь истинное значение независимо от значения второго операнда. Благодаря тому что значение вто рого операнда в этих операциях вычислять не нужно, экономится время и повышается эффективность кода.

Укороченная логическая операция И выполняется с помощью оператора &&, а уко роченная логическая операция ИЛИ — с помощью оператора ||. Этим укороченным логическим операторам соответствуют обычные логические операторы & и |. Един ственное отличие укороченного логического оператора от обычного заключается в том, что второй его операнд вычисляется только по мере необходимости.