Boolowski

Logika boolowska, nazywana też algebrą boolowską, jest podzbiorem algebry używanym do tworzenia zdań prawda/fałsz. Wyrażenia boolowskie używają operatorów AND, OR, XOR i NOT do porównywania wartości oraz zwracają wynik prawda lub fałsz. Te operatory boolowskie opisują następujące cztery przykłady:

• x AND y — zwraca True, jeśli zarówno x, jak i y mają wartość true; zwraca False, jeśli x lub y ma wartość false.
• x OR y — zwraca True, jeśli x lub y albo zarówno x, jak i y mają wartość true; zwraca False tylko wtedy, gdy zarówno x, jak i y mają wartość false.
• x XOR y — zwraca True, jeśli tylko x lub tylko y ma wartość true; zwraca False, jeśli zarówno x, jak i y mają wartość true albo oba mają wartość false.
• NOT x — zwraca True, jeśli x ma wartość false lub (null); zwraca False, jeśli x ma wartość true.

Ponieważ komputery działają w systemie binarnym (używając tylko zer i jedynek), logikę komputerową można często wyrażać za pomocą wartości boolowskich. Na przykład zdanie prawdziwe zwraca wartość 1, a zdanie fałszywe zwraca wartość 0. Oczywiście większość obliczeń wymaga czegoś więcej niż prostego zdania prawda/fałsz. Dlatego komputerowe procesory wykonują złożone obliczenia, łącząc wiele zdań binarnych (lub boolowskich). Złożone wyrażenia boolowskie można przedstawiać jako serię bramek logicznych.

Wyrażenia boolowskie są również obsługiwane przez większość wyszukiwarek. Po wpisaniu słów kluczowych w wyszukiwarce można zawęzić wyszukiwanie za pomocą operatorów boolowskich. Jeśli na przykład chcesz znaleźć informacje o komputerze Apple iMac, ale uniknąć wyników dotyczących jabłek (owoców), możesz wyszukać „Apple AND iMac NOT fruit”. Spowoduje to wyświetlenie wyników dotyczących komputerów iMac i pominięcie wyników zawierających słowo „fruit”. Chociaż większość wyszukiwarek obsługuje operatory boolowskie, wymagania dotyczące ich składni mogą się różnić. Na przykład zamiast słów AND i NOT mogą być wymagane operatory „+” i „-”. Prawidłową składnię można znaleźć w sekcji pomocy na stronie internetowej każdej wyszukiwarki.