Булев тип (Boolean)
Логический тип данных с двумя возможными значениями: истина (true) или ложь (false).
Булев тип (boolean) представляет собой основу логики в программировании. Он назван в честь Джорджа Буля, создателя булевой алгебры.
Использование:
- Условные конструкции: if (user.isLoggedIn)
- Циклы: while (isRunning)
- Логические операции: AND (и), OR (или), NOT (не).
В некоторых языках (например, C) true может быть представлено как 1, а false как 0.
graph LR
Center["Булев тип (Boolean)"]:::main
Rel_data_type["data-type"]:::related -.-> Center
click Rel_data_type "/terms/data-type"
classDef main fill:#7c3aed,stroke:#8b5cf6,stroke-width:2px,color:white,font-weight:bold,rx:5,ry:5;
classDef pre fill:#0f172a,stroke:#3b82f6,color:#94a3b8,rx:5,ry:5;
classDef child fill:#0f172a,stroke:#10b981,color:#94a3b8,rx:5,ry:5;
classDef related fill:#0f172a,stroke:#8b5cf6,stroke-dasharray: 5 5,color:#94a3b8,rx:5,ry:5;
linkStyle default stroke:#4b5563,stroke-width:2px;
🧒 Простыми словами
Это как выключатель света: он может быть либо ВКЛ (истина), либо ВЫКЛ (ложь). Никаких «может быть» или «наверное». На вопрос «Ты спишь?» можно ответить только Да или Нет.
🤓 Expert Deep Dive
Булева логика лежит в основе работы всех компьютерных процессоров (логические вентили). Short-circuit evaluation (ленивые вычисления) позволяет не вычислять второй аргумент в A && B, если A уже ложно. Законы Де Моргана помогают упрощать сложные логические выражения. Проблема выполнимости булевых формул (SAT) — первая известная NP-полная задача.