Álgebra Booleana 1. ¿Qué Es El Álgebra de Boole?

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 8

TEMA 1 – QUINTO DE SECUNDARIA

TÉCNICA TECNOLÓGICA ESPECIALIZADA


CARRERA - SISTEMAS INFORMÁTICOS
ÁLGEBRA BOOLEANA
1. ¿Qué es el Álgebra de Boole?
El álgebra booleana es un sistema matemático deductivo centrado en los valores cero y uno (falso y
verdadero). Un operador binario " 0 1 " definido en éste juego de valores acepta un par de entradas y
produce un solo valor booleano.

El álgebra booleana o también conocida como Álgebra de Boole, es un sistema matemático que se utiliza
para representar cualquier circuito lógico en forma de ecuaciones algebraicas, es decir, es una
herramienta que nos ayuda a resolver y a simplificar cualquier tipo de problema que se nos presente
dentro de los sistemas digitales. Por ejemplo, tenemos que crear un sistema en el cual un foco encienda
a través de dos interruptores, ya sea que esté activado cualquiera de los interruptores, pero no pueden
estar activados los dos al mismo tiempo.
Para llegar a la solución, primero hacemos una tabla
con todas las posibles combinaciones de los
interruptores y en cuál de estas se enciende el foco,
una vez identificado el o los estados en los cuales
enciende, se toman las variables y se crea la
ecuación tomando en cuenta que los 0 son iguales a
la variable negada (A’) y los 1 son la variable
normal (A). Para poder traducir estas ecuaciones a
un circuito de compuertas lógicas, solo basta con
saber que las negaciones son compuertas NOT, las sumas OR y las multiplicaciones AND

1.1. Operadores booleanos


1.1.1. Operadores básicos
Si A y B son expresiones o variables booleanas, se pueden generar nuevas expresiones a partir de ellas
combinándolas con los llamados operadores booleanos.
.
Los operadores booleanos básicos son los que aparecen en la siguiente tabla:

1
TEMA 1 – QUINTO DE SECUNDARIA
TÉCNICA TECNOLÓGICA ESPECIALIZADA
CARRERA - SISTEMAS INFORMÁTICOS

1.1.2. Tablas de verdad


La tabla de verdad de un operador es la que recoge el valor de una expresión formada con ese único
operador a partir de los posibles valores de las expresiones que lo componen.
A continuación, se especifican las tablas de valores para los tres operadores básicos. En las columnas de
las expresiones A y B aparecen todos los posibles pares de valores que pueden tomar. En la columna de
la expresión compleja formada con el operador se recoge el valor que corresponde al par de valores de
las expresiones más simples que hay en cada fila.

2. Compuertas lógicas
Las Compuertas Lógicas son circuitos electrónicos conformados internamente por transistores que se
encuentran con arreglos especiales con los que otorgan señales de voltaje como resultado o una salida de
forma booleana, están obtenidos por operaciones lógicas binarias (suma, multiplicación). También

2
TEMA 1 – QUINTO DE SECUNDARIA
TÉCNICA TECNOLÓGICA ESPECIALIZADA
CARRERA - SISTEMAS INFORMÁTICOS
niegan, afirman, incluyen o excluyen según sus propiedades lógicas. Estas compuertas se pueden aplicar
en otras áreas de la ciencia como mecánica, hidráulica o neumática.
Existen diferentes tipos de compuertas y algunas de estas son más complejas, con la posibilidad de ser
simuladas por compuertas más sencillas. Todas estas tienen tablas de verdad que explican los
comportamientos en los resultados que otorga, dependiendo del valor booleano que tenga en cada una de
sus entradas.
Trabajan en dos estado, “1” o “0”, los cuales pueden asignarse
a la lógica positiva o lógica negativa. El estado 1 tiene un valor
de 5v como máximo y el estado 0 tiene un valor de 0v como
mínimo y existiendo un umbral entre estos dos estados donde
el resultado puede variar sin saber con exactitud la salida que
nos entregara.
Las lógicas se explican a continuación:
 La lógica positiva es aquella que con una señal en alto se
