Логічний тип даних

Логічний (булевий) тип даних — примітивний тип даних в інформатиці, що може приймати два можливих значення, що іноді називаються істиною і хибою (також так й ні). Присутній в переважній більшості мов програмування як самостійна сутність або реалізований через числовий тип. Зазвичай за хибу приймають нульове значення, за істину одиницю чи будь-яке інше відмінне від нуля число.

Реалізація

Булів тип даних може бути реалізований з допомогою тільки одного біта, але зазвичай використовується мінімально адресовуваний елемент пам'яті (байт) або машинне слово, як ефективна одиниця роботи з регістрами та оперативною пам'яттю.

Доступні операції

До цього типу даних застосовні наступні операції:

• І (логічне множення) (AND, &, *),
• АБО (логічне додавання) (OR, |, +),
• виключальне АБО (множення з переносом) (xor, NEQV, ^),
• еквівалентність (рівняння) (EQV, =, ==)
• інверсія (NOT, ~, !)
• порівняння (>, <, <=, >=)

Також можуть використовуватися і інші операції алгебри логіки. Більшість мов програмування легко дозволяють використовувати булів тип і в арифметичних операціях, приводячи його до чисельного типу згідно з прийнятим в мові правилам приведення типів. C# є прикладом мови, що не виконує автоматичного приведення.

Застосування

Змінні логічних типів використовуються для виразу результатів логічних операцій.

Всі операції порівняння двох величин, операції входження елемента в множину і перевірка на перетинання множин повертають в якості результату булівський тип.

Використання в С++

 bool b1 = a == b;
 
 bool is_open (File*);
 bool greater (int a, int b) { return a>b; }
 
 bool b2 = 7;
 int i = true;
 
 bool a = true;
 bool b = true;
 bool x = a + b;
 bool y = a | b;

Дивись також

• Булева функція
• Алгебра логіки