El álgebra booleana es área del algebra que estudia las operaciones con números booleanos, estos números solamente pueden tomar el valor de false o verdadero (0 y 1).
El algebra booleana sirve para simplificar las funciones de circuitos combinacionales.
Las Operaciones en algebra de booleana son:
- Suma lógica: se usa el símbolo de más. Equivale a la compuerta OR
- Multiplicación lógica: se escriben las variables pegadas o separadas por un punto. Equivale a la compuerta AND
- Negación lógica: se escribe una línea arriba de la variable o una coma simple. Equivale a la compuerta NOT
La siguiente tabla muestra como funcionan las operaciones lógicas.
En el algebra booleana también se aplican las propiedades conmutativa, asociativa y distributiva.
El teorema de De Morgan afirma que:
- La suma de un conjunto de variables negado es igual al producto de las entradas negadas de forma individual.
- El producto de un conjunto de variables negado es igual a la suma de las entradas negadas de forma individual.