acciona, representando un 1 binario y con una señal en bajo se
desactiva. representado un 0 binario.
 La lógica negativa proporciona los resultados inversamente, una señal en alto se representa con un 0
binario y una señal en bajo se representa con un 1 binario.

3. Funciones lógicas

4. Axiomas teoremas y propiedades


4.1. Axiomas de Huntington (1904)
Axioma 1: Ambas operaciones son conmutativas (Ley conmutativa).
a+b = b+a a·b = b·a
Axioma 2: Ambas operaciones tienen un elemento neutro.
a+0 = 0+a = a a·1 = 1·a = a
Axioma 3: Ambas operaciones son distributivas respecto de la otra operación (Ley distributiva).
a·(b+c) = a·b+a·c a+(b·c) = (a+b)·(a+c)
(b+c)·a = b·a+c·a (b·c)+a = (b+a)·(c+a)
Axioma 4: Para cada elemento existe su complementario.
3
TEMA 1 – QUINTO DE SECUNDARIA
TÉCNICA TECNOLÓGICA ESPECIALIZADA
CARRERA - SISTEMAS INFORMÁTICOS
Todo elemento a perteneciente a S tiene un complementario a’, también perteneciente a S, tal que:
a+a’ = 1 a·a’ = 0

4.2. Teoremas básicos


Teorema 1: Idempotencia. a+a = a; a·a = a
a+a = a a·a = a
a = a+0 = a+(a·a’) = (a+a)·(a+a’) = A2 Izq. A4 a = a·1 = a·(a+a’) = (a·a)+(a·a’) = A2 Der. A4
(a+a)·1 = (a+a) Der. A3 Der. (a·a)+0 = (a·a) Izq. A3 Izq.
A4 Izq. A2 A4 Der. A2
Der. Izq.
.
Teorema 2: a+1 = 1; a·0 = 0
a+1 = 1 a·0 = 0
1 = a+a’ = a+(a’·1) = (a+a’)·(a+1) = A4 Izq. A2 0 = a·a’ = a·(a’+0) = (a·a’)+(a·0) = A4 Der. A2
1·(a+1) = a+1 Der. A3 Der. 0+(a·0) = a·0 Izq. A3 Izq.
A4 Izq. A2 A4 Der. A2
Der. Izq.
.
Teorema 3: Ley de absorción. a+(a·b) = a; a·(a+b) = a
Para demostrar este teorema usaremos el recién demostrado Teorema 2; de aquí en adelante, al usar un
teorema ya demostrado lo marcaremos como Tx en vez de Ax, indicando si se usa su parte izquierda o
derecha.
a+(a·b) = a a·(a+b) = a
a+(a·b) = (a·1)+(a·b) = a·(1+b) = a·1 A2 Der. A3 a·(a+b) = (a+0)·(a+b) = a+(0·b) = A2 Izq. A3
=a Izq. T2 Izq. a+0 = a Der. T2 Der.
A2 Der. A2 Izq.
.
Teorema 4: (Propiedad asociativa). a+(b+c) = (a+b)+c; a·(b·c) = (a·b)·c
Para demostrar este teorema es preciso demostrar antes dos lemas independientes.
Lema 1:
a·(a+(b+c)) = a·((a+b)+c) a+(a·(b·c)) = a+((a·b)·c)
a·(a+(b+c)) = a = a+(a·c) = T3 Der. T3 a+(a·(b·c)) = a = a·(a+c) = T3 Izq. T3
(a·(a+b))+(a·c) = a·((a+b)+c) Izq. T3 Der. (a+a·b)·(a+c) = a+((a·b)·c) Der. T3 Izq.
A3 Izq. A3 Der.
Lema 2:
a’·(a+(b+c)) = a’·((a+b)+c) a’+(a·(b·c)) = a’+((a.b)·c)
a’·(a+(b+c))=(a’·a)+(a’·(b+c)) = A3 Izq. A4 a’+(a·(b·c))=(a’+a)·(a’+(b·c))= A3 Der. A4
0+(a’·(b+c)) = a’·(b+c) = Der. A2 Izq. 1·(a’+(b·c)) = a’+(b·c) = Izq. A2 Der.
(a’·b)+(a’·c) = (0+(a’·b))+(a’·c) = A3 Izq. A2 (a’+b)·(a’+c) = (1·(a’+b))·(a’+c) = A3 Der. A2
((a’·a)+(a’·b))+(a’·c) = Izq. A4 Der. ((a’+a)·(a’+b))·(a’+c) = Der. A4 Izq.
(a’·(a+b))+(a’·c) = a’·((a+b)+c) A3 Izq. A3 (a’+(a·b))·(a’+c) = a’+((a·b)·c) A3 Der. A3
Izq. Der.
.

