Algebra de boole

 Amigos bienvenidos a una nueva publicación mas espero que se encuentren muy bien. El dia de hoy hablaremos un poco sobre algebra de boole un tema bastante interesante y mas al momento de hacer ejercicios prácticos, bueno los dejo con la inducción.

Á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.

3.1.2 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:

$$(a+b)+c=a+(b+c)$$

$$(a\cdot b)\cdot c=a\cdot (b\cdot c)$$

2: Existencia del elemento neutro:

$$a+0=a$$

$$a\cdot 1=a$$

3: La ley conmutativa:

$$a+b=b+a$$

$$a\cdot b=b\cdot a$$

4: Ley distributiva:

$$a+(b\cdot c)=(a+b)\cdot (a+c)$$

$$a\cdot (b+c)=(a\cdot b)+(a\cdot c)$$

5: Existencia del elemento complementario:

$$a+\overline{a}=1$$

$$a\cdot \overline{a}=0$$

AND

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

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

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

OR

Ley de idempotencia para la suma:$$a+a=a$$

Ley de absorción para la suma:$$a+1=1$$

Ley de identidad para la suma:$$a+0=a$$

NOT

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

Leyes de De Morgan

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

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

Amigos espero que les sirva esta información es un poco difícil de entender pero una vez que lo analicemos lentamente comprenderemos un pco mejor al final les anexo un video para que sea mejor entendido, saludos y saben que pueden dejar sus comentarios para seguir mejorando mi contenido.