1. (в математиці, логіці, інформатиці) Скорочене позначення для булевої алгебри або булевої логіки — формальної системи, що оперує з величинами, які можуть набувати лише двох значень (істина/хиба, так/ні, 1/0), та логічними операціями над ними (наприклад, кон’юнкція, диз’юнкція, заперечення).
2. (в інформатиці) Скорочена назва для булевого типу даних (Boolean) — типу змінної, що може містити одне з двох можливих значень, зазвичай “true” (істина) або “false” (хиба).
3. (рідко, від прізвища) Стосується математика, логіка та філософа Джорджа Буля (George Boole), творця булевої алгебри.