Логічний тип даних: відмінності між версіями

{{Без джерел|дата=липень 2013}}'''Логічний тип даних''' (також '''булів''', '''булевий)''', тип'''булівський'''<ref>[https://e2u.org.ua/s?w=boolean&dicts=all&highlight=on&filter_lines=on Слово даних''boolean'' у словниках]</ref>)&nbsp;— примітивний[[Тип даних#Прості типи даних|простий]] [[тип даних]] в [[інформатика|інформатиці]], що може прийматинабувати двадвох можливих значеннязначень, щоякі іноді називаютьсяназивають ''істиною'' і ''хибою'' (також ''так'' йі ''ні''). Присутній в переважній більшості мов програмування як самостійна сутність або реалізований через числовий тип. ЗазвичайВ другому випадку, зазвичай, за хибне приймають нульове значення, за істину&nbsp;— одиницю чи будь-яке інше відмінне від нуля число.

БулівЛогічний тип даних може бути реалізований зза допомогою тількивьсого одного [[біт]]а, але зазвичай використовується мінімально адресовуваний елемент пам'яті ([[байт]]) або [[машинне слово]], як більш ефективна одиниця роботи з [[Регістр процесора|регістрами]] та [[Оперативна пам'ять|оперативною пам'яттю]].

До цьогологічного типу даних застосовні наступнітакі операції:

* ''І'' (логічне множення) (<code>AND</code>, <code>&</code>, <code>*</code>),

* ''АБО'' (логічне додавання) (<code>OR</code>, <code>|</code>, <code>+</code>),

* ''виключальневиключне АБО'' (множення з переносом) (<code>xor</code>, <code>NEQV</code>, <code>^</code>),

* ''еквівалентність'' (рівняннярівність) (<code>EQV</code>, <code>=</code>, <code>==</code>)

Також можуть використовуватися ій інші операції [[алгебра логіки|алгебри логіки]]. БільшістьБагато мов програмування легко(наприклад, [[C (мова програмування)|C]]) дозволяють використовувати булівлогічний тип і в арифметичних операціях, приводячизводячи його до чисельногочислового типу згідновідповідно здо прийнятимприйнятих ву мові правиламправил приведеннязведення типів. C# є прикладомПрикладом мови, щов якій не виконуєвиконується автоматичногоавтоматичне приведеннязведення типів є [[C Sharp|C#]].

Змінні логічних типів використовуються для виразузберігання результатів логічних операцій.

Всі операції порівняння двох величин, операції входження елемента в [[Множина (тип даних)|множину]] і перевірка на перетинання множин повертають як результат булівськийзначення типлогічного типу.

</source>