Álgebra de Boole

El álgebra booleana se utiliza para analizar y simplificar los circuitos digitales (lógicos). Utiliza solo los números binarios, es decir, 0 y 1. También se llama comoBinary Algebra o logical Algebra. El álgebra booleana fue inventada porGeorge Boole en 1854.

Regla en álgebra booleana

A continuación se presentan las reglas importantes que se utilizan en el álgebra booleana.

• La variable utilizada solo puede tener dos valores. Binario 1 para ALTO y 0 binario para BAJO.

• El complemento de una variable está representado por una barra superior (-). Por tanto, el complemento de la variable B se representa como . Entonces, si B = 0 entonces = 1 y B = 1 entonces = 0.

• El valor OR de las variables se representa mediante un signo más (+) entre ellas. Por ejemplo, el OR de A, B, C se representa como A + B + C.

• El AND lógico de las dos o más variables se representa escribiendo un punto entre ellas, como ABC. En ocasiones, el punto puede omitirse como ABC.

Leyes booleanas

Hay seis tipos de leyes booleanas.

Ley conmutativa

Cualquier operación binaria que satisfaga la siguiente expresión se denomina operación conmutativa.

La ley conmutativa establece que cambiar la secuencia de las variables no tiene ningún efecto en la salida de un circuito lógico.

Ley asociativa

Esta ley establece que el orden en el que se realizan las operaciones lógicas es irrelevante ya que su efecto es el mismo.

Ley distributiva

La ley distributiva establece la siguiente condición.

Y ley

Estas leyes utilizan la operación AND. Por eso se les llama comoAND leyes.

O ley

Estas leyes utilizan la operación OR. Por eso se les llama comoOR leyes.

Ley de INVERSIÓN

Esta ley usa la operación NOT. La ley de inversión establece que la doble inversión de una variable da como resultado la propia variable original.

Teoremas booleanos importantes

A continuación se presentan algunos teoremas booleanos importantes.

Función / teoremas booleanos	Descripción
Funciones booleanas	Funciones y expresiones booleanas, realización de K-Map y NAND Gates
Teoremas de De Morgan	Teorema 1 y Teorema 2 de De Morgan