system 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, np. logiczne wartosci Ä false i true), na którym sa okreslone dwuargumentowe dzialania Ä sumy i iloczynu oraz jednoargumentowe przeczenie (Ä negacja), spelniajace aksjomaty przemiennosci, lacznosci, rozdzielnosci, pochlaniania, neutralnosci elementów wyróznionych i dopelniania. Rozpatrywana w ogólnosci a.B. ujmuje rachunek zbiorów; a.B. tworza np. wszystkie podzbiory ustalonego zbioru. A.B. z dwoma elementami 0 i 1 odzwierciedla mechanizmy obliczeniowe stosowane w komputerach. Okreslenie pochodzi od nazwiska matematyka George'a Boole'a (1815-1864), profesora matematyki w Queen's College w Cork (Irlandia), twórcy podstaw logiki matematycznej. Zob. tez operacje logiczne.
algebra Boole'a
Informatyka