Значеннями логічного типу boolean у PASCAL та bool у С++ може бути одна з попередньо оголошених констант false (неправда) або true (істина). Логічні змінні використовуються для виразу результатів логічних операцій. Наприклад, у С++ може бути такий оператор: bool bl = a = b;
Дані логічного типу займають один байт пам'яті. При цьому значенню false відповідає нульове значення байта, а значенню true відповідає будь-яке ненульове значення байта.
Наприклад: false завжди в машинному представленні: 00000000;
true може виглядати так: 00000001 чи 00010001 чи 10000000.
Однак варто мати на увазі, що при виконанні операції присвоювання змінній логічного типу значення true, у відповідне поле пам'яті завжди записується код 00000001.
Над логічними типами можливі операції булевої алгебри – НI (not), АБО (or), ТА (and), виключне АБО (xor) – остання реалізована для логічного типу не у всіх мовах. У цих операціях операнди логічного типу розглядаються як єдине ціле – поза залежністю від бітового складу їхнього внутрішнього представлення. Необхідно відзначити, що результати логічного типу одержуються при порівнянні даних будь-яких типів.