4
TEMA 1 – QUINTO DE SECUNDARIA
TÉCNICA TECNOLÓGICA ESPECIALIZADA
CARRERA - SISTEMAS INFORMÁTICOS
Teorema 5: Para cada elemento a de S existe un complementario a’ y sólo uno.
Atención: Este teorema no es lo mismo que el axioma A4. Allí decíamos que existe la noción de
complementario, es decir, que cada elemento de S tiene complementario, al menos uno, mientras que
este teorema 5 afirma que el complementario es uno y sólo uno, ni más ni menos que uno.
Supongamos que existieran dos complementarios de a, por ejemplo x e y. Se cumplirían entonces las
siguientes 4 ecuaciones:
Por x complementario de a: A4 Izq. A4 Por y complementario de a: A4 Izq. A4
1) a+x = 1 2) a·x = 0 Der. 3) a+y = 1 4) a·y = 0 Der.
x=1·x = (a+y)·x = (a·x)+(y·x) = 0+(y·x) = (a·y)+(y·x) = (y·a)+(y·x) = y·(a+x) = y·1 A2 Der. (3)
= y Luego ambos complementarios, x e y, son iguales. Por tanto hay un solo A3 Izq. (2)
complementario de a, que llamamos a’. (4) A1 Der.
A3 Izq. (1)
A2 Der.

Teorema 6: El complementario del complementario de un elemento a de S es igual al propio a. Es


decir: (a’)’=a
Sabemos por el Axioma 4 que: a’+a=1 y también que a’·a=0.
Suponiendo que (a’)’=x, ocurrirá que: a’+x=1, y a’·x=0, dado que ese x es el complementario de a’.
Igualando los unos y los ceros de ambas ecuaciones (de éstas y de las de arriba) tenemos que: a’+a =
a’+x, y que a’·a = a’·x; el único valor que cumple ambas ecuaciones es x=a, luego a es el complementario
del complementario de a.

