Zawartość
Logika logiczna, opracowana po raz pierwszy w połowie XIX wieku przez matematyka George'a Boole'a, jest formalnym, matematycznym podejściem do podejmowania decyzji. Zamiast znanej algebry symboli i liczb, Boole ustanowił algebrę stanów decyzyjnych, takich jak tak i nie, jeden i zero. System boolowski pozostawał w środowisku akademickim do wczesnych lat XX wieku, kiedy inżynierowie elektrycy zauważyli jego przydatność do przełączania obwodów, prowadząc do sieci telefonicznych i komputerów cyfrowych.
Algebra logiczna
Algebra boolowska to system łączenia dwuwartościowych stanów decyzyjnych i dochodzenia do dwuwartościowego wyniku. Zamiast standardowych liczb, takich jak 15,2, algebra boolowska używa zmiennych binarnych, które mogą mieć dwie wartości, zero i jedną, które oznaczają odpowiednio „fałsz” i „prawda”. Zamiast arytmetyki ma operacje, które łączą zmienne binarne w celu uzyskania wyniku binarnego. Na przykład operacja „ORAZ” daje prawdziwy wynik tylko wtedy, gdy oba argumenty lub dane wejściowe również są prawdziwe. „1 AND 1 = 1”, ale „1 AND 0 = 0” w algebrze boolowskiej. Operacja OR daje prawdziwy wynik, jeśli którykolwiek argument jest prawdziwy. Zarówno „1 OR 0 = 1”, jak i „0 OR 0 = 0” ilustrują operację OR.
Obwody cyfrowe
Algebra Boolean przyniosła korzyści projektantom elektrycznym w latach 30. XX wieku, którzy pracowali nad obwodami telefonicznymi.Za pomocą algebry Boolean ustawiają zamknięty przełącznik równy jeden lub „prawda”, a otwarty przełącznik na zero lub „fałsz”. Ta sama zaleta dotyczy obwodów cyfrowych zawierających komputery. Tutaj stan wysokiego napięcia jest równy „prawdzie”, a stan niskiego napięcia jest równy „fałszowi”. Korzystając ze stanów wysokiego i niskiego napięcia oraz logiki logicznej, inżynierowie opracowali cyfrowe układy elektroniczne, które mogłyby rozwiązać proste problemy związane z podejmowaniem decyzji typu „nie”.
Tak - brak wyników
Sama logika boolowska daje tylko określone, czarno-białe wyniki. Nigdy nie tworzy „być może”. Wada ta ogranicza algebrę boolowską do sytuacji, w których można podać wszystkie zmienne w kategoriach jawnych wartości prawdziwych lub fałszywych, i gdzie te wartości są jedynym wynikiem.
Wyszukiwania w sieci
Wyszukiwania internetowe używają logiki logicznej do filtrowania wyników. Jeśli na przykład przeprowadzisz wyszukiwanie u „dealerów samochodowych”, wyszukiwarka będzie mieć setki milionów pasujących stron internetowych. Jeśli dodasz słowo „Chicago”, liczba znacznie spadnie. Wyszukiwarka korzysta z algebry logicznej, wyszukując strony pasujące do „samochód” ORAZ „dealer” ORAZ „Chicago;” innymi słowy, strona internetowa musi zawierać wszystkie warunki, aby się kwalifikować. Możesz także określić warunek „LUB”, taki jak „samochód” i „dealer” ORAZ („Chicago” LUB „Milwaukee”), który wyświetla strony dla dealerów samochodowych w Chicago lub Milwaukee. Zaleta logiki boolowskiej, udoskonalanie wyników wyszukiwania, przynosi korzyści milionom przeglądającym Internet każdego dnia.
Trudność
Język logiki boolowskiej jest złożony, nieznany i wymaga trochę nauki. Na przykład operacja „I” dezorientuje początkujących przyzwyczajonych do jej znaczenia w codziennym języku angielskim. Oczekują, że wyszukiwanie „samochód” ORAZ „dealer” przyniesie więcej wyników niż tylko „samochód”, ponieważ AND oznacza dodanie wyników. Logika logiczna wymaga także użycia nawiasów w celu uporządkowania dokładnego znaczenia oświadczenia: „samochód LUB łódź ORAZ dealer” daje listę wszystkiego, co ma związek z samochodami dodanymi do listy dealerów, podczas gdy „(samochód LUB łódź ORAZ dealer”) podaje listę sprzedawców samochodów i sprzedawców łodzi. Wada trudności logiki boolowskiej ogranicza jej użytkowników do tych, którzy poświęcają czas na naukę.