Algebra de boole

 

Álgebra de Boole

Se denomina así en honor a George Boole (1815-1864), matemático inglés autodidacta, que fue el primero en definirla como parte de un sistema lógico, inicialmente en un pequeño folleto: The Mathematical Analysis of Logic, publicado en 1847, en respuesta a una controversia en curso entre Augustus De Morgan y Sir William Hamilton. El álgebra de Boole fue un intento de utilizar las técnicas algebraicas para tratar expresiones de la lógica proposicional. Más tarde como un libro más importante: The Laws of Thought, publicado en 1854.

En la actualidad, el álgebra de Boole se aplica de forma generalizada en el ámbito del diseño electrónico. Claude Shannon fue el primero en aplicarla en el diseño de circuitos de conmutación eléctrica biestables, en 1948. Esta lógica se puede aplicar a dos campos:

1. Al análisis, porque es una forma concreta de describir como funcionan los circuitos.

2. Al diseño, ya que teniendo una función lógica aplicamos dicho álgebra para poder desarrollar una implementación de la función.

El uso del álgebra de Boole en la Automática se debe a que buena parte de los automatismos responden a la lógica binaria. Las variables binarias de entrada son leídas y producen variaciones en las señales binarias de salidas.

Definiciones

El álgebra de Boole está formada por un conjunto de variables Booleanas, $x\in \left\{0,1\right\}$. Es decir variables que sólo pueden tomar dos valores: 0 ó 1, abierto o cerrado, encendido o apagado, etc.

Un literal l es una variable o su negada. Existen dos tipos: literalres con signo positivo cuando representan el valor ‘1’ de la variable ($l=x$), y con signo negativo cuando representa el valor ‘0’ ($l=\overline{x}$).

Una cláusula (o término C) está formada por un conjunto de literales enlazados mediante conectivas lógicas.

Una fórmula lógica $\varphi$ está formada por conjuntos de cláusulas enlazadas mediante conectivas lógicas. Matemáticamente, toda fórmula lógica $\varphi$ de n variables puede verse también como una función multivariable, esto es $\varphi :\{0,1{\}}^n\to \{0,1\}$. En este texto emplearemos indistintamente los términos de función y fórmula.

Una interpretación de una fórmula lógica $\varphi$ es el valor lógico de la fórmula cuando se le asignan valores de verdad (TRUE / FALSE) a sus variables. En consecuencia, existirán tantas interpretaciones como combinaciones de asignaciones posibles.

Se dice que una fórmula lógica es satisfacible cuando existe al menos una interpretación que la hace verdadera.

Operaciones básicas

El álgebra de Boole está definido por 3 operaciones básicas: complemento, suma (OR) y producto (AND).

El complemento es el negado: $y=\overline{a}$. Viene dado por la tabla 3.1.

Tabla 3.1: NOT

a	y
0	1
1	0

La operación suma u OR se representa $y=a+b$ y viene dada por la tabla 3.2.

Tabla 3.2: OR

a	b	y
0	0	0
0	1	1
1	0	1
1	1	1

La operación producto u AND se representa $y=a\cdot b$ y viene dada por la tabla 3.3.

Tabla 3.3: AND

a	b	y
0	0	0
0	1	0
1	0	0
1	1	1

Propiedades

Axiomas básicos

1: La ley asociativa:

$$\forall a,b,c\in B:(a+b)+c=a+(b+c)$$

$$\forall a,b,c\in B:(a\cdot b)\cdot c=a\cdot (b\cdot c)$$

2: Existencia del elemento neutro:

$$\forall a\in B:a+0=a$$

$$\forall a\in B:a\cdot 1=a$$

3: La ley conmutativa:

$$\forall a,b\in B:a+b=b+a$$

$$\forall a,b\in B:a\cdot b=b\cdot a$$

4: Ley distributiva:

$$\forall a,b,c\in B:a+(b\cdot c)=(a+b)\cdot (a+c)$$

$$\forall a,b,c\in B:a\cdot (b+c)=(a\cdot b)+(a\cdot c)$$

5: Existencia del elemento complementario:

$$\forall a\in B;\exists \overline{a}\in B:a+\overline{a}=1$$

$$\forall a\in B;\exists \overline{a}\in B:a\cdot \overline{a}=0$$

AND

Ley de idempotencia para el producto:$$\forall a\in B:a\cdot a=a$$

Ley de absorción para el producto:$$\forall a\in B:a\cdot 0=0$$

Ley de identidad para el producto:$$\forall a\in B:a\cdot 1=a$$

OR

Ley de idempotencia para la suma:$$\forall a\in B:a+a=a$$

Ley de absorción para la suma:$$\forall a\in B:a+1=1$$

Ley de identidad para la suma:$$\forall a\in B:a+0=a$$

NOT

Ley de involución:$$\forall a\in B:\overline{\overline{a}}=a$$

Leyes de De Morgan

$$\forall a,b\in B:\overline{a+b}=\overline{a}\cdot \overline{b}$$

$$\forall a,b\in B:\overline{a\cdot b}=\overline{a}+\overline{b}$$

Conectivas derivadas

NOR

Es la negada de la función “OR”:

$$y=\overline{a+b}$$

Tabla 3.4: Tabla NOR

a	b	y
0	0	1
0	1	0
1	0	0
1	1	0

NAND

Es la negada de la función “AND”:

$$y=\overline{a\cdot b}$$

Tabla 3.5: Tabla NAND

a	b	y
0	0	1
0	1	1
1	0	1
1	1	0

XOR

Es la función OR excluyente: o uno u otro, pero no los dos. Se puede utilizar para detectar señales que son distintas.

$$y=a\oplus b=a\cdot \overline{b}+\overline{a}\cdot b$$

Tabla 3.6: Tabla XOR

a	b	y
0	0	0
0	1	1
1	0	1
1	1	0

XNOR

Es la negada de la función “XOR”. Se puede utilizar para detectar señales que son iguales:

$$y=\overline{a\oplus b}=a\cdot b+\overline{a}\cdot \overline{b}$$

Tabla 3.7: Tabla XNOR

a	b	y
0	0	1
0	1	0
1	0	0
1	1	1

http://clrueda.docentes.upbbga.edu.co/web_digitales/Tema_2/mapa%20K.html. [Último acceso: 08 10 2021].

«mecatronicalatam,» 22 Abril 2021. [En línea]. Available: https://www.mecatronicalatam.com/es/tutoriales/teoria/algebra-booleana/. [Último acceso: 09 09 2021].

D. A. D. G. García, «Principios del Álgebra de Boole,» Departamento de Mecatrónica, [En línea]. Available: https://homepage.cem.itesm.mx/garcia.andres/PDF201411/TE1010%20Algebra%20de%20Boole.pdf. [Último acceso: 09 09 2021].