Teorema 7: Los dos términos neutros de las operaciones +,· son complementarios entre sí, es decir: 0’=1
y 1’=0
Según el Axioma 2: a+a’=1 y a·a’=0.
Suponiendo a=0, queda 0+a’=1; luego a’=1; por tanto 0’=1
Suponiendo a=1, queda 1.a’=0; luego a’=0; por tanto 1’=0
.
Teorema 8: (Leyes de De Morgan). (a+b)’ = a’·b’ ; (a·b)’ = a’+b’
Los informáticos usamos muy a menudo las leyes de De Morgan para simplificar una fórmula lógica. O,
al menos, las usábamos. He aquí su demostración.
(a+b)’ = a’·b’ (a·b)’ = a’+b’
Sea x = (a+b)’ Entonces: 1) (a+b)·x=0 A4 Der. A4 Sea x = (a·b)’ Entonces: 1) (a·b)·x=0 A4 Der. A4
y 2) (a+b)+x=1 Probamos x=(a’·b’) en Izq. A3 y 2) (a·b)+x=1 Probamos x=(a’+b’) Izq. A3
1): (a+b)·(a’·b’) = (a·a’·b’)+(b·a’·b’) Izq. A1 Der. en 1): (a·b)·(a’+b’) = Izq. A1 Der.
= (a·a’·b’)+(b·b’·a’) = (0·b’)+(0·a’) = A4 Der. T2 (a·b·a’)+(a·b·b’) = (a·a’·b)+(b·b’·a) A4 Der. T2
0+0 = 0 Probamos x=a’·b’ en 2): Der. T1 = (0·b)+(0·a) = 0+0 = 0 Probamos Der. T1
(a+b)+(a’·b’) = a+(b+(a’·b’)) = Izq. T4 Izq. x=(a’+b’) en 2): (a·b)+(a’+b’) = Izq. A1
a+(b+a’)·(b+b’) = a+(b+a’)·1 = A3 Der. A4 (a’+b’)+(a·b) = a’+(b’+(a·b)) = Izq. T4 Izq.
a+b+a’ = a+a’+b = 1+b = 1 Luego x Izq. A2 Der. a’+(b’+a)·(b’+b) = a’+(b’+a)·1 = A3 Der. A4
= (a+b)’ = a’·b’ A1 Izq. A4 a’+b’+a = a’+a+b’ = 1+b’ = 1 Izq. A2 Der.
Izq. T2 Luego x = (ab)’ = a’+b’ A1 Izq. A4
Izq. T5 Izq. T2 Izq.
T5
.

5
TEMA 1 – QUINTO DE SECUNDARIA
TÉCNICA TECNOLÓGICA ESPECIALIZADA
CARRERA - SISTEMAS INFORMÁTICOS
4.3. Propiedades

4.4. Reglas del Álgebra de Boole

5. Simplificación de expresiones booleanas


Muchas veces, a la hora de aplicar el álgebra booleana, hay que reducir una expresión a su forma más
simple o cambiarla a una forma más conveniente para conseguir una implementación más eficiente. El
método que se va a tratar en esta sección utiliza las reglas, leyes y teoremas del álgebra de Boole para
manipular y simplificar una expresión. Este método requiere un profundo conocimiento del álgebra
booleana y una considerable experiencia en su aplicación, por no mencionar también un poquito de
ingenio y destreza.

6
TEMA 1 – QUINTO DE SECUNDARIA
TÉCNICA TECNOLÓGICA ESPECIALIZADA
CARRERA - SISTEMAS INFORMÁTICOS

6. Circuitos lógicos
Un circuito electrónico digital es un sistema formado por señales de entrada, cada una correspondiente a
un cable, una serie de dispositivos electrónicos que operan sobre las señales de entrada y que dan como
resultado una señal de salida, correspondiente a un cable. Los cables que forman los circuitos de los
computadores digitales pueden estar en dos valores de tensión (baja o alta) y estos dos valores se pueden
identificar con los valores 1 y 0. Cuando las señales de entrada o de salida sólo pueden tomar dos valores,
se dice que son señales lógicas o binarias. Las operaciones que se pueden hacer sobre ellas corresponden
a los operadores booleanos, que en el contexto de los circuitos lógicos reciben el nombre de funciones
lógicas.
La característica booleana fundamental es la de que las señales sólo puedan tomar dos valores, porque
entonces si no toma uno de ellos, automáticamente podemos inferir que toma el otro.
Los circuitos lógicos, por tanto, se basan en la propiedad de que recibiendo un número de señales como
entrada (1 o 0) operan sobre ellas para producir una señal como salida (1 o 0). Esta señal de salida se

7
TEMA 1 – QUINTO DE SECUNDARIA
TÉCNICA TECNOLÓGICA ESPECIALIZADA
CARRERA - SISTEMAS INFORMÁTICOS
puede representar como una expresión booleana compleja formada a partir de las expresiones simples de
las señales de entrada, usando operadores booleanos.

6.1. Representación gráfica de circuitos lógicos

También podría gustarte