Booleova algebra je binární algebra (má jen dvě konstanty 0 a 1) a využívá tři základní operace:
- Negace - NOT
- Logický součin - AND
- Logický součet - OR
Pomocí Booleovy algebry můžeme minimalizovat logické funkce dle daných zákonů a pravidel:
- Komutativní: a + b = b + a
- Asociativní: a + (b + c) = (a + b) + c
- Distributivní: a x (b + c) = (a x b) + (a x c)
- Indepotentní:
- a + a = a
- a x a = a
-----------
- a + 1 = 1
- a x 1 = a
-----------
- a + 0 = a
- a x 0 = 0
Pro vyjádření pravdivostních hodnot logických funkcí existuje několik metod.
- Rovnice / předpis funkcí
- P = a x b x c
- P nabude stavu log 1 když budou všechny proměné (a,b,c) ve stavu log 1
- Pravdivostní tabulka
- Karnaughova mapa
- Grafický zápis pravdivostní tabulky, kde každému řádku odpovídá nějaké políčko (2^N políček, kde N je pořet proměných)