Elec Digi

Descargar como docx, pdf o txt
Descargar como docx, pdf o txt
Está en la página 1de 4

Á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 cómo
funcionan los circuitos.
2. Al diseño, ya que teniendo una función lógica aplicamos dicha
á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.
Postulados del Álgebra de Boole

Un postulado es un enunciado matemático que no necesita


demostración. Es algo así como un punto de partida (en otros
contextos se suelen llamar también axiomas). En el Álgebra de Boole
tenemos los siguientes:

 Postulado 1. El elemento identidad de la suma es el "0". (A + 0


= A)

 Postulado 2. El elemento de identidad del producto es el "1". (A ·


1 = A)

 Postulado 3. La suma es conmutativa A + B = B + A

 Postulado 4. El producto es conmutativo: A · B = B · A

 Postulado 5. La suma es asociativa: (A + B) + C = A + (B + C)

 Postulado 6. El producto es asociativo: (A · B) · C = A · (B · C)

 Postulado 7. El producto es distributivo respecto de la suma:

A · (B + C) = (A · B) + (A · C)

 Postulado 8. La suma es distributiva respecto del producto:

A + (B · C) = (A + B) · (A + C).

 Postulado 9. Para cada valor A existe un valor Ā tal que A· Ā = 0


y A + Ā = 1. Este valor es el complemento lógico o negado de A.

 Postulado 10. El álgebra de Boole es cerrada bajo las


operaciones suma, producto y negación.
Teoremas del Álgebra de Boole

Un teorema es una proposición matemática que se puede demostrar a


partir de los postulados que se han enunciado anteriormente.

En el Álgebra de Boole tenemos los siguientes teoremas:

 Teorema 1:
 Teorema 2:

 Teorema 3:

 Teorema 4:

 Teorema 5:

 Teorema 6:

 Teorema 7:

 Teorema 8:

 Teorema 9:

 Teorema 10:

Minimización de funciones lógicas


En el apartado anterior se adelantaba que una de las restricciones
más habituales a la hora de realizar una implementación es la de
realizar una minimización de funciones.
Si durante el proceso de diseño en el que se «traduce» las
especificaciones a la función lógica el objetivo principal es únicamente
realizar una tarea correcta sin atender a otros aspectos, esto puede
dar lugar a, por ejemplo, una función como la siguiente:
 F = ABC + ABC’

Si se implementa esta función se hará uso de los siguientes


elementos:
 1 puerta OR de 2 entradas para implementar el ‘+’
 1 puerta NOT para implementar la negación de la variable C
 2 puertas AND de 3 entradas para implementar los 2 productos
ABC y ABC’
Lo cual arroja un resultado total de 4 puertas lógicas.
Sin embargo, un implementador experto puede, mediante simple
inspección visual, detectar que, si aplica la ley de absorción, puede
obtener una función equivalente a la planteada pero simplificada:
 F = AB

También podría gustarte