4.2 Булевi вирази
з будь-яким значенням є хибне значення). В iншому випадку, другий аргумент обчислюється i його значення стає значенням операцiï. Аналогiчно, якщо перший аргумент операцiï || має значення true, то другий не обчислюється, а результатом операцiï є true. Iнакше, обчислюється другий аргумент i його значення стає значенням операцiï. Через зазначену особливiсть у наведеному нижче умовному операторi не буде вiдбуватися спроба дiлення на нуль, якщо змiнна x( цiлого типу) має значення нуль:
if( x!= 0 && y / x > 1) { }
В той же час, виконання наведеного нижче оператору призведе до спроба дiлення на нуль( помилки пiд час виконання програми), якщо змiнна x( цiлого типу) має значення нуль:
if( y / x > 1 && x!= 0) { }
Таким чином, в загальному випадку операцiï && та || в мовi C # не можна вважати комутативними на вiдмiну вiд математичних операцiй кон’ юнкцiï та диз’ юнкцiï. Проте ïх можна вважати комутативним, якщо вони застосовуються до змiнних типу bool, а не до складних виразiв. Наприклад, якщо визначеннi булевi змiннi:
bool b1 = true; bool b2 = false;
то значення виразiв b1 && b2 i b2 && b1 визначенi i однаковi. У текстi програми операцiя && має бiльш високий прiоритет, нiж
||, а операцiя заперечення! має бiльш високий прiоритет, нiж &&. Це дозволяє записувати булевi вирази, не використовуючи зайвих дужок. Iнодi виникає необхiднiсть створювати програми, якi працють з великою або наперед невiдомою кiлькiстю булевих змiнних. В таких випадках можна скористатись масивом булевих змiнних.
Розглянемо фрагмент програми на мовi C # яка перебирає усi комбiнацiï значень n булевих змiнних, що елементами масиву( який можна використати при формуваннi таблицi iстинностi деякоï булевоï функцiï n змiнних):
using System; class Program { static void Main( string [] args) { int n = 3; // визначимо масив з n булевих змiнних // зауважимо, що спочатку усi x [ i ] матимуть значення false bool [] x = new bool [ n ]; // перебiр усiх 2 N комбiнацiй значень елементiв масиву x while( true) {
61