martes, 16 de septiembre de 2014

Lógica Booleana

Antes que todo veremos ¿Que es?

La lógica booleana es una lógica de conjuntos y nos sirve, principalmente, para definir formas de interseccion entre conjuntos

Definiciones básicas:

  •  Una variable booleana (e.g. x, y) es un símbolo que puede ser substituido por un elemento del conjunto B={0,1}
  • Una constante booleana es un valor perteneciente al conjunto {0,1}
  • Una expresión (e.g. x+y, x·y, x’) esta compuesta de variables, constantes y operadores (e.g. +, ·, ’)
  • Una función booleana de n variables f(x1, x2, ..., xn) es un expresión o formula que mapea f a un valor del conjunto booleano B (0 o 1)
  • Un literal es una variable o su complemento
Una manera de precisar o afinar nuestra búsqueda consistirá en utilizar estos operadores booleanos para precisar el campo de nuestro interés.
Las principales opciones son:
OR - se suman los conjuntos definidos por dos palabras, es decir, la respuesta sera todas aquellas referencias donde aparezcan, indistintamente, UNA U OTRA de las palabras indicadas para busqueda. 

AND - se trata de la intersección de los conjuntos definidos por las dos palabras, es decir, solo aquellas referencias que contengan AMBAS palabras a la vez 
NOT - en este caso, aquellas referencias que tengan la primer palabra y no la 
segunda, es decir, un primer conjunto, amputado de su parte común con otro. 
NEAR - como el AND pero con la exigencia suplementaria de una cercanía entre las palabras