Sunteți pe pagina 1din 7

Álgebra

booleana

Lógica Simbólica

1
Algebra booleana
El álgebra booleana Hasta el momento hemos concretado un par de teorías; en un primer
generaliza los lugar, la lógica de predicados partiendo simplemente de la lógica
procedimientos que proposicional. También hemos podido culminar en términos generales la
hemos venido
realizando en lógica
teoría de conjuntos la cual también depende de la lógica de predicados y ,
proposicional y teoría por ende, de la lógica proposicional. Nos preguntamos entonces: ¿hay
de conjuntos. alguna forma de generalizar esto?

La respuesta a la pregunta es cierta, y la respuesta viene dada por medio


del álgebra booleana.

Algebra booleana como estructura matemática

Objetos

Un algebra booleana es un sistema matemático centrado en los valores


booleanos: cero y uno (0 y 1). Incluye los siguientes operadores:

 un operador NOT que intercambia los valores booleanos;


 un operador binario OR que produce un solo valor booleano;
 un operador binario AND que produce un solo valor booleano.

Axiomas

 Cerrado. El sistema booleano es cerrado respecto de OR y AND. Esto


significa que, para cada par de valores booleanos, el operador produce
un solo resultado.
 Conmutatividad. Los operadores OR y AND son conmutativos. Es decir,
o x OR y = y OR x;
o x AND y = y AND x;
 Asociatividad. Los operadores OR y AND son asociativos. Es decir,
o (x OR y) OR z = x OR (y OR z);
o (x AND y) AND z = x AND (y AND z).

 Distributividad. Los operadores binarios OR y AND son distributivos


uno respecto del otro:
o x OR (y AND z) = (x OR y) AND (a OR z);
o x AND (y OR z) = (x AND y) OR (a AND z) x.

2
“Identidad. Un valor booleano I se dice que es un elemento de identidad con
respecto a un operador binario" º "si A º I = A. Inverso. Un valor booleano I es un
elemento inverso con respecto a un operador booleano" º "si A º I = B, y B es
diferente de A, es decir, B es el valor opuesto de A”.

En resumen, uno puede pensar al álgebra booleana como estructura


matemática cerrada bajo las operaciones AND, OR y NOT. Si pensáramos,
para simplificar, en AND como “y”, en OR como “+”, el elemento de
identidad con respecto a es uno y con respecto a + es cero. No existe
elemento de identidad para el operador NOT. Los operadores “·” y “+” son
conmutativos. Si pensamos el · como una intersección y el + como una
unión o el · como y de lógica proposicional y el + como una o de la lógica
proposicional, se tienen propiedades análogas a las distribuciones, es decir,
· y + son distributivos uno con respecto al otro, esto es,

 x· (y + z) = (x·y) + (x·z) y
 x+ (y·z) = (x+y) ·(x+z).

Además, para cada valor de x, hay un valor x' tal que x·x' = 0 y x+x' = 1. Éste
valor es el complemento lógico de x. · y + son ambos asociativos, esto es,

 (A · B) · C = A · (B · C) y
 (A + B) + C = A + (B + C).

Podemos probar todos los teoremas del álgebra booleana utilizando estos
postulados.

Como es natural, ya que estos postulados copian de forma impecable los


comportamientos de la negación, la conjunción y la disyunción en la lógica
simbólica, como también copian el trabajo del complemento, de la unión y
de la intersección. Entonces los teoremas de la teoría del álgebra booleana
son totalmente idénticos a los de ambas teorías enunciadas anteriormente.

Teoremas

Por otro lado, es buena idea familiarizarse con algunos de los teoremas
más importantes, ya que nos serán de utilidad en la próxima lectura.
Podemos mencionar los siguientes.

Si A, B y C son valores booleanos, entonces valen las siguientes igualdades.

 A + A = A;
 A · A = A;
 A + 0 = A;

3
 A · 1 = A;
 A · 0 = 0;
 A + 1 = 1;
 (A + B)' = A' · B';
 (A · B)' = A' + B';
 A + A · B = A;
 A · (A + B) = A;
 A + A'B = A + B;
 A' · (A + B') = A'B';
 AB + AB' = A;
 (A' + B') · (A' + B) = A';
 A + A' = 1;
 A · A' = 0.

En términos generales, la lista anterior resume algunos de los teoremas


que ya hemos venido reproduciendo, como los de idempotencia, las leyes
de distribución, las le leyes de De Morgan, entre otros.

En una computadora digital sólo hay dos posibilidades, que


se escriben como 0 y 1, para el objeto indivisible más
pequeño. En última instancia, todos los programas y datos
se pueden reducir a combinaciones de bits. A través de los
años se ha usado una variedad de dispositivos en las
computadoras digitales para almacenar bits. Los circuitos
electrónicos permiten que estos dispositivos de
almacenamiento se comuniquen entre sí. Un bit en una
parte del circuito es trasmitido a otra parte del circuito
como un voltaje. Entonces se necesitan dos niveles de
voltaje; por ejemplo, un voltaje alto puede comunicar un 1 y
un voltaje bajo, un 0. (Johnsonbaugh, 2005, pp. 36-37).

En Lógica proposicional, teníamos funciones proposicionales, en teoría de


conjuntos, teníamos operaciones entre conjuntos. Naturalmente, nos
preguntamos por cuál es el concepto análogo, y la respuesta no se hace
esperar.

Una función booleana es una función del tipo A x A x A x… A en A, siendo A


un conjunto cuyos elementos son 0 y 1.

En particular, para los operadores OR, AND y NOT, corresponden las tablas
siguientes.

4
Tabla 1: Tabla de valores para la función proposicional f
X NOT X
1 0
0 1

Fuente: elaboración propia.

Tabla 2: Tabla de valores para el operador OR


X Y X OR Y
1 1 1
1 0 1

0 1 1
0 0 0

Fuente: elaboración propia.

Tabla 3: Tabla de valores para el operador AND


X Y X AND Y
1 1 1
1 0 0
0 1 0
0 0 0

Fuente: elaboración propia.

Para ilustrar un ejemplo en el cual podemos usar funciones booleanas,


podemos imaginar la siguiente situación.

 Hay cuatro amigos que quieren ir al cine si la mayoría quiere ir.


 Cada uno puede votar que sí o no.
 Representemos el voto de cada uno por xi con i =1, 2, 3 o 4.
 La función devolverá sí (1) cuando el número de votos afirmativos sea
3 o 4 y en caso contrario devolverá 0.
 En otra palabras, tenemos una función f(x1, x2, x3, x4) que es igual a 1 si
x1 + x2 + x3 + x4 es mayor o igual que 3.
 El número posible de casos por elegir: x1, x2, x3, x4 es 24.

5
Del mismo modo como ordenábamos en las proposiciones los valores
de verdad podemos ordenar los 1 y ceros como sigue

Tabla 4: Tabla de valores para la función proposicional f


X1 X2 X3 X4 f(x1, x2, x3, x4)
1 1 1 1 1
1 1 1 0 1
1 1 0 1 1
1 1 0 0 0
1 0 1 1 1
1 0 1 0 0
1 0 0 1 0
1 0 0 0 0

0 1 1 1 1
0 1 1 0 0
0 1 0 1 0
0 1 0 0 0
0 0 1 1 0
0 0 1 0 0
0 0 0 1 0
0 0 0 0 0

Fuente: elaboración propia.

6
Referencias
Johnsonbaugg, R. (2005). Matemáticas Discretas (6.ta ed.). México: Pearson.

Canal Electronica [uploader]. (2014). Cómo obtener funciones lógicas y tablas de


verdad [video de YouTube]. Recuperado de https://www.youtube.com/watch?v=-
jgx3SBCIoU.

S-ar putea să vă placă și