Логический, булев (англ. Boolean или logical data type) тип данных — примитивный тип данных в информатике, которые могут принимать два возможных значения, иногда называемых правдой (true) и ложью (false). Присутствует в подавляющем большинстве языков программирования как самостоятельная сущность или реализуется через численный тип. В подавляющем большинстве языков за истину полагается единица, за ложь — ноль..
Булев тип данных может быть реализован с использованием только одного бита, но обычно используется минимальная адресуемая ячейка памяти (байт) или машинное слово, как эффективная единица работы с регистрами и оперативной памятью.
Доступные операции :
К этому типу данных применимы следующие операции:
И (логическое умножение) (AND, &, *),
ИЛИ (логическое сложение) (OR, |, +),
исключающее ИЛИ (умножение с переносом) (xor, NEQV, ^),
эквивалентность (равенство) (EQV, =, ==)
инверсия (NOT, ~, !)
сравнение (>, <, <=, >=)
Так же могут использоваться и другие операции булевой алгебры. Большинство языков программирования позволяют использовать булев тип и в арифметических операциях, приводя его к численному типу согласно принятым в языке правилам приведения типов.
Применение
Традиционным применением булева типа данных являются значения «да»/«нет» в отношении результата более сложных операций.
Все операции сравнения двух величин (равно, больше, меньше), операции вхождения элемента в множество и проверка на пересечение множеств возвращают в качестве результата булев тип.
Логический тип (boolean):
Логический тип данных часто называют булевым по имени английского математика Д. Буля, создателя математической логики. В языке Паскаль имеются две логические константы TRUE и FALSE. Логическая переменная принимает одно из этих значений и имеет тип Boolean. Для сравнения данных предусмотрены следующие операции отношения: <, <=, =, <>, >, >= Результат операции отношения имеет логический тип, т.е. результат операции может быть истинным или ложным, например, 3>5 – ложь.
Над величинами этого типа можно выполнять специфические логические операции OR - или; AND - и; NOT - не.
Более подробно этот тип данных мы рассмотрим при изучении условного оператора.