Логический тип данных (булев тип, Boolean) связан с булевой алгеброй, так как название типа происходит от раздела математики, названного в честь математика Джорджа Буля — булевой алгебры. 15

Логический тип данных — примитивный тип данных в информатике, который принимает два возможных значения: истину (true) и ложь (false). 14

К этому типу данных применимы операции булевой алгебры, например: «И» (логическое умножение), «ИЛИ» (логическое сложение), исключающее «ИЛИ» (сложение с переносом), эквивалентность (равенство), инверсия и сравнение. 13