4403041279

Algebra Boole’a - definicja

Algebra Boole'a - zbiór elementów (zwyczajowo oznaczony B), w którym

•    istnieją co najmniej dwa różne elementy,

•    istnieją dwa elementy wyróżnione (zakładamy, że są one różne)

•    są określone dwa operatory dwuargumentowe, oznaczone najczęściej symbolami sumy i iloczynu (jak w zwykłej algebrze) oraz jeden operator jednoargumentowy zwany dopełnieniem ~a; elementy (a + b), (a • b), ~ a należą do B - nie wychodzimy poza B,

•jest określona relacja równoważności, oznaczona „=”, spełniająca warunek:

dla każdego a.b.ceB, jeśli a = b, to ~a = ~b oraz a + c = b + cia-c=b^<c