BOOL
¿Qué es?
El álgebra de Boole se basa en la lógica proposicional y se utiliza para representar
un circuito lógico en forma de ecuaciones. En otras palabras, se trata de una
herramienta que sirve para resolver y simplificar cualquier problema que se
encuentre en los sistemas digitales. Además, el álgebra de Boole es esencial en
programación, especialmente en el desarrollo de algoritmos y estructuras de
control condicional. Permite evaluar condiciones, tomar decisiones y controlar el
flujo de ejecución de un programa.
A diferencia del álgebra tradicional, que se basa en números y operaciones
aritméticas, el álgebra de Boole utiliza las llamadas variables booleanas (0 y 1) y
operadores lógicos (AND, OR, NOT) para representar y manipular los datos.
Aplicación:
Diseño de circuitos digitales: procesadores, memorias y dispositivos
lógicos programables.
Programación y algoritmos: el álgebra permite la toma de decisiones y el
control del flujo de ejecución en los programas.
Sistemas de control y automatización: se utiliza en la modelización y
diseño de sistemas de control, como en la industria manufacturera.
Criptografía: los principios del álgebra de Boole se aplican en algoritmos
criptográficos, proporcionando la base matemática para la seguridad de la
información y el cifrado de datos.
En caso de programación:
bool es un tipo de datos que se utiliza en muchos lenguajes de programación y que
representa un valor lógico, ya sea verdadero o falso . Se suele utilizar para la toma
de decisiones y las declaraciones condicionales.
Ejemplos de expresiones booleanas:
x > 5(verdadero si x es mayor que 5, falso en caso contrario)
y == 0(verdadero si y es igual a 0, falso en caso contrario)
is_raining(verdadero si está lloviendo, falso en caso contrario)
Operaciones booleanas:
AND ( &&): Devuelve verdadero si ambos operandos son verdaderos.
OR ( ||): Devuelve verdadero si al menos un operando es verdadero.
NOT ( !): Invierte el valor lógico de un operando.
BOLEANES -POSTULADOS
Postulados:
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:
TEOREMA 1: el elemento complemento A’ es único.
TEOREMA 2 (ELEMENTOS NULOS): para cada elemento de B se verifica:
A+1 = 1
A·0 = 0
TEOREMA 3: cada elemento identidad es el complemento del otro.
0’=1
1’=0
TEOREMA 4 (IDEMPOTENCIA): para cada elemento de B, se verifica:
A+A=A
A·A=A
TEOREMA 5 (INVOLUCIÓN): para cada elemento de B, se verifica:
(A’)’ = A
TEOREMA 6 (ABSORCIÓN): para cada par de elementos de B, se verifica:
A+A·B=A
A·(A+B)=A
TEOREMA 7: para cada par de elementos de B, se verifica:
A + A’·B = A + B
A · (A’ + B) = A · B
TEOREMA 8 (ASOCIATIVIDAD): cada uno de los operadores binarios (+) y
(·) cumple la propiedad asociativa:
A+(B+C) = (A+B)+C
A·(B·C) = (A·B)·C
LEYES DE DEMORGAN: para cada par de elementos de B, se verifica:
(A+B)’ = A’·B’
(A·B)’ = A’ + B’
Leyes:
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
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
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
Reglas del algebra boole (Demostración)
MAPAS DE KARNOOG
¿Qué es?
Un mapa de Karnaugh24 (también conocido como tabla de Karnaugh o diagrama
de Veitch) es un diagrama utilizado para la simplificación de funciones algebraicas
en forma canónica. A partir de la tabla de Karnaugh se puede obtener una forma
canónica mínima (con el mínimo número de términos). En este texto emplearemos
indistintamente los términos “mapa” y “tabla” de Karnaugh.
La tabla de Karnaugh consiste en una representación bidimensional de la función
que se quiere simplificar. Si la función viene expresada como una tabla de verdad,
entonces la tabla de Karnaugh puede verse como una forma alternativa de
representación 2D. Puesto que la tabla de
verdad de una función de n variables posee
2n filas, la tabla de Karnaugh correspondiente
debe poseer también 2n celdas. La
construcción de la tabla de Karnaugh pasa por
codificar cada celda en código binario reflejado
(o código Gray) de manera que celdas
adyacentes tengan un código que difiere en un solo dígito.
Del lado izquierdo se tiene un mapa de tres variables y del lado derecho se tiene un mapa de cuatro
variables.
Forma de pasar una tabla de verdad a un mapa de Karnaugh