Álgebra Booleana 1. ¿Qué Es El Álgebra de Boole?
Álgebra Booleana 1. ¿Qué Es El Álgebra de Boole?
Álgebra Booleana 1. ¿Qué Es El Álgebra de Boole?
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
TEMA 1 – QUINTO DE SECUNDARIA
TÉCNICA TECNOLÓGICA ESPECIALIZADA
CARRERA - SISTEMAS INFORMÁTICOS
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
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 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
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.