Operadores Lògicos de Busqueda.

Los operadores lógicos o "boleanos" son conectores de enunciados empleados en el Algebra Boolena o Algebra Moderna. En la búsqueda de información se emplean para definir la información que se desea buscar al restringir, ampliar o excluir la información mediante las palabras claves o indicadores de la información que se busca a través de buscadores o índices.

Los 16 operadores lógicos binarios pueden ser definidos a través de la siguiente Tabla de Verdad :

Donde:

T : tautología

↑ : negación alternativa, incompatibilidad, no ambos, exclusión, "NAND"

→ : condicional, implicación (simple), "IMP"

~ : negación, "NOT"

← : implicación inversa

: bicondicional, implicación doble, equivalencia, "EQV", "XNOR"

↓ : negación conjunta, "NOR"

: disyunción, "Ó", "OR"

: disyunción exclusiva, contravalencia, "XOR"

: negación del condicional inverso

: negación del condicional

: conjunción, "Y", "AND"

F : contradicción