Podręcznik
1. Algebra Boole’a
1.1. Algebra Boole’a, definicja
Algebra Boole’a (ang. Boolean algebra) to szczególnego typu algebra ogólna. Dokładniej jest to 6-tka uporządkowana , gdzie jest niepustym zbiorem, a działania i wyróżnione elementy (działania zero argumentowe) spełniają cały szereg warunków tzw. aksjomatów algebry Boole’a. Działanie dwuargumentowe nazywamy sumą, działanie dwuargumentowe nazywamy iloczynem a działanie jednoargumentowe uzupełnieniem. Wyróżnione elementy są takie, że 0 jest zerem (dla działania sumy) jest to tzw. zero algebry Boole'a a 1 jedynką dla działania mnożenia jest to tzw. jedynka algebry Boole'a.
Zanim precyzyjnie zdefiniujemy algebrę Boole'a omówimy nieco prostszą od algebry Boole'a algebrę tzw. kratę (ang. lattice).
Krata to algebra . Działanie dwuargumentowe nazywamy sumą, działanie dwuargumentowe nazywamy iloczynem. Algebra jest kratą wtedy i tylko wtedy, z definicji, gdy spełnione są następujące aksjomaty (w sumie mamy 8 aksjomatów):
(1) | (przemienność sumy i iloczynu) | |
(2) | (łączność sumy i iloczynu) | |
(3) | (idempotentność) | |
(4) | (prawa pochłaniania) |
Zauważmy, że jeśli konsekwentnie zamienimy w powyższych aksjomatach sumę na iloczyn oraz iloczyn na sumę to otrzymamy dokładnie taki sam zestaw aksjomatów.
Krata dystrybutywna (ang. distributive lattice) to krata, w której spełnione są jeszcze dodatkowo dwa aksjomaty: rozdzielczość mnożenia względem dodawania i rozdzielczość dodawania względem mnożenia.
(5) | (rozdzielczość mnożenia względem dodawania) | |
(rozdzielczość dodawania względem mnożenia) |
Algebrę nazywamy algebrą Boole’a jeśli jest kratą dystrybutywną, element 0 jest zerem dla działania dodawania a element 1 jedynką dla działania mnożenia czyli spełnione są równości (6) a ponadto działanie uzupełnienia spełnia równości (7).
(6) | (istnienie zera), (istnienie jedności) |
(7) |
Zapisując wyrażenia algebry Boole’a będziemy zakładać, że działanie uzupełnienia ma największy priorytet a potem w kolejności mnożenie i dodawanie. Tak więc mamy np.
Niech będzie dowolnym niepustym podzbiorem zbioru liczb rzeczywistych. Zdefiniujmy działania i wzorami
Algebra jest kratąZ definicji algebry Boole’a nie wynika, że musi być . Jeśli to algebra Boole’a ma tylko jeden element. Nazywamy taką algebrę Boole’a zdegenerowaną algebrą Boole’a. Algebrę Boole’a, która ma tylko 2 elementy, nazywamy algebą Boole’a dwuelementową.