Documente Academic
Documente Profesional
Documente Cultură
El Álgebra Booleana
27/05/2020
1) ¿Qué es el Algebra Binaria o Algebra de Boole?
El álg ebra de Boole es un método para simplificar los circuitos lógicos (o
a veces llamados circuitos de conmutación lógica) en electrónica digital.
Por lo tanto, también se llama como "Ca mbio de álge bra ". Podemos
representar el funcionamiento de los circuitos lógicos utilizando números,
siguiendo algunas reglas, que son bien conocidas como "Le ye s de l ál geb ra de
Bool e".
La lógica booleana solo permite dos estados del circuito, como True y False.
Estos dos estados están representados por 1 y 0, donde 1 representa el estado
"Verdadero" y 0 representa el estado "Falso".
Las leyes de Boole son las reglas que el álgebra de Boole impone para el
manejo de sus operaciones, estas leyes son las mismas que las del álgebra
ordinaria: Leyes conmutativas de la suma y multiplicación, leyes asociativas de la
suma y multiplicación, ley distributiva.
1. Leyes Conmutativas • El orden en que se aplica a las variables la operación
OR es indiferente: Ley conmutativa de la suma para dos variables A+B =
B+A • El orden en que se aplica a las variables la operación AND es
indiferente: Ley conmutativa de la multiplicación para dos variables AB = BA
Escuela Politécnica Superior
2. Leyes Asociativas • Al aplicar la operación OR a más de dos variables, el
resultado es el mismo independientemente de la forma en que se agrupen
las variables: Ley asociativa de la suma para tres variables A + (B + C) = (A
+ B) + C • Al aplicar la operación AND a más de dos variables, el resultado
es el mismo independientemente de la forma en que se agrupen las
variables: Ley asociativa de la multiplicación para tres variables A(BC) =
(AB)C Escuela Politécnica Superior
3. Ley Distributiva • Aplicar la operación OR a dos o más variables y luego
aplicar la operación AND al resultado de la operación y a otra variable
aislada, es equivalente a aplicar la operación AND a la variable aislada con
cada uno de los sumandos y luego aplicar la operación OR a los productos
resultantes. • Esta ley también expresa el proceso de sacar factor común,
en el que la variable común se saca como factor de los productos parciales.
Ley distributiva para tres variables A(B + C) = AB + AC Escuela Politécnica
Superior
4. Reglas Básicas del Álgebra de Boole • Muy útiles para la manipulación y
simplificación de expresiones booleanas. 1. A+0=A 5. A+A=A 9. A = A 2.
A+1=1 6. A+A=1 10. A + AB = A 3. A·0=0 7. A·A=A 11. A + AB = A + B 4.
A·1=A 8. A·A=0 12. (A + B)(A + C) = A + BC A, B, o C pueden representar
una única variable o una combinación de variables. Escuela Politécnica
Superior
5. Reglas del Álgebra de Boole: Demostraciones (I) 1. A+0=A X=0 2. A + 1 = 1
X=1 3. A · 0 = 0 X=0 4. A · 1 = A 5. A + A = A Escuela Politécnica Superior
6. Reglas del Álgebra de Boole: Demostraciones (II) 6. A + A = 1 7. A · A = A
8. A · A = 0 X=0 9. A = A Escuela Politécnica Superior
7. Reglas del Álgebra de Boole: Demostraciones (III) 10. A + AB = A A + AB =
A (1 + B) Sacar factor común A (ley distributiva) =A·1 Regla 2: (1 + B) = 1
=A Regla 4: A · 1 = A Escuela Politécnica Superior
8. Reglas del Álgebra de Boole: Demostraciones (IV) 11. A + AB = A + B A +
AB = (A + AB) + AB Regla 10: A = A + AB = A + (A + A) B Sacar factor
común =A+1·B Regla 6: A + A = 1 =A+B Regla 4: A · 1 = A Escuela
Politécnica Superior
9. Reglas del Álgebra de Boole: Demostraciones (V) 12. (A + B)(A + C) = A +
BC (A + B)(A + C) = AA + AC + AB + BC Ley distributiva = A + AC + AB +
BC Regla 7: AA = A = A + BC Regla 10: A + AB = A (aplicada 2 veces)
Escuela Politécnica Superior
A mediados del siglo XIX, George Boole (1815-1864), en sus libros: "The
Mathematical Analysis of Logic" (1847) y "An Investigation of te Laws of Thought"
(1854), desarrolló la idea de que las proposiciones lógicas podían ser tratadas
mediante herramientas matemáticas. Las proposiciones lógicas (asertos, frases o
predicados de la lógica clásica) son aquellas que únicamente pueden tomar
valores Verdadero/Falso, o preguntas cuyas únicas respuestas posibles sean
Sí/No. Según Boole, estas proposiciones pueden ser representadas mediante
símbolos y la teoría que permite trabajar con estos símbolos, sus entradas
(variables) y sus salidas (respuestas) es la Lógica Simbólica desarrollada por él.
Dicha lógica simbólica cuenta con operaciones lógicas que siguen el
comportamiento de reglas algebraicas. Por ello, al conjunto de reglas de la Lógica
Simbólica se le denomina ÁLGEBRA DE BOOLE.
Los dispositivos con los cuales se implementan las funciones lógicas son
llamados puertas (o compuertas) y, habitualmente, son dispositivos electrónicos
basados en transistores. Estos dispositivos, y otros que veremos a lo largo de esta
unidad, son los que permiten el diseño, y la ulterior implementación, de los
circuitos de cualquier ordenador moderno, así como de muchos de los elementos
físicos que permiten la existencia de las telecomunicaciones modernas, el control
de máquinas, etcétera. De hecho, pensando en los ordenadores como una
jerarquía de niveles, la base o nivel inferior sería ocupada por la lógica digital (en
el nivel más alto del ordenador encontraríamos los actuales lenguajes de
programación de alto nivel).
4) ¿Qué es la bivalente?
Una lógica clásica es un sistema lógico que admite solo dos valores de
verdad para sus enunciados (premisas y conclusión). En la lógica bivalente, una
proposición solo puede ser verdadera o falsa, no existen valores intermedios de
verdad.
Las operaciones lógicas Y (AND) o producto lógico , así como la suma lógica
O (OR), satisfacen las mismas propiedades que ya conocéis para la suma y
producto de números reales, es decir: asociatividad, conmutatividad, existencia de
elemento neutro, existencia de elemento simétrico o traspuesto y distributividad
del producto respecto de la suma y de la suma respecto al producto. En la primera
escena que acompaña a este apartado se muestran las expresiones de dichas
propiedades (las letras mayúsculas que aparecen representan variables binarias y
el 1 y 0 corresponden, respectivamente, a los valores lógicos verdadero y falso).
Los teoremas del Algebra Booleana permiten realizar con mayor velocidad
los cálculos y las operaciones lógicas de las funciones booleanas, las cuales
representan la relación entre la entrada y la salida de un circuito lógico.
Regla del cero y la unidad: Toda operación simple que involucre a un elemento con las
variables binarias, queda definida:
a) 0 + A = A
b) 1 + A = 1
c) 0 x A = 0
d) 1 x A = A
a) A + A = A
b) A x A = A
a) A + NOT A = 1
b) A x NOT A = 0
Involución o doble negación: Toda doble negación será considerada como la variable
natural.
NOT (NOT A) = A
Asociativa:
A + ( B + C ) = ( A + B ) + C = A + B + C ; Asociatividad de la suma.
a) A x (A + B) = A
b) A x (NOT A + B) = A x B
c) NOT A (A + B) = NOT A x B
d) (A + B) x (A + NOT B) = A
e) A + A x B = A
f) A + NOT A x B = A + B
g) NOT A + A x B = NOT A + B
h) A x B + A x NOT B = A
Distributiva:
Teorema de Morgan: Son leyes de transformación, que manejan pares de variables que
interactúan entre las operaciones definidas del álgebra booleana ( + . ).
Una función booleana es una función cuyo dominio son las palabras
conformadas por los valores binarios 0 ó 1 ("falso" o "verdadero",
respectivamente), y cuyo codominio son ambos valores 0 y 1.
Por ejemplo, abc ,ab’c y abc’ son ejemplos de minterms para una función
booleana con las tres variables a, b y c.