El documento describe el álgebra de Boole, incluyendo sus orígenes, aplicaciones en electrónica y automatización, y postulados y teoremas fundamentales.
0 calificaciones0% encontró este documento útil (0 votos)
7 vistas4 páginas
El documento describe el álgebra de Boole, incluyendo sus orígenes, aplicaciones en electrónica y automatización, y postulados y teoremas fundamentales.
El documento describe el álgebra de Boole, incluyendo sus orígenes, aplicaciones en electrónica y automatización, y postulados y teoremas fundamentales.
El documento describe el álgebra de Boole, incluyendo sus orígenes, aplicaciones en electrónica y automatización, y postulados y teoremas fundamentales.
Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
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