Co to jest algebra Boole'a

Co to jest ALGEBRA BOOLE'A: mechanizm formalny zlozony z niepustego zbioru z dwoma wyróznionymi elementami: zerem i jednoscia (s t a l e b o o l o w s k i e, na przykład logiczne wartosci Ä false i true), na którym sa okreslone dwuargumentowe dzialania Ä sumy i iloczynu i jednoargumentowe przeczenie (Ä negacja), spelniajace aksjomaty przemiennosci, lacznosci, rozdzielnosci, pochlaniania, neutralnosci przedmiotów wyróznionych i dopelniania. Rozpatrywana w ogólnosci a.B. ujmuje rachunek zbiorów; a.B. tworza na przykład wszystkie podzbiory ustalonego zbioru. A.B. z dwoma elementami 0 i 1 odzwierciedla systemy obliczeniowe użytkowane w komputerach. Okreslenie pochodzi od nazwiska matematyka George'a Boole'a (1815-1864), profesora matematyki w Queen's College w Cork (Irlandia), artysty podstaw logiki matematycznej. Zobacz tez operacje logiczne