Booleovská logika

Booleovská logika neboli booleovská algebra je část algebry používaná k vytváření výroků pravda/nepravda. Booleovské výrazy používají operátory AND, OR, XOR a NOT k porovnávání hodnot a vracejí výsledek True nebo False. Tyto booleovské operátory jsou popsány v následujících čtyřech příkladech:

• x AND y – vrací hodnotu True, pokud jsou x i y pravdivé; vrací hodnotu False, pokud je x nebo y nepravdivé.
• x OR y – vrací hodnotu True, pokud je pravdivé x nebo y, případně jsou pravdivé x i y; hodnotu False vrací pouze tehdy, pokud jsou x i y nepravdivé.
• x XOR y – vrací hodnotu True, pokud je pravdivé pouze x nebo pouze y; vrací hodnotu False, pokud jsou x i y pravdivé nebo pokud jsou obě nepravdivé.
• NOT x – vrací hodnotu True, pokud je x nepravdivé nebo (null); vrací hodnotu False, pokud je x pravdivé.

Protože počítače pracují v binární soustavě (používají pouze nuly a jedničky), lze počítačovou logiku často vyjádřit pomocí booleovských hodnot. Pravdivý výrok například vrací hodnotu 1, zatímco nepravdivý výrok vrací hodnotu 0. Většina výpočtů samozřejmě vyžaduje více než jednoduchý výrok pravda/nepravda. Počítačové procesory proto provádějí složité výpočty propojováním více binárních (nebo booleovských) výroků. Složité booleovské výrazy lze vyjádřit jako řadu logických hradel.

Booleovské výrazy podporuje také většina vyhledávačů. Když do vyhledávače zadáte klíčová slova, můžete vyhledávání upřesnit pomocí booleovských operátorů. Pokud například chcete vyhledat informace o počítači Apple iMac, ale chcete se vyhnout výsledkům o jablkách (ovoci), můžete hledat výraz „Apple AND iMac NOT fruit“. Zobrazí se tak výsledky o počítačích iMac, ale ne výsledky obsahující slovo „fruit“. Ačkoli většina vyhledávačů booleovské operátory podporuje, jejich požadavky na syntaxi se mohou lišit. Místo slov AND a NOT mohou být například vyžadovány operátory „+“ a „-“. Správnou syntaxi můžete najít v části nápovědy na webu jednotlivých vyhledávačů.