Booleova algebra
GEORGE BOOLE (1815 - 1864) - Irský matematik, v roce 1854 zvláštní druh algebry (uplatnění až v roce 1938).
Boolova algebra je nauka o operacích na množině {0,1}.
Způsoby popisů:
- Pravdivostní tabulka
- Graficky v rovině = Vennovy diagramy
- Matematický aparát
B. A. užívá jen 3 základní operace:
- Logický (Booleův)
součin AND
x (bez) - Logický (Booleův)
součet OR
+ - Negace
NOT
~(před
operandem)
Pravdivostní tabulka:
| a | b | a + b | a . b |  |
| 0 | 0 | 0 | 0 | 1 |
| 0 | 1 | 1 | 0 | 1 |
| 1 | 0 | 1 | 0 | 0 |
| 1 | 1 | 1 | 1 | 0 |
Vennovy diagramy:
Def.: B.A. je množina B o alespoň 2 prvcích nad níž jsou definovány operace operace sčítání, násobení a negace splňující tyto axiomy:
(předp.: a, b, c 
B) :
a + b B
a . b B
Existuje prvek 0, pro který platí: a + 0 = a
Existuje prvek 1, pro který platí: a . 1 = a
Komutativní zákon:
a + b = b + a
a . b = b . a
a + (b . c) = (a + b) . (a + c)
a . (b + c) = (a . b) + (a . c)
Pro každý prvek a existuje prvek 
B:
a .=
0
a +=
1