Зміст
Вперше розроблений в середині 1800-х років математиком Джорджем Булом, булева логіка - це формальний, математичний підхід до прийняття рішень. Замість знайомої алгебри символів і чисел Бул встановив алгебру станів рішення, таких як так і ні, один і нуль. Булева система залишалася в наукових колах до початку 1900-х років, коли інженери-електрики помітили її корисність для комутації схем, що ведуть до телефонних мереж та цифрових комп'ютерів.
Булева алгебра
Булева алгебра - це система поєднання двозначних станів рішення та досягнення двозначного результату. Замість стандартних чисел, таких як 15.2, булева алгебра використовує двійкові змінні, які можуть мати два значення, нульове та одне, що означають відповідно "помилкове" та "істинне". Замість арифметичних, він має операції, що поєднують двійкові змінні, щоб отримати двійковий результат. Наприклад, операція "І" дає справжній результат лише в тому випадку, якщо обидва її аргументи або вхідні дані також є істинними. "1 І 1 = 1", але "1 І 0 = 0" в булевій алгебри. Операція АБО дає справжній результат, якщо будь-який аргумент є істинним. "1 АБО 0 = 1" і "0 АБО 0 = 0" ілюструють операцію АБО.
Цифрові схеми
Булева алгебра принесла користь електричним дизайнерам у 1930-х роках, які працювали над схемами комутації телефонів.Використовуючи булеву алгебру, вони встановлюють закритий перемикач, рівний одиниці, або "справжній", а відкритий перемикач дорівнює нулю, або "помилковий". Ця ж перевага стосується цифрових схем, що складаються з комп'ютерів. Тут стан високої напруги дорівнює "справжньому", а стан низької напруги - "помилковому". Використовуючи стани високої та низької напруги та булеву логіку, інженери розробили цифрові електронні мікросхеми, які могли вирішити прості проблеми прийняття рішень "ні".
Так-ні результати
Булева логіка сама по собі дає лише певні, чорно-білі результати. Він ніколи не створює "можливо". Цей недолік обмежує булеву алгебру тим ситуаціям, коли ви можете вказати всі змінні з точки зору явних істинних або помилкових значень, і де ці значення є єдиним результатом.
Веб-пошуки
Пошуки в Інтернеті використовують логічну логіку для фільтрації результатів. Якщо ви робите пошук, наприклад, у "автосалонів", пошукова система має сотні мільйонів веб-сторінок, які відповідають. Якщо додати слово "Чикаго", кількість значно зменшиться. Пошукова система використовує булеву алгебру, витягуючи сторінки, які відповідають "автомобіль" І "дилер" І "Чикаго"; іншими словами, на веб-сторінці повинні бути всі умови, щоб відповідати умовам. Ви також можете вказати умову "АБО", наприклад "автомобіль" та "дилер" І ("Чикаго" АБО "Мілуокі"), що дає вам сторінки для автосалонів у Чикаго чи Мілуокі. Перевага булевої логіки, уточнення результатів пошуку, приносить користь мільйонам, які щодня переглядають Інтернет.
Складність
Мова булевої логіки складна, незнайома і потребує певного вивчення. Наприклад, операція "І" збиває з пантелику початківців, що звикли до її значення в повсякденній англійській мові. Вони очікують, що пошук «автомобіля» та «дилера» дасть більше результатів, ніж просто «автомобіль», оскільки І передбачає додавання до результатів. Булева логіка також вимагає використання дужок для організації точного значення твердження: "автомобіль АБО човен і дилер" дає вам список будь-якого відношення до автомобілів, доданих до списку торговців човнами, тоді як "(автомобіль АБО човен) ТА дилер" подає перелік автодилерів та торговців човнами. Недолік труднощів булевої логіки обмежує її користувачів тим, хто витрачає час на її вивчення.