5.4. Логічні операції.

Логічні операції виконуються над операндами логічного (булівського) типу та визначають результат логічного типу. Логічні операції мають дві форми: звичайну та скорочену. Розглянемо спочатку набір звичайних логічних операцій: (&) – логічне множення або логічне «І», (|) – логічне додавання або логічне «АБО», (^) – логічне виключне «АБО», (!) – логічне заперечення «НІ». Значення логічних операцій наведені нижче у таблиці для різних значень операндів (op1 та op2).

op1	op2	op1 & op2	op1 | op2	op1 ^ op2	!op1
true	true	true	true	false	false
true	false	false	true	true	false
false	true	false	true	true	true
false	false	false	false	false	true

Крім того, логічні множення та додавання мають ще скорочені форми, які позначаються знаками && та || відповідно. Ідея їх використання пов’язана з прискоренням логічних обчислень – обчислення логічного виразу, складеного із скорочених логічних операцій припиняється, якщо його значення стає визначеним. Наступний приклад демонструє різницю у використанні повної та скороченої форм логічних операцій.

using System;

namespace Logic_Operator

{

class Program

{

static void Main()

{

int i = 10, k = 100;

if (!(k > 10) && (++i < 100)) // Тут i не зміниться

// Цей оператор не виконується

Console.WriteLine(

"Скорочена форма &&: тут i не зміниться" );

Console.WriteLine("i = " + i.ToString());

i = 10; // Відновлюємо i

if (!(k > 10) & (++i < 100)) // Тут i зміниться

// Цей оператор не виконується

Console.WriteLine("Звичайна форма &: тут i зміниться");

Console.WriteLine("i = " + i.ToString());

}

}

}

5.5. Порозрядні (бітові) операції.

Порозрядні операції виконуються над відповідними бітами внутрішнього подання лише цілих операндів. Результатом виконання є ціле відповідного операндам типу. Таких операцій є 6 : (&) – порозрядне «І», тобто кон’юнкція бітів, (|) – порозрядне «АБО»,тобто диз’юнкція бітів, (^) – порозрядне виключне «АБО», (>>) – порозрядний зсув праворуч, (<<) – порозрядний зсув ліворуч, (~) – порозрядне заперечення. Всі операції, крім останньої, є бінарними. Слід зауважити, що при зсуві ліворуч (<<) на вказану правим операндом кількість позицій внутрішнє подання лівого операнду просто зсувається ліворуч, а позиції, що вивільняються, заповнюються нулями. При зсуві праворуч (>>) позиції, що вивільняються ліворуч, заповнюються нулями для беззнакового операнду, якщо ж зсув виконується для знакового операнду, то на вільні ліві позиції розповсюджується знаковий розряд, тобто для від’ємного числа вільні позиції ліворуч заповняться одиницями. Це обов’язково слід враховувати. У наведеній нижче таблиці вказані результати бітових операцій для різних значень операндів (op1 та op2).

op1	op2	op1 & op2	op1 | op2	op1 ^ op2	~op1
1	1	1	1	0	0
1	0	0	1	1	0
0	1	0	1	1	1
0	0	0	0	0	1

Наступний приклад демонструє можливості операцій над бітами.

using System;

namespace Bits_Operators

{

class Program

{

static void Main()

{

int x = 5, y = 6, z;

z = x & y; // Логічне множення "I"

Console.WriteLine("x = {0} y = {1} x & y = {2}",x,y,z);

z = x | y; // Логічне додавання "АБО"

Console.WriteLine("x = {0} y = {1} x | y = {2}",x,y,z);

z = x ^ y; // Логічне виключне "АБО"

Console.WriteLine("x = {0} y = {1} x ^ y = {2}",x,y,z);

z = x << 1; // Зсув на 1 позицію ліворуч

Console.WriteLine("x = {0} x << 1 = {1}", x, z);

z = x >> 1; // Зсув на 1 позицію праворуч

Console.WriteLine("x = {0} x >> 1 = {1}", x, z);

z = ~y; // Логічне заперечення "НІ"

Console.WriteLine("y = {0} ~y = {1}", y, z);

z = y | 0X7; // Встановлюємо одиниці в останні 3 розряди

Console.WriteLine("y = {0} y|0X7 = {1}", y, z);

z = x & ~0X7; // Встановлюємо нулі в останні 3 розряди

Console.WriteLine("x = {0} x&~0X7 = {1}", x, z);

}

}

}

Виконання цієї програми приведе до наступних результатів:

x = 5 y = 6 x & y = 4

x = 5 y = 6 x | y = 7

x = 5 y = 6 x ^ y = 3

x = 5 x << 1 = 10

x = 5 x >> 1 = 2

y = 6 ~y = -7