Documente Academic
Documente Profesional
Documente Cultură
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?
Objetos
Axiomas
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”.
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.
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.
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 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
0 1 1
0 0 0
5
Del mismo modo como ordenábamos en las proposiciones los valores
de verdad podemos ordenar los 1 y ceros como sigue
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
6
Referencias
Johnsonbaugg, R. (2005). Matemáticas Discretas (6.ta ed.). México: Pearson.