Először az 1800-as évek közepén fejlesztette ki George Boole matematikus, a logikai logika a döntéshozatal formális, matematikai megközelítése. A szimbólumok és számok megszokott algebra helyett Boole meghatározta a döntési állapotok algebráját, például igen és nem, egy és nulla. A Boole-rendszer az 1900-as évek elejéig maradt az egyetemen, amikor az elektromos mérnökök észrevették annak hasznosságát az áramkörök kapcsolásában, amely telefonhálózatokhoz és digitális számítógépekhez vezetett.
Boole-algebra
A logikai algebra egy olyan rendszer, amely a kétértékű döntési állapotokat ötvözi és kétértékű eredményt ér el. A standard számok, például a 15.2 helyett a Boolean algebra bináris változókat használ, amelyeknek két értéke lehet, nulla és egy, amelyek a „hamis” és „igaz” kifejezéseket jelentik. Aritmetika helyett olyan műveletek vannak, amelyek bináris változókat kombinálva bináris eredményt kapnak. Például az „ÉS” művelet csak akkor ad valódi eredményt, ha mindkét argumentuma vagy bemenete is igaz. „1 ÉS 1 = 1”, de „1 ÉS 0 = 0” a logikai algebrában. Az OR művelet igaz eredményt ad, ha bármelyik argumentum igaz. Az „1 OR 0 = 1” és a „0 OR 0 = 0” egyaránt illusztrálja az OR műveletet.
Digitális áramkörök
A Boole-algebra az 1930-as években az elektromos tervezőknek kedvezett, akik telefonkapcsoló áramkörökön dolgoztak. A logikai algebra segítségével egy zárt kapcsolót állítanak, amely egyenlő, vagyis „igaz”, és egy nyitott kapcsolót nulla vagy „hamis”. Ugyanez az előny vonatkozik a számítógépeket tartalmazó digitális áramkörökre is. Itt a nagyfeszültségű állapot egyenlő „igaz”, az alacsony feszültségű pedig „hamis”. Magas és alacsony feszültségű állapotok használata és logikai logika, a mérnökök digitális elektronikus áramköröket fejlesztettek ki, amelyek képesek megoldani az egyszerű igen-nem döntéshozatalt problémák.
Igen-Nem eredmények
A logikai logika önmagában csak határozott, fekete-fehér eredményeket ad. Soha nem eredményez „talán” -t. Ez a hátrány korlátozza a Boole algebrát azokra a helyzetekre, ahol lehet adja meg az összes változót kifejezetten igaz vagy hamis értékekben, és ahol csak ezek az értékek vannak eredmény.
Webes keresések
Az internetes keresések logikai logikát használnak az eredmények szűrésére. Ha például „autókereskedőkön” keres, akkor egy keresőmotornak több száz millió weboldala lesz megfelelő. Ha hozzáadja a „Chicago” szót, a szám jelentősen csökken. A keresőmotor logikai algebra segítségével olyan oldalakat keres, amelyek megfelelnek az „autó” ÉS „kereskedő” ÉS „Chicago” kifejezésnek; más szóval, a weboldalnak minden feltételnek tartalmaznia kell a minősítést. Megadhat egy „VAGY” feltételt is, például „autó” és „kereskedő” ÉS („Chicago” VAGY „Milwaukee”), amely oldalakat ad a chicagói vagy a milwaukee-i autókereskedőknek. A logikai logika előnye - a keresések eredményeinek finomítása - milliókat jelent, akik nap mint nap böngésznek az interneten.
Nehézség
A logikai logika nyelve összetett, ismeretlen, és némi tanulást igényel. Az „ÉS” művelet például összezavarja a kezdőket a mindennapi angol nyelvben használt jelentéséhez. Arra számítanak, hogy az „autó” ÉS „kereskedő” keresés több eredményt ad, mint pusztán az „autó”, amint azt az AND feltételezi, hogy hozzáadják az eredményekhez. A logikai logika azt is előírja, hogy zárójeleket kell használni az utasítás pontos jelentésének rendezéséhez: „autó vagy hajó ÉS kereskedő” megadja a bármi köze a hajókereskedők listájához felvett autókhoz, míg az „(autó VAGY hajó) ÉS kereskedő” felsorolja az autókereskedők és a hajók listáját kereskedők. A logikai logika nehézségeinek hátránya azokra korlátozza a felhasználókat, akik időt töltenek a tanulással.