Chinguenasuputamadre
Páginas: 12 (2848 palabras)
Publicado: 12 de noviembre de 2012
Para nuestros propósitos basaremos el álgebra booleana en el siguiente juego de operadores y valores: Los dos posibles valores en el sistemabooleano son cero y uno, a menudo llamaremos a éstos valores respectivamente como falso y verdadero. El símbolo • representa la operación lógica AND. Cuando se utilicen nombres de variables de una sola letra se eliminará el símbolo •, por lo tanto AB representa la operación lógica AND entre las variables A y B, a esto también le llamamos el producto entre A y B. El símbolo "+" representa la operaciónlógica OR, decimos que A + B es la operación lógica OR entre A y B, también llamada la suma de A y B. El complemento lógico, negación ó NOT es un operador unitario, en éste texto utilizaremos el símbolo " ~ " para denotar la negación lógica, por ejemplo, ~A denota la operación lógica NOT de A. Si varios operadores diferentes aparecen en una sola expresión booleana, el resultado de la expresióndepende de la precedencia de los operadores, la cual es de mayor a menor, paréntesis, operador lógico NOT, operador lógico AND y operador lógico OR. Tanto el operador lógico AND como el OR son asociativos por la izquierda. Si dos operadores con la misma procedencia están adyacentes, entonces se evalúan de izquierda a derecha. El operador lógico NOT es asociativo por la derecha. Utilizaremos además lossiguientes postulados: P1.- El álgebra booleana es cerrada bajo las operaciones AND, OR y NOT P2.- El elemento de identidad con respecto a • es uno y con respecto a + es cero. No existe elemento de identidad para el operador NOT P3.- Los operadores • y + son conmutativos. P4.- y + son distributivos uno con respecto al otro, esto es, A • (B + C) = (A • B)+(A • C) y A+ (B • C) = (A + B) • (A + C).P5.- Para cada valor A existe un valor ~A tal que A • ~A = 0 y A+ ~A = 1. Este valor es el complemento lógico de A. P6.- • y + son ambos asociativos, esto es, (AB) C = A (BC) y (A+B)+C = A+ (B+C). Es posible probar todos los teoremas del álgebra booleana utilizando éstos postulados, además es buena idea familiarizarse con algunos de los teoremas más importantes de los cuales podemos mencionar lossiguientes: Teorema 1: A + A = A Teorema 2: A • A = A Teorema 3: A + 0 = A Teorema 4: A • 1 = A Teorema 5: A • 0 = 0
Teorema 6: A + 1 = 1 Teorema 7: ~ (A + B) = ~A • ~B Teorema 8: ~ (A • B) = ~A + ~B Teorema 9: A + A • B = A Teorema 10: A • (A + B) = A Teorema 11: A + ~AB = A + B Teorema 12: ~A • (A + ~B) = ~A~B Teorema 13: AB + A~B = A Teorema 14: (~A + ~B) • (~A + B) = ~A Teorema 15: A + ~A...
Leer documento completo
Regístrate para leer el documento